1 Spring 2003 Prof. Tim Warburton MA557/MA578/CS557 Lecture 24

2 2D Advection Equation Equation: Scheme (assuming s’th order time integration):

3 Recall Stability We established stability (neglecting boundary terms):

4 Consistency We will now establish consistency. We will use a truncation analysis to determine consistency and directly convergence. We will also need two inverse inequalities, a polynomial approximation result and a trace inequality.

5 Polynomial Inverse Trace Inequality We now wish to bound the surface semi-norm of a polynomial function by the volume norm of the polynomial function.

6 Polynomial Inverse Trace Inequality Check out: 02/BrownSC pdfhttp:// 02/BrownSC pdf We will establish the following relationship for an arbitrary planar triangle T: Where |T| is the area of T and |dt| is the length of the perimeter of T. This is a relatively new result.

7 Inverse Polynomial Trace Theorem For an arbitrary planar triangle T, equipped with a p’th order polynomial space the following holds:

8 Proof: Step 1 For the purpose of this proof we consider the reference triangle That and discretize the polynomial space using the PKDO orthonormalized basis:

9 Proof: Step 2 We now construct the mass matrix for the s=-1 face of the reference triangle

10 Proof: Step 3 We now consider the semi-norm of the function over the s=-1 edge of the triangle: {Expand in PKDO}

11 Proof: Step 3 cont This looks very complicated: But: The matrix Mtilde is a block diagonal matrix: i=0 i=1 i=2

12 Proof: Step 4 Because the matrix Mtilde is block diagonal we can find its spectral radius by considering maximum of the spectral radii of all the diagonal blocks. The i’th block matrix has the entries (0<=j,i<=p-i) Thus the i’th block matrix is the outer product of a vector with itself.

13 Proof: Step 4 cont Thus the i’th block matrix is the outer product of a vector with itself  the rank of the i’th block matrix is one and the one non-zero eigenvalue is: Taking the maximum over the p+1 blocks we find the maximum eigenvalue of Mtilde as:

14 Proof: Step 5 We now know that the spectral radius of Mtilde is: So returning to the edge 1 norm: But here’s the trick – we can rewrite the rhs term using the orthonormality of the PKDO basis:

15 So we have established the following result for the semi- norm on the s=-1 edge: We use a scaling argument for an arbitrary planar triangle: Proof: Step 6

16 Proof: Stage 7 Since we have just established: We can use the fact that the assignment of the r,s coordinate system was arbitrary to generalize this for each of the edges. We now sum over all faces and: QED

17 Derivative Inverse Inequality We now wish to bound the norm of the spatial derivative of a polynomial function by the norm of the polynomial.

18 Inverse Inequality 2 The following holds: See: Ch. Schwab “p- and hp- Finite Element Methods: Theory and Applications in Solid and Fluid Mechanics”, Oxford University Press, 1998.

19 Trace Theorem We now wish to bound the surface norm of the larger class of functions which has derivatives with bounded L2-norm.

20 Trace Theorem Suppose: Then:

21 Polynomial Approximation We now introduce a theorem providing an estimate for a projection to the polynomial space.

22 Polynomial Approximation on T We now introduce an estimate for polynomial approximation of a function f. For there exists a constant C dependent on r and the geometry of T, but independent of f, h, p such that: For the L2 projection: Here: See: for info on Sobolev norms

23 Summary of Theorems: We will now use the

24 Convergence Theorem Assume that a solution exists in the domain Omega. Then the numerical solution Ctilde to the semidiscrete approximation from the DG scheme converges to the exact solution, and the global error is bounded as: Where c (lower case) is independent of h and p.

25 Proof Step 1: Recall the DG scheme: We define the Truncation error T C as

26 Proof Step 2:Three Important Equations We now consider three equations: 1)Numerical: 2)Truncation – projection of exact solution in numerical scheme: 3)Exact equation, with exact solution:

27 Proof Step 4: Truncation Error Subtract equation 3 from equation 2: Substitute phi=Tc and apply Cauchy-Schwarz:

28 Proof Step 4: cont Substituting phi=T c

29 Individual Volume Terms: Assume exact time discretization: Using the polynomial approximation theorem:

30 Surface Term We can add the jump in C due to continuity of C:

31 Jump Terms Break the jump terms with triangle inequality and use the trace theorem:

32 Plugging In These Results Using the previous results and the polynomial inverse trace inequality:

33 Simplifying We can now bound the truncation error:

34 Proof continued – next lecture Next Lecture. Also – we will start implementing a 2D DG solver. Each student will be given a distinct system of pdes (e.g. Maxwell’s, Acoustics, Euler, …). If two students wish to work together they can share code and work as a group – but with different pde.s