# week7 - Week 7 Lectures Math 716 Tanveer 1 Introduction...

This preview shows pages 1–3. Sign up to view the full content.

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Week 7 Lectures, Math 716, Tanveer 1 Introduction Recall we discussed completeness of Fourier Series. This is relevant for constant coefficient partial differential equations in simple rectangular geometries or sometimes in circular geometry as well. Separation of variable procedure leads to a series representation of solution. The undetermined constants are Fourier Coefficients of the series evaluated initially or on certain segments of the boundary. As an example, recall solution to ∇ u = 0 for x 2 + y 2 < 1 was in the form u ( r, θ ) = a 2 + ∞ X n =1 ( a n r n cos nθ + b n r n sin nθ ) If we use boundary condition u (1 , θ ) = f ( θ ), then the constants a n , b n are simply the Fourier coefficients of f ( θ ). In more complicated situations, separation of variable is not possible and even if it is possible, it does not lead to a simple Fourier Series. For instance, in one of your homework problems involving wave equation in a circular geometry, Bessel function arose and one needed to use some properties of Bessel functions. We seek to construct a more general theory on completeness of series representation based on eigenfunctions of some differential operators with homogenous boundary conditions. Note that the Fourier Sine Series sin nπx l ∞ n =1 is a special example in 1-D as it arises from eigenfunction of the operator- d 2 dx 2 satisfying- d 2 u dx 2 = λu for < x < l ; with BC u (0) = 0 = u ( l ) 2 General Eigen Value Problem: We introduce L 2 (Ω) inner-product ( f, g ) = Z Ω f ( x ) [ g ( x )] * d x (1) Definition 1 An operator A : L 2 (Ω) → L 2 (Ω) is symmetric (or self-adjoint) if for any u , v in the domain of A , ( v, Au ) = ( Av, u ) Definition 2 A symmetric operator is positive if ( u, Au ) > for any nonzero u ∈ Domain ( A ) . A symmetric operator is semi-postive if ( u, Au ) ≥ for any u ∈ Domain ( A ) . Lemma 3 If A : L 2 (Ω) → L 2 (Ω) is symmetric (self-adjoint), then its eigenvalues are real. Further, eigenvectors corresponding to two distinct eigenvalues are orthogonal, with respect to the inner-product defined above. Further, if A is positive, any eigenvalue λ > and for A semi-positive, λ ≥ . 1 Proof. If u is an eigen function of A corresponding to eigenvalue λ , then it follows from definition of inner-product λ ( u, u ) = ( Au, u ) = ( u, Au ) = λ * ( u, u ) Hence λ = λ * since ( u, u ) = k u k 2 6 = 0 for an eigenfunction Further, if u and v are eigenfunctions corresponding to unequal eigenvalues λ and μ it follows that λ ( u, v ) = ( Au, v ) = ( u, Av ) = ( u, νv ) = ν * ( u, v ) = ν ( u, v ) Therefore, ( λ- ν )( u, v ) = 0 implying ( u, v ) = 0, i.e. orthogonal. If A is positive, λ ( u, u ) = ( Au, u ) > Therefore, λ > 0. For semi-positive A , the above clearly gives λ ≥ Remark 1 There is no loss of generality assuming orthogonality of eigenvectors ( u, v ) = 0 even when corresponding eigenvalues μ = ν . This is because a Gram-Schmidt orthogonalization procedure can be employed.procedure can be employed....
View Full Document

{[ snackBarMessage ]}

### Page1 / 13

week7 - Week 7 Lectures Math 716 Tanveer 1 Introduction...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online