Example Sheet 2 Solutions

Similar documents
5.4, 6.1, 6.2 Handout. As we ve discussed, the integral is in some way the opposite of taking a derivative. The exact relationship

Notes on the Eigenfunction Method for solving differential equations

Course 2BA1 Supplement concerning Integration by Parts

Sturm-Liouville Theory

Math 211A Homework. Edward Burkard. = tan (2x + z)

Chapter Five - Eigenvalues, Eigenfunctions, and All That

Section 3.3: Fredholm Integral Equations

Overview of Calculus

Partial Differential Equations

AMS 212A Applied Mathematical Methods I Lecture 06 Copyright by Hongyun Wang, UCSC. ( ), v (that is, 1 ( ) L i

The Regulated and Riemann Integrals

MATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1

STURM-LIOUVILLE BOUNDARY VALUE PROBLEMS

LECTURE 3. Orthogonal Functions. n X. It should be noted, however, that the vectors f i need not be orthogonal nor need they have unit length for

AQA Further Pure 1. Complex Numbers. Section 1: Introduction to Complex Numbers. The number system

Best Approximation in the 2-norm

Fourier Series in Complex notation. cos(x) = eix + e ix 2. A n cos + B n sin l. i 2 B n. e inx=l + A n + ib n 2 8. ( 0 m 6= n. C n = 1 2l.

lim P(t a,b) = Differentiate (1) and use the definition of the probability current, j = i (

Introduction to Complex Variables Class Notes Instructor: Louis Block

SUPPLEMENTARY NOTES ON THE CONNECTION FORMULAE FOR THE SEMICLASSICAL APPROXIMATION

Physics 116C Solution of inhomogeneous ordinary differential equations using Green s functions

HOMEWORK SOLUTIONS MATH 1910 Sections 7.9, 8.1 Fall 2016

ax bx c (2) x a x a x a 1! 2!! gives a useful way of approximating a function near to some specific point x a, giving a power-series expansion in x

f(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all

TIME VARYING MAGNETIC FIELDS AND MAXWELL S EQUATIONS

The final exam will take place on Friday May 11th from 8am 11am in Evans room 60.

Properties of the Riemann Integral

Homework Assignment 5 Solution Set

The Banach algebra of functions of bounded variation and the pointwise Helly selection theorem

13.4. Integration by Parts. Introduction. Prerequisites. Learning Outcomes

f a L Most reasonable functions are continuous, as seen in the following theorem:

The Fundamental Theorem of Calculus Part 2, The Evaluation Part

CHAPTER 9 BASIC CONCEPTS OF DIFFERENTIAL AND INTEGRAL CALCULUS

c n φ n (x), 0 < x < L, (1) n=1

Math 118: Honours Calculus II Winter, 2005 List of Theorems. L(P, f) U(Q, f). f exists for each ǫ > 0 there exists a partition P of [a, b] such that

21.6 Green Functions for First Order Equations

Math 8 Winter 2015 Applications of Integration

Homework Problem Set 1 Solutions

n f(x i ) x. i=1 In section 4.2, we defined the definite integral of f from x = a to x = b as n f(x i ) x; f(x) dx = lim i=1

(1) (Pre-Calc Review Set Problems # 44 and # 59) Show your work. (a) Given sec =5,andsin <0, find the exact values of the following functions.

Homework 4. (1) If f R[a, b], show that f 3 R[a, b]. If f + (x) = max{f(x), 0}, is f + R[a, b]? Justify your answer.

11 An introduction to Riemann Integration

Riemann Sums and Riemann Integrals

Chapter 6. Riemann Integral

8. Complex Numbers. We can combine the real numbers with this new imaginary number to form the complex numbers.

Math& 152 Section Integration by Parts

Basic Derivative Properties

Riemann Sums and Riemann Integrals

Math 220A Homework 2 Solutions

Theoretical foundations of Gaussian quadrature

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004

7 - Continuous random variables

1.9 C 2 inner variations

7.2 Riemann Integrable Functions

Chapter 28. Fourier Series An Eigenvalue Problem.

Math 554 Integration

Conservation Law. Chapter Goal. 6.2 Theory

p(t) dt + i 1 re it ireit dt =

The usual algebraic operations +,, (or ), on real numbers can then be extended to operations on complex numbers in a natural way: ( 2) i = 1

Special notes. ftp://ftp.math.gatech.edu/pub/users/heil/1501. Chapter 1

1 The fundamental theorems of calculus.

Data Structures and Algorithms CMPSC 465

Math 142: Final Exam Formulas to Know

MATH 174A: PROBLEM SET 5. Suggested Solution

8 Laplace s Method and Local Limit Theorems

5.3 The Fundamental Theorem of Calculus

38 Riemann sums and existence of the definite integral.

Regulated functions and the regulated integral

Introduction and Review

Bernoulli Numbers Jeff Morton

(4.1) D r v(t) ω(t, v(t))

Section 6.1 INTRO to LAPLACE TRANSFORMS

M 106 Integral Calculus and Applications

Lecture 14 Numerical integration: advanced topics

Final Exam Review. Exam 1 Material

We divide the interval [a, b] into subintervals of equal length x = b a n

Math Advanced Calculus II

APPLICATIONS OF THE DEFINITE INTEGRAL

ODE: Existence and Uniqueness of a Solution

Math Calculus with Analytic Geometry II

Integration Techniques

Math 2142 Homework 2 Solutions. Problem 1. Prove the following formulas for Laplace transforms for s > 0. a s 2 + a 2 L{cos at} = e st.

Variational Techniques for Sturm-Liouville Eigenvalue Problems

If we have a function f(x) which is well-defined for some a x b, its integral over those two values is defined as

The Riemann Integral

AMATH 731: Applied Functional Analysis Fall Additional notes on Fréchet derivatives

Integrals - Motivation

Green function and Eigenfunctions

MATH 185: COMPLEX ANALYSIS FALL 2009/10 PROBLEM SET 5 SOLUTIONS. cos t cos at dt + i

Consider a potential problem in the half-space dened by z 0, with Dirichlet boundary conditions on the plane z = 0 (and at innity).

Ch. 24 Molecular Reaction Dynamics 1. Collision Theory 2. Diffusion-Controlled Reaction

20 MATHEMATICS POLYNOMIALS

MAC-solutions of the nonexistent solutions of mathematical physics

7. Indefinite Integrals

Linearity, linear operators, and self adjoint eigenvalue problems

Navigation Mathematics: Angular and Linear Velocity EE 570: Location and Navigation

UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE

4 Sturm-Liouville Boundary Value Problems

Main topics for the First Midterm

Section 6.3 The Fundamental Theorem, Part I

Transcription:

Exmple Sheet Solutions. i L f, g f, L g efinition of joint L g, f property of inner prouct g, Lf efinition of joint Lf, g property of inner prouct ii L L f, g Lf, g L f, g liner opertor property f, L g f, L g efinition of joint f, L g f, Lg from Qu. i f, L Lg liner opertor property b Therefore L L is self-joint. iii We cn write L L f, g Lf, g L f, g Therefore L L is skew-joint. liner opertor f, L g f, L g efinition of joint f, L g f, Lg from Qu. i f, L L g liner opertor L L L L L. Then from the properties shown in Qu ii this is the prouct of self-joint n skew-joint opertor.. i We first pply the opertor n tke the inner prouct s follows v, Lu vxu u u vu vu vu }{{}}{{}}{{} b c

Using integrtion by prts on n b gives ] vu vu u v therefore b vu b c vu ] v u ] vu v u ] vu ] u v ] vu v u vu v u vu vu u v v v vu v v vu where the cncelltion is ue to pplying the bounry conitions. This expression implies n in orer to stisfy the reltion L, v, Lu L v, u we require the following joint bounry conitions B {v, v }. ii If we use the prtition foun in Qu iii we hve L L L L L ] ]. 3. i In orer to prove tht this is necessry n sufficient conition we nee to prove the impliction in both irections, i.e. we must prove L is self-joint f, Lf R Let us first prove the impliction. Suppose L is self-joint so L L n so f, Lf L f, f Lf, f f, Lf.

Therefore f, Lf is rel vlue since z z z R. To prove the impliction, suppose f, Lf R f S. Then m C n some f, g S where f g, we hve f mg, Lf mg R. Then I f mg, Lf mg ] I f, Lf ] I f, Lmg ] I mg, Lf ] I mg, Lmg ] I f, Lmg ] I mg, Lf ] I m f, Lg ] I m g, Lf ] ] I m f, Lg ] I m Lf, g therfore I m f, Lg ] I I ] m Lf, g ] m Lf, g I m Lf, g ] since I z Iz. Let m, then I f, Lg ] I Lf, g ]. Let m i, then I i f, Lg ] I i Lf, g ], R f, Lg ] I Lf, g ]. Therefore both rel n imginry prts re in self-joint form so L is selfjoint. ii An opertor is positive if the inner prouct rel n positive vlue, n from prt i if the inner prouct is rel then L is self-joint. 4. Let Lu px u qxu, with p >, q n u ub. In orer for L to be positive the inner prouct f, Lf must be rel n positive. Tking the inner prouct, we hve u, Lu ū ū ū px u p u p u 3 ] qxu qūu q u

Using integrtion by prts on first term of RHS gives ] b b u, Lu ūpu pu ū q u pplying BCs since p > n q. p u q u 5. iv Using integrtion by prts for the inner prouct we hve v, Lu v u vu ] vu u v vu ] ] vu u v u v vu u v ] vu u v ] L v, u. v v u vu Therefore L L. In orer to stisfy this conition we require ] vu u v vu uv vu uv vu uv vu uv u v v u v v. Therefore B {v v, v v }. Then, since L L n B B the opertor is self-joint. v Using integrtion by prts for the inner prouct we hve v, Lu v u iu u vu i vu u v ] vu ] L v, u. vu vu ] v u i vu v iv vu u v vu 4

Therefore L L with B {v, v } n so the opertor is selfjoint. vi Integrting by prts over the given intervl gives v, Lu u x v Therefore with vx u vu vu ] u x v ] u x v u vx vx u] vx u x vu] ] x vu u x v... u x v ] x vu... u v x v u v 4x v x v...... u v x v x v x u v L x 3x, so the opertor is not self-joint. B {v v, v }, vii Consier the limit s n b. Then v, Lu vu k u vu u v ] b vu u v ] b L v, u. v k vu u v x v vu vu vu u x v 3x v v Therefore L L. In orer to to stisfy this expression we require lim vbu b ubv b lim vu uv b lim vbikub ubv b lim viku uv b lim ubv b ikvb lim uv ikv b 5

N.B. Here cre must be tken with signs since complex conjugte over the whole brcket chnges the sign of the imginry prt. We then hve lim x v x ikvx, lim x v x ikvx. So L L but B B so the opertor is only formlly self-joint. 6. Following the usul process we hve v, Lu vpu ru qu p vu ] b p vu p vu ] b u u p v r vu q vu ] b p v r vu ] b u p v... u r v ] b r vu We now choose B so tht the bounry terms re. We then hve v, Lu p v r v q v u p v p v p v p v p v p v r v r v r v then v, Lu L v, u p v p r v p r q v u pv p rv p r qvu... q vu u r v q vu therefore s require. L p p r p r q 7. Let L vlu L vu. Then L vpu ru qu up v p r v p r q v p vu u v r vu u p r v p r v] 6

so pulling out erivtives we hve L p vu u v p vu u v p v u u v...... r vu r vu r v u...... p v u r v u }{{} leve lone for now thus p r vu p r v u p r vu p vu u v r vu p r vu...... p vu u v r vu r v u p v u r v u p v u r v u p vu r vu } {{ } r vur v ur vu r vu s require. L p vu u v r p u v 8. i For L to be formlly self-joint we require L L. Compring the coefficients of ech term we hve : : p p p is rel p r r p r r p r r p Rr Rr iir Rr iir constnt : but p Rr so p r q q q p r q Rr Rr iir q q i Ir q q Ir q q i iiq i Iq ii If L is rel then p, q, r re rel functions. From prt i we lrey hve tht p is rel. Then from the constnt term we h Ir Iq, 7

but since q n r re rel we hve Ir Iq so the bove expression is stisfie. Tht leves us with the expression p Rr but since r is rel this implies p r s require. 9. i Since u, v re rel we hve ū u n v v. Then vlu ulv v 4 u u 4 v 4 4, v u u v, ii which is n exct ifferentil s require. vlu ulv vu uv ] vu uv ] v u vu u v uv v u vu u v uv... iii First cncel terms in u:... v u vu u v uv vlu ulv v u vu u v uv... then in v:... v u vu u v uv vlu ulv vu u v v u vu. iv In orer to give the require result, we choose the other set of bounry conitions, i.e. φ, φ, φ, φ. 8