• Keine Ergebnisse gefunden

Problem 5.2: Trace inequality for polynomials (4 points)

N/A
N/A
Protected

Academic year: 2022

Aktie "Problem 5.2: Trace inequality for polynomials (4 points)"

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

IWR – Universit¨at Heidelberg Prof. Dr. Guido Kanschat

Due date:29.11.2013

Homework No. 5

Numerical Methods for PDE, Winter 2013/14 Problem 5.1: Transformation of Quadrilaterals (6 points)

Transformation from the reference squareQb= [0,1]2to a general quadrilateral given by verticespi= (xi, yi)Tfori= 1, . . . ,4 can be obtained by the mappingF with

F(ξξξ) =p1(1−ξ)(1−η) +p2(1−η)ξ+p3η(1−ξ) +p4ξη.

Here,ξξξ= (ξ, η)T. The order of vertices follows the scheme

p1 p2

p4 p3

Q

(a) Show that indeedQ=F(Q).b (b) Compute∇F(ξξξ).

(c) Compute the Jacobi determinantJ(ξ)and show thatJ(ξ)≥0, if and only if the quadrilateral is convex.

(d) Compute the eigenvalues of(∇F(ξξξ))T∇F(ξξξ)and relate them tok∇F(ξξξ)kandk∇(F(ξξξ))−1k.

(e) What happens toJ(ξ),k∇F(ξξξ)kandk(∇F(ξξξ))−1katp1ifp2gets close top1?

Problem 5.2: Trace inequality for polynomials (4 points)

LetKbe a shape regular triangle of diameterh. Show that for any polynomialp∈Pkholds

kpk∂K ≤Ch12kpkK

kpk∂K ≤Ch12k∇pkK

with constantsCdepending on the degreekand the constant of shape regularity.

(2)

Problem 5.3: Connection between the Shape of Triangles and the Stiffness Matrix (4 points)

We discretize the Poisson problem by piecewise linear finite elements on a triangulation of the unite square. Consider an arbitrary triangleTin this triangulation.

p1 p2

p3

T

The nodal basis functionsϕihave the propertiesϕi(pj) =δij,i, j= 1,2,3.

(a) Show that

(∇ϕi,∇ϕi)T >0 and (∇ϕi,∇ϕj)T ≤0, i6=j as long as all interior angles are equal or smaller than π2.

(b) The entries of the stiffness matrix are given by

aij = X

T∈Th

(∇ϕi,∇ϕj)T.

Conclude from the first part of the exercise that the diagonal entries of the matrix are always positive and the off-diagonal entries are smaller or equal to zero.

(c) Bonus (3 points):Show that furthermore the conditions X

j6=i

|aij| ≤aii, X

j6=i?

|ai?j|< ai?i? for a fixedi?

are fulfilled. Discuss the properties of the matrix.

Referenzen

ÄHNLICHE DOKUMENTE

Finally we can fit a congruent yellow isosceles triangle on the other side of the red equi- lateral triangle (fig... 6:

In particular, we prove existence and uniqueness of global regular solutions in the two-dimensional case for initial data of arbitrary “size”, and for “small” data in

Zariski’s theorem and our corollary do not hold in higher dimensions: For example, there exist non-singular quasi-projective threefolds over R (or indeed over any field that is

We use the assumption to apply [Bu], Theorem 3, which says that the bounded functions from ˆ A lie dense in the set of bounded continuous functions on X , under the locally

sum of squares, noncommutative polynomial, semidefinite programming, tracial moment problem, flat extension, free positivity, real algebraic geometry.. 1 Partially supported by

We present the tracial analog of a theorem of Curto and Fialkow [CF1, Theorem 5.13] stating that a truncated sequence with positive semidefinite Hankel matrix which has a flat

Here we investigate trace-positive polynomials of low degree and establish a tracial analog of the classical result of Hilbert [Hil] on positive (homogeneous) ternary quartics:

Similarly, the portion of the tongue blade displacement associated with the alveolar closure gesture of the /t/ in “perfect”, and the portion of the lower lip displacement