ISSN: [Engida* et al., 6(4): April, 2017] Impact Factor: 4.116

Size: px
Start display at page:

Download "ISSN: [Engida* et al., 6(4): April, 2017] Impact Factor: 4.116"

Transcription

1 IJESRT INTERNATIONAL JOURNAL OF ENGINEERING SCIENCES & RESEARCH TECHNOLOGY ELLIPTICITY, HYPOELLIPTICITY AND PARTIAL HYPOELLIPTICITY OF DIFFERENTIAL OPERATORS Temesgen Engida*, Dr.Vishwajeet S. Goswami * Vice Dean, College of Natural and Computational Sciences, Dilla University Ethiopia Assistant Professor of Mathematics, Department of Mathematics, College of Natural and Computational Sciences, Dilla University Ethiopia DOI: /zenodo ABSTRACT The conditions for ellipticity and hypoellipticity of operator P(D) in terms of fundamental solutions were described by HÄormander []. But the relationship and the difference of condition of ellipticity, hypoellipticity and partial hypoellipticity of operator P(D) in terms of fundamental solutions was not established. We look at the case when the solution u of the equation P(D)u = f is conditionally smooth whenever f is a smooth function. INTRODUCTION Distributions (also known as a generalized functions) are widely used to formulate generalized solutions of partial differential equation. Where a classical solution may not exist or be very difficult to establish, a distribution solution to a differential equation is often much easier. One of the most useful aspects of the distribution theory is that discontinues functions can be handled as easily as continuous or differentiable functions. This paper aimed to describe the relationship and the difference of condition of ellipticity, hypoellipticity and partial hypoellipticity of differential operator P(D) in terms of its Fundamental Solutions. For the first time some remarkable results about infinitely differentiability and analyticity of solutions of elliptic differential operators were obtained by Bernstein at the beginning of the 0th century. Later on Petrovskii proved that all classical solutions of equation P(D)u = f with analytic right hand side are analytic if and only if operator P(D) is elliptic. The conditions for ellipticity and hypoellipticity of operator P(D) in terms of fundamental solutions were described by HÄormander []. But the relationship and the difference of condition of ellipticity, hypoellipticity and partial hypoellipticity of operator P(D) in terms of fundamental solutions was not established. We look at the case when the solution u of the equation P(D)u = f is conditionally smooth whenever f is a smooth function. WE DESCRIBE THE PARTIAL HYPOELLIPTICITY OF DIFFERENTIAL OPERATORS WITH CONSTANT COEFFICIENTS IN TERMS OF FUNDAMENTAL SOLUTIONS. Fundamental solution of linear differential equation Definition:.1.1 Let P be a non-zero differential operators with Constant coefficients a α (x) = a α such that P (D) = K ad. (3.1) Where K is a finite set in N o n the space of multi-indices; i.e. N o n = N o. N o (n copies) with N o = N {0}. for α N o n =α 1 + α + + α n Max = m; a α k are constants; D α = D 1 α 1. D α... D n α n and Dj α j = 1 i α j x j α j [44]

2 Aim: To describe the condition of partial hypoellipticity of differential operator (3.1) in terms of its Fundamental Solutions. A distribution ε(x) D (R n ) that satisfies the equation P (D) ε(x) = δ(x) (3.) in R n is said to be a fundamental solution of the operator P(D) Remark.1.1: A fundamental solution of the operator P (D) generally is not unique. Proof; suppose ε(x) D (R n ) is fundamental solution of the operator P(D) Then; P (D) ε(x) = δ(x) (*) Let ε 0 (x) D (R n ) be arbitrary solution of the homogeneous equation, P(D)ε 0 (x) = 0 (**) From (*) and (**) we have P (D)[ε(x) + ε 0 (x)] = P (D) ε(x) + P(D)ε 0 (x) = δ(x) This implies that ε(x) + ε 0 (x) is also the fundamental solution of the operator P (D) Lemma.1.1: A distribution εs (R n )is said to be a fundamental solution of the operator P (D) if and only if the Fourier transform F[ε] satisfy the equation P(i ξ)f[ε]=(π) n, Where, P (D) = k a Proof: Let εs be a fundamental solution of the operator P (D) P (D) ε(x) = δ(x) F[P(D)ε] = F[δ] = (π) n F [ m ad ] =(π) n ma F[Dα ε] = (π) n m a(i ) F[ε] = (π) n P(i ξ)f[ε] = (π) n By using the notation of fundamental solution ε(x) of the operator P(D), we can construct a solution of equation P(D)u(x) =f(x),..(3.3) With an arbitrary function f. Theorem.1.1: Let f D such that ε f exists in D. then the equation (3.3) has a solution in D that is given by the formula U = ε f.. (3.4) This solution is unique in the class of distributions belongs to D for which a convolution with ε exist. Proof: Form (.9) and (3.) we have P(D) (ε f) = ma Dα (ε f ) = ( a m Dα ε) f = P(D)ε f = δ f = f Hence u= ε f is a solution of equation (3.3) Uniqueness: It suffice to show that the corresponding homogeneous equation P(D)u=0 has only a zero solution in the class of generalized function beloges to D whose convolution with ε exists in D. u = u δ = u P(D)ε = P(D)u ε = 0 Hence u= ε f is a unique solution ind Example: Find a fundamental solution of the heat conduction operator differential equation L t a Solution: Let ε be a fundamental solution of the heat conduction operator differential equation. Then ε satisfy ε(x,t) t a ε(x, t) = δ(x, t).. ( ) [45]

3 Now, applying the Fourier transform F x to ( ), we obtain F x [ ε(x,t) a ε(x, t)] = F t x [δ(x, t)] But, ε(x, t) F x [ ] = t t F x [ε(x, t)] F x [ ε(x, t)] = ε(x, t) t e i(ξ,x) dx = ε(x, t) e i(ξ,x) t dx = ε(x, t)(iξ) e i(ξ,x) dx = i (ξ 1 + ξ + + ξ n ) ε(x, t)e i(ξ,x) dx = ξ F x [ε(x, t)] (F x [δ(x, t)], φ) = (δ(x, t), F ξ [φ]) = F ξ [φ(x, t)](0) = φ(ξ, 0) = 1(ξ)δ(t) Therefore, F t x [ε(x, t)] + a ξ F x [ε(x, t)] = 1(ξ)δ(t) Let E(ξ, t) = F x [ε(x, t)], then E(ξ, t) + t a ξ E(ξ, t) = 1(ξ)δ(t) Let L E(t) = E(t) + t a ξ E(t) is a linear differential operator with constant coefficients. The solution is a generalized function θ(t)z(t) where z(t) is the solution of initial value problem L z(t) = 0, z(0) = 1 Hence, z(t) + t a ξ z(t) = 0. this implies that z(t) = e a ξ t Therefore, E(ξ, t) = θ(t)z(t) = θ(t)e a ξ t and applying inverse Fourier transform F 1 x, we obtain ε(x, t) = F ξ 1 [θ(t)e a ξ t ] = θ(t)f ξ 1 [e a ξ t ] = θ(t) π e a ξ t e i(ξ,x) dξ x = θ(t)e 4a t π a t e t dt = θ(t) π e a t( ξ + = θ(t) π t( ξ + e a = θ(t)e π = θ(t)e π = π x 4a t x 4a t x = θ(t)e 4a t a πt i x ξ a t ) dξ i x a t ) x 4a tdξ e a t( ξ + i x a t ) dξ i x (a t( ξ + a e t dξ )) Description of the ellipticity, hypoellipticity and partial hypoellipticity in terms of fundamental solutions Definition..1: A distribution ε is called a fundamental solution for differential operator (3.1) if, and only,if P (D) ε(x) = δ(x). (3.5) Where δ is the Dirac delta function. One of the basic and the most profound results is the proof of the existence of a fundamental solution ε in D of any differential operator of the type (3.1) Equation (3.5) in the class S is equivalent to the algebraic equation P(i ξ)f[ε] = (π) n.(3.6) The problem of seeking a fundamental solution of slow growth turns out to be a special case of the more general problem of dividing a generalized function of slow growth by a polynomial, that is, of the problem of finding a solution u in S of the equation P(ξ)u = f.. (3.7) [46]

4 Where P is a nonzero polynomial and f is a specified generalized function in S. Elliptic and hypoelliptic operators Definition..: Let Ω R n be an open set and let u D (Ω) a Differential operator (3.1) is called elliptic, if P(D)u A(Ω), then u A(Ω). Definition..3: Let Ω R n be an open set and let u D (Ω) a differential operator (3.1) is called hypo elliptic, if P(D)u C then u C Note that every elliptic operator is hypo elliptic. Example: -The Laplace and Cauchy-Riemann operators are elliptic - The heat conducting operator is hypo elliptic The conditions for ellipticity and hypoellipticity of operator P(D) in terms of fundamental solutions were described by HÄormander. But the Condition for partial hypoellipticity of operator P(D) in terms of fundamental solutions was not established. We look at the case when the solution u of the equation P(D)u = f is conditionally smooth whenever f is a smooth function. That is, we want to study the smoothness of u with respect to some variables. Lemma..1: Let Ω R n be an open set, u D (Ω) and ψ D(R n ). Then the set Ω ψ = (Ω + y) y spp(ψ ) is open. Moreover, the convolution u ψ exists in Ω ψ. That is for all ψ D( Ω ψ ) (u ψ,φ)(x) = (u(x)(ψ(y), φ(x + y))) Lemma..: Let Ω R n be an open set, m, n N 0 are such that 0 m < n and x = (x, x n m ).Let for. Let ψ D(R n ), ψ m =ψ(x ) δ(x ): supp(ψ m ) = supp(ψ) {0}, Where δ is a Dirac delta function Then the set Ω ψ = (Ω + y) y spp(ψ ) is open. Moreover the convolution u ψ m exists in Ω ψm for Ω R n be an open set and u D ( Ω),that is ψ D(Ω ψm ) (u ψ m, ψ )(x) := (u(x), (ψ(y ), φ(x + y ))) Definition..4: Let Ω R n be an open set and u D ( Ω) a differential operator P(D) is called partially hypoelliptic with respect to the plane x = 0, if P(D)u C, then for any function ψ D(R m ) the convolution u ψ m C (Ω ψm ). Remark..1: If m = 0 in Definition (3), then m=0, then ψ o= δ and in this case we obtain definition (). In this paper we prove the following theorem in which a description of the partial hypoellipticity of a differential operator (3.1) in terms of its fundamental solutions is given. Theorem..1: For the differential operator (3.1) to be partially hypoelliptic with respect to the plane x = 0, it is necessary and sufficient that the existence of a fundamental solution ε of operator (3.1) such that for any function ψ m D(R n )the convolution ε ψ m C (Ω ψm supp(ψ m )) Remark..: From the existence of such fundamental solution follows that every fundamental solution satisfies ε ψ m C (Ω ψm supp(ψ m )) [47]

5 Preliminaries In this section we will describe the basic tools we need in the proof of our theorem and we prove them for the sake of completeness. For sets A and B we will use the following notations, inf A-B ={x y: x A and y B } and the distance between A and B, ρ(a;b) = x y x A,x B Theorem..: Let Ω R n be an open set, u D (Ω) and ψ D(R n ). Then the set Ω ψ = (Ω + y) is open y spp(ψ ). Moreover, the convolution u ψ exists in Ω ψ. That is for all ψ D( Ω ψ ), (u ψ,φ)(x) = (u(x), (ψ(y), φ(x + y))) Note that for the convolution u ψ m to be defined for all φ D( Ω ψ ) it is important to show that the set Ω ψm = (Ω + y) y spp(ψ m ) is open. Proposition..1 If Ω R n and x, y R n, then ρ(x y, Ω)= ρ(x, Ω + y) Proposition.. If Ω R n and x, y, z R n, then ρ(x, Ω + y) ρ(x, Ω + z) y z Proof: ρ(x, Ω + y) ρ(x, Ω + z) = ρ(x y, Ω) ρ(x z, Ω) And ρ(x y, Ω) ρ(x z, Ω) x y (x z) y z by Proposition 3..1 Proposition..3. Let Ω α R n ; where α A R. Then for any x R n the condition is equivalent to ρ (x, Ω α ) > 0 (1) inf α A ρ(x, Ω α) > 0 ( ) Proof: Condition () is equivalent to the existence of c > 0, such that ρ(x, Ω α ) > c, for all α A. Then c B(x, c) Ω α for all α A and this means B(x, c) Ω α c = ( Ω α ) c ρ(x, Ω α ) > 0 Conversely, let condition (1) be satisfied and suppose that condition () be not satisfied. If A is a finite set, then there exists α 0 A such that ρ(x, Ω αo ) = 0 Hence That is, ρ (x, Ω α ) ρ(x, Ω αo ) = 0 ρ (x, Ω α ) = 0 If A is an infinite set, then for each k N there exists α k A such that ρ(x, Ω αk ) 1/k Consequently, [48]

6 and taking the limit we get ρ (x, Ω α ) ρ(x, Ω αk ) 1/k ρ (x, Ω α ) = 0 In both cases we arrived at a contradiction to condition (1) and this completes the proof Lemma..3; Let Ω R n be an open set and F compact, then the set G = (Ω + y).proof: That G is open means that ρ(x, G c ) > 0 for all x G. That is, for all x G, is open ρ (x, [ (Ω + y) ] c ) = ρ (x, (Ω + y) c ) By proposition that is equivalent to = ρ (x, (Ω c + y) ) > 0 inf y F ρ(x, (Ωc + y)) > 0 for all x G. Assume to the contrary that there exists x G such that inf y F ρ(x, (Ωc + y)) = 0 This implies that, for every k N their exists y k F such that ρ(x, (Ω c + y k )) 1/k We can select a convergent subsequence {y ks } such that lim y ks = y o, for y o F s Then, ρ(x, (Ω c + y o )) = lim ρ(x, (Ω c + y ks )) = 0 s since (Ω c + y o ) is closed by the assumption, x (Ω c + y o ) (Ω c + y) = (Ω + y) c = [ (Ω + y) ] c = G c This contradicts the fact that x G. Consequently, G = (Ω + y) is open. From the Lemma..3 we can conclude that for ψ D(R n ) and open set Ω R n the set [49]

7 Ω ψ = (Ω + y) is open y supp(ψ). Remark..3: (i) For any u D ( Ω) and ψ D (R n ) the convolution is well defined onω ψ. ii) Suppose Ω R n is an open set m, n Z are such that 0 m < n, and for any ψ D (R m ) define ψ m (x) = ψ(x ) δ(x ), where x = (x, x ),wher x R m, x R n m. Then supp (ψ m ) = supp(ψ) {0} and the set Ω ψm = y supp(ψ m ) (Ω + y) is open. Definition..5: Let Ω R n be open, u D ( Ω) and ψ D (R m ). Then for D( Ω ψm ), we define (u ψ m, φ) = (u(x), ψ(y ) supp(ψ) φ(x + y )dy ) Remark..4: For any u D ( Ω) and ψ D (R m ) the convolution u ψ m is well define on Ω ψm. Lemma..4: Let Ω R n be an open set,m, n Z be such that 0 m < n, and ψ D (R m ). Let φ, φ k D( Ω ψm ) for k N and φ k φ in D( Ω ψm ) as k. Then, (ψ(y ), φ k (x + y )) (ψ(y), φ(x + y )) in D( Ω ψ ) Proof: φ k φ in D( Ω ψm ) means φ k φ 0 in D( Ω ψm ). Hence, (ψ(y ), φ k (x + y )) (ψ(y ), φ(x + y )) = (ψ(y ), φ k (x + y ) φ(x + y))) (ψ(y ), 0) = 0 That is, (ψ(y ), φ k (x + y )) (ψ(y), φ(x + y )) in D( Ω ψ ). Lemma..5: Let Ω R n be an open set,m, n Z be such that 0 m < n, and ψ D(R m ). Then u ψ m D ( Ω ψm ) for any u D ( Ω) Proof: From Remark 3..4 it follows that u ψ m is defined on Ω ψm and from lemma 3..4 it follows that the functional is continuous. Since it is linear on D( Ω ψm ) we conclude that u ψ m D ( Ω ψm ) Remark..5 If Ω C (Ω) then the convolution u ψ m ( C Ω ψm ). Description of the partial hypoellipticity in term of fundamental solutions. All classical solutions of equations p(d)u = f with analytic right hand side are analytic if and only if operator (1) is elliptic.in other words if Ω R n is an open set,then for any u C (Ω) such that P(D) is an analytic function in Ω, u is an analytic function in Ω if and only if operator (3.1)is elliptic. In terms of the polynomial p this is equivalent to p(ξ) 0 ξ 0 Where, p(d) = a α D α αεk: α =1 is the principal part of operator(3.1). The corresponding description for hypoelliptic operators was obtained by HÄormander. That is, a differential operator (3.1) is hypoelliptic if and only if for all multi-indices α 0, P (α) (ξ) p(ξ) 0 as ξ The following is Hormander s theorem about description of the hypoellipticity in terms fundamental solutions. Theorem..3 For an operator (3.1) to be hypoelliptic it is necessary and sufficient that there exists a fundamental solution ε of (3.1) such that ε C (R n \{0}) Remark..6. From the existence of such fundamental solution if follows that any fundamental solution ε C (R n \{0} ) Proof of Theorem..3: Necessity Let Ω R n be open and u D ( Ω) be a solution of p(d)u = f Where, f C (R n ) Since ε is fundamental solution of operator (3.1), One has p(d)ε = δ where δ C (R n \{0}). Consequently by definition 3..3, [50]

8 ε C (R n \{0} ) Sufficiency: Let ε C (R n \{0}) be a fundamental solution of operator (3.1) and u D ( Ω) be a solution to the equation P(D)u = f with f C (R n ) Let Ω be an arbitrary open set such that Ω Ω and let η D( Ω) with η(x) = 1 for all x Ω. The generalized function ηu is compactly supported in Ω and satisfies the equation p(d)(ηu) = ηf + f 1 where ηf D( Ω) andf 1 D ( Ω) such that supp(f 1 ) supp(η) \Ω. Therefore, ηu= δ ηu = p(d)ε ηu = ε p(d)ηu = ε (ηf + f 1 ) = ε (ηf) + ε f 1. Since ηf D( R n ), ε ηf C (R n ) and ε f 1 C (R n \ supp(f 1 )), we have ε f 1 C (R n (Ω\ Ω ) ), that is, ε f 1 C (Ω). And since ηu= u in Ω and Ω Ω is arbitrary, u C (Ω). It is known that operator (3.1) is partially hypoelliptic with respect to the plane x = 0 if and only if for all α 0 P (α) (ξ,ξ ) p(ξ,ξ ) 0 as ξ and ξ remains bounded. Lemma..5 Let G R n be a closed set, f D ( R n ) C (R n \G) and g ε (R n ). Then f g C (R n \ supp(g) + G). Moreover, for all γ > 0, (f g) = (g(y), η(y)f(x y)) on R n \((supp(g) )+G), γ where η D( R n ), η = 1 in some neighborhood of supp(g) and supp(η) (supp(g)) γ. Remark..6 If Ω = G c then from Lemma..5 and Remark..5 we observe that (f g) = (g(y), η(y)f(x y)) C (Ω g ) where, Ω g = (G c + y) = ( (G + y) c y supp(g) y supp(g) = (G + supp(g)) c = R n \ (supp(g) + G). Remark..7 If G = {0} in Lemma 3..5, then it can be easily shown that (f g) = (g(y), η(y)f(x y)) C (R n \ (supp(g))) Remark..8 If G = R n is a closed set, f D ( R n ) C (R n \G) (f g 1,, g n )(x) exists in D (R n ) and we have, (f g 1,, g n )(x) C (R n \(G + supp(g 1 ) + + supp(g n ). and g 1,, g n ε (R n ) then Proof of Theorem..1 Necessity: Let differential operator (3.1) be partially hypoelliptic with respect to the plane x = 0 and ε be its fundamental solution, i.e. p(d)ε = δ. Then using Definition 3..4, and Remarks 3..5, 3..6 and 3..7, we deduce that for any ψ D( R n ) and ψ m (x) = ψ(x ) δ(x ), We have (ε ψ m )(x) C (Ω ψm supp(ψ m )). Sufficiency: Let ε be a fundamental solution of operator (3.1) and that (ε ψ m )(x) C (Ω ψm supp(ψ m )). Moreover, let u D (Ω) be a solution of the equation P(D)u = f with f C (Ω). Then, ηu ψ m C ( Ω ψm ) where η D(Ω), η(x) = 1 x Ω Ω Indeed, ηu ψ m = ηu (ψ m δ) = ηu (ψ m P(D)ε) = ηu P(D)( (ψ m ε) = P(D)(ηu (ε ψ m )) = P(D)(ηu) (ε ψ m ) = (ηf + f 1 ) (ε ψ m ) Where ηf and f 1 are as in the proof of Theorem 3..3 Since, ηf D( Ω) the convolution ηf (ε ψ m ) C (R n ) By Lemma 3..5, f 1 (ε ψ m ) = (ε ψ m ) f 1 C (R n \ (supp(ψ m ) + supp(f 1 )) [51]

9 And since R n \ ((Ω ) c + supp(ψ m )) R n \ (supp(ψ m ) + supp(f 1 )) it follows that (ε ψ m ) f 1 C (R n \ ((Ω ) c + supp(ψ m ))). But, (Ω ) c + supp(ψ m ) = y supp(ψ (Ω ) c m ) + y) = y supp(ψ (Ω + y) c m ) = ( y supp(ψ (Ω m ) + y) ) c =(Ω ) c ψ m Consequently, (ε ψ m ) f 1 C (Ω ψm ) and ηu ψ m C ( Ω ψm ) Since Ω Ω is arbitrary, ηu ψ m C ( Ω ψm ). Next, let x o Ω ψm.then there exists δ > 0 such that B(x o, δ) Ω ψm, Ω x o = B(x o, δ) supp(ψ m ) and Ω x o Ω. Let η x0 D(Ω) be such that η x0 (x) = 1 x Ω x o. Observe that η x0 u ψ m = u ψ m on B(x o, δ) That is, (η x0 u ψ m, φ) = (u ψ m, φ) φ D(B(x o, δ)). Indeed, (η x0 u ψ m, φ) = (η x0 (x)u(x), (ψ m (y), φ(x + y)) = (η x0 (x)u(x), (ψ(y ) δ(y ), φ(x + y, x + y ))) = (η x0 (x)u(x), (ψ(y ), φ(x + y, x ))) = (u(x), ((η x0 (x)ψ(y ), φ(x + y ))) = (u(x), η x0 (x)ψ(y )φ(x + y )dy ) R m Since (x, x ) = (x + y, x ) (y, 0) B(x o, δ) supp(ψ m ) for all y supp(ψ m ). Then for all x with x + y supp(φ) B(x o, δ), we have η x0 (x) = 1 Consequently, (η x0 u ψ m, φ) = (u(x), φ(x + y )ψ(y )dy ) R m = (u ψ m, φ) for all φ D(B(x o, δ)) Hence, ε ψ m C (Ω ψm supp(ψ m )) and we are done SUMMARY AND RESULTS Definition Differential Operator (3.1) is elliptic if and only if u D (Ω), P(D)u A(Ω) u A(Ω) Differential Operator (3.1) is hypoelliptic if and only if u D (Ω), P(D)u C (Ω) u C (Ω) Differential Operator (3.1) is partial hypoellipticity if and only if u D (Ω), P(D)u C (Ω), ψ D(Ω) ε ψ m C (Ω ψm ) In terms polynomial. For ξ 0 The principal part P m (ξ) 0 P (α) (ξ) p(ξ) P (α) (ξ,ξ ) p(ξ,ξ ) 0 as (ξ ) ξ remains bounded. 0 as (ξ ) And In terms of fundamental solution. Any Fundamental solution ε is such that ε A([{0}] c ) Any Fundamental solution ε is such that ε C ([{0}] c ) For m, n N 0 : 0 m < n and ψ D(R m ) ε ψ m C ([supp(ψ m )] c ) REFERENCES [1] Vladimirov V. S., Generalized Functions in Mathematical Physics. Mir publisher. Moscow, [] Hormander L., Linear Partial Differential Operators. New York, [3] F.G.Friedlander, Introduction to the theory of distributions, Cambridge university press, London, 198. [4] Zemanian, A. Distribution theory and transform analysis, McGraw Hill, New York, 1965 [5]

We denote the space of distributions on Ω by D ( Ω) 2.

We denote the space of distributions on Ω by D ( Ω) 2. Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study

More information

Reminder Notes for the Course on Distribution Theory

Reminder Notes for the Course on Distribution Theory Reminder Notes for the Course on Distribution Theory T. C. Dorlas Dublin Institute for Advanced Studies School of Theoretical Physics 10 Burlington Road, Dublin 4, Ireland. Email: dorlas@stp.dias.ie March

More information

Some Aspects of Solutions of Partial Differential Equations

Some Aspects of Solutions of Partial Differential Equations Some Aspects of Solutions of Partial Differential Equations K. Sakthivel Department of Mathematics Indian Institute of Space Science & Technology(IIST) Trivandrum - 695 547, Kerala Sakthivel@iist.ac.in

More information

Lectures on. Sobolev Spaces. S. Kesavan The Institute of Mathematical Sciences, Chennai.

Lectures on. Sobolev Spaces. S. Kesavan The Institute of Mathematical Sciences, Chennai. Lectures on Sobolev Spaces S. Kesavan The Institute of Mathematical Sciences, Chennai. e-mail: kesh@imsc.res.in 2 1 Distributions In this section we will, very briefly, recall concepts from the theory

More information

(d). Why does this imply that there is no bounded extension operator E : W 1,1 (U) W 1,1 (R n )? Proof. 2 k 1. a k 1 a k

(d). Why does this imply that there is no bounded extension operator E : W 1,1 (U) W 1,1 (R n )? Proof. 2 k 1. a k 1 a k Exercise For k 0,,... let k be the rectangle in the plane (2 k, 0 + ((0, (0, and for k, 2,... let [3, 2 k ] (0, ε k. Thus is a passage connecting the room k to the room k. Let ( k0 k (. We assume ε k

More information

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books. Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define

More information

Laplace s Equation. Chapter Mean Value Formulas

Laplace s Equation. Chapter Mean Value Formulas Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic

More information

44 CHAPTER 3. CAVITY SCATTERING

44 CHAPTER 3. CAVITY SCATTERING 44 CHAPTER 3. CAVITY SCATTERING For the TE polarization case, the incident wave has the electric field parallel to the x 3 -axis, which is also the infinite axis of the aperture. Since both the incident

More information

A Walking Tour of Microlocal Analysis

A Walking Tour of Microlocal Analysis A Walking Tour of Microlocal Analysis Jeff Schonert August 10, 2006 Abstract We summarize some of the basic principles of microlocal analysis and their applications. After reviewing distributions, we then

More information

Sobolev spaces. May 18

Sobolev spaces. May 18 Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references

More information

2 Infinite products and existence of compactly supported φ

2 Infinite products and existence of compactly supported φ 415 Wavelets 1 Infinite products and existence of compactly supported φ Infinite products.1 Infinite products a n need to be defined via limits. But we do not simply say that a n = lim a n N whenever the

More information

Chapter 3 Second Order Linear Equations

Chapter 3 Second Order Linear Equations Partial Differential Equations (Math 3303) A Ë@ Õæ Aë áöß @. X. @ 2015-2014 ú GA JË@ É Ë@ Chapter 3 Second Order Linear Equations Second-order partial differential equations for an known function u(x,

More information

The wave front set of a distribution

The wave front set of a distribution The wave front set of a distribution The Fourier transform of a smooth compactly supported function u(x) decays faster than any negative power of the dual variable ξ; that is for every number N there exists

More information

TOPICS IN FOURIER ANALYSIS-IV. Contents

TOPICS IN FOURIER ANALYSIS-IV. Contents TOPICS IN FOURIER ANALYSIS-IV M.T. NAIR Contents 1. Test functions and distributions 2 2. Convolution revisited 8 3. Proof of uniqueness theorem 13 4. A characterization of distributions 14 5. Distributions

More information

Fourier Transform & Sobolev Spaces

Fourier Transform & Sobolev Spaces Fourier Transform & Sobolev Spaces Michael Reiter, Arthur Schuster Summer Term 2008 Abstract We introduce the concept of weak derivative that allows us to define new interesting Hilbert spaces the Sobolev

More information

Partial Differential Equations

Partial Differential Equations Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,

More information

2. Function spaces and approximation

2. Function spaces and approximation 2.1 2. Function spaces and approximation 2.1. The space of test functions. Notation and prerequisites are collected in Appendix A. Let Ω be an open subset of R n. The space C0 (Ω), consisting of the C

More information

MATH 220 solution to homework 5

MATH 220 solution to homework 5 MATH 220 solution to homework 5 Problem. (i Define E(t = k(t + p(t = then E (t = 2 = 2 = 2 u t u tt + u x u xt dx u 2 t + u 2 x dx, u t u xx + u x u xt dx x [u tu x ] dx. Because f and g are compactly

More information

Continuous functions that are nowhere differentiable

Continuous functions that are nowhere differentiable Continuous functions that are nowhere differentiable S. Kesavan The Institute of Mathematical Sciences, CIT Campus, Taramani, Chennai - 600113. e-mail: kesh @imsc.res.in Abstract It is shown that the existence

More information

Chap. 1. Some Differential Geometric Tools

Chap. 1. Some Differential Geometric Tools Chap. 1. Some Differential Geometric Tools 1. Manifold, Diffeomorphism 1.1. The Implicit Function Theorem ϕ : U R n R n p (0 p < n), of class C k (k 1) x 0 U such that ϕ(x 0 ) = 0 rank Dϕ(x) = n p x U

More information

u xx + u yy = 0. (5.1)

u xx + u yy = 0. (5.1) Chapter 5 Laplace Equation The following equation is called Laplace equation in two independent variables x, y: The non-homogeneous problem u xx + u yy =. (5.1) u xx + u yy = F, (5.) where F is a function

More information

E. The Hahn-Banach Theorem

E. The Hahn-Banach Theorem E. The Hahn-Banach Theorem This Appendix contains several technical results, that are extremely useful in Functional Analysis. The following terminology is useful in formulating the statements. Definitions.

More information

MA651 Topology. Lecture 10. Metric Spaces.

MA651 Topology. Lecture 10. Metric Spaces. MA65 Topology. Lecture 0. Metric Spaces. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Linear Algebra and Analysis by Marc Zamansky

More information

WEYL S LEMMA, ONE OF MANY. Daniel W. Stroock

WEYL S LEMMA, ONE OF MANY. Daniel W. Stroock WEYL S LEMMA, ONE OF MANY Daniel W Stroock Abstract This note is a brief, and somewhat biased, account of the evolution of what people working in PDE s call Weyl s Lemma about the regularity of solutions

More information

LINEAR SECOND-ORDER EQUATIONS

LINEAR SECOND-ORDER EQUATIONS LINEAR SECON-ORER EQUATIONS Classification In two independent variables x and y, the general form is Au xx + 2Bu xy + Cu yy + u x + Eu y + Fu + G = 0. The coefficients are continuous functions of (x, y)

More information

Introduction to Microlocal Analysis

Introduction to Microlocal Analysis Introduction to Microlocal Analysis First lecture: Basics Dorothea Bahns (Göttingen) Third Summer School on Dynamical Approaches in Spectral Geometry Microlocal Methods in Global Analysis University of

More information

Course 212: Academic Year Section 1: Metric Spaces

Course 212: Academic Year Section 1: Metric Spaces Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........

More information

Some uniqueness results for the determination of forces acting over Germain-Lagrange plates

Some uniqueness results for the determination of forces acting over Germain-Lagrange plates Some uniqueness results for the determination of forces acting over Germain-Lagrange plates Three different techniques A. Kawano Escola Politecnica da Universidade de Sao Paulo A. Kawano (Poli-USP) Germain-Lagrange

More information

II. FOURIER TRANSFORM ON L 1 (R)

II. FOURIER TRANSFORM ON L 1 (R) II. FOURIER TRANSFORM ON L 1 (R) In this chapter we will discuss the Fourier transform of Lebesgue integrable functions defined on R. To fix the notation, we denote L 1 (R) = {f : R C f(t) dt < }. The

More information

Sobolev Spaces. Chapter 10

Sobolev Spaces. Chapter 10 Chapter 1 Sobolev Spaces We now define spaces H 1,p (R n ), known as Sobolev spaces. For u to belong to H 1,p (R n ), we require that u L p (R n ) and that u have weak derivatives of first order in L p

More information

FOURIER TRANSFORMS. 1. Fourier series 1.1. The trigonometric system. The sequence of functions

FOURIER TRANSFORMS. 1. Fourier series 1.1. The trigonometric system. The sequence of functions FOURIER TRANSFORMS. Fourier series.. The trigonometric system. The sequence of functions, cos x, sin x,..., cos nx, sin nx,... is called the trigonometric system. These functions have period π. The trigonometric

More information

u( x) = g( y) ds y ( 1 ) U solves u = 0 in U; u = 0 on U. ( 3)

u( x) = g( y) ds y ( 1 ) U solves u = 0 in U; u = 0 on U. ( 3) M ath 5 2 7 Fall 2 0 0 9 L ecture 4 ( S ep. 6, 2 0 0 9 ) Properties and Estimates of Laplace s and Poisson s Equations In our last lecture we derived the formulas for the solutions of Poisson s equation

More information

On stable inversion of the attenuated Radon transform with half data Jan Boman. We shall consider weighted Radon transforms of the form

On stable inversion of the attenuated Radon transform with half data Jan Boman. We shall consider weighted Radon transforms of the form On stable inversion of the attenuated Radon transform with half data Jan Boman We shall consider weighted Radon transforms of the form R ρ f(l) = f(x)ρ(x, L)ds, L where ρ is a given smooth, positive weight

More information

DIEUDONNE AGBOR AND JAN BOMAN

DIEUDONNE AGBOR AND JAN BOMAN ON THE MODULUS OF CONTINUITY OF MAPPINGS BETWEEN EUCLIDEAN SPACES DIEUDONNE AGBOR AND JAN BOMAN Abstract Let f be a function from R p to R q and let Λ be a finite set of pairs (θ, η) R p R q. Assume that

More information

On Dual Wavelet Tight Frames

On Dual Wavelet Tight Frames On Dual Wavelet Tight Frames Bin Han Department of Mathematical Sciences University of Alberta Edmonton, AB T6G 2G, Canada Email: bhan@vega.math.ualberta.ca Abstract. A characterization of multivariate

More information

1.3.1 Definition and Basic Properties of Convolution

1.3.1 Definition and Basic Properties of Convolution 1.3 Convolution 15 1.3 Convolution Since L 1 (R) is a Banach space, we know that it has many useful properties. In particular the operations of addition and scalar multiplication are continuous. However,

More information

ON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP

ON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP Dedicated to Professor Gheorghe Bucur on the occasion of his 7th birthday ON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP EMIL POPESCU Starting from the usual Cauchy problem, we give

More information

Math 342 Partial Differential Equations «Viktor Grigoryan

Math 342 Partial Differential Equations «Viktor Grigoryan Math 342 Partial Differential Equations «Viktor Grigoryan 15 Heat with a source So far we considered homogeneous wave and heat equations and the associated initial value problems on the whole line, as

More information

ELLIPTIC REGULARITY AND SOLVABILITY FOR PARTIAL DIFFERENTIAL EQUATIONS WITH COLOMBEAU COEFFICIENTS

ELLIPTIC REGULARITY AND SOLVABILITY FOR PARTIAL DIFFERENTIAL EQUATIONS WITH COLOMBEAU COEFFICIENTS Electronic Journal of Differential Equations, Vol. 2004(2004), No. 14, pp. 1 30. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) ELLIPTIC

More information

Distribution Theory and Fundamental Solutions of Differential Operators

Distribution Theory and Fundamental Solutions of Differential Operators Final Degree Dissertation Degree in Mathematics Distribution Theory and Fundamental Solutions of Differential Operators Author: Daniel Eceizabarrena Pérez Supervisor: Javier Duoandikoetxea Zuazo Leioa,

More information

Elliptic Problems for Pseudo Differential Equations in a Polyhedral Cone

Elliptic Problems for Pseudo Differential Equations in a Polyhedral Cone Advances in Dynamical Systems and Applications ISSN 0973-5321, Volume 9, Number 2, pp. 227 237 (2014) http://campus.mst.edu/adsa Elliptic Problems for Pseudo Differential Equations in a Polyhedral Cone

More information

JASSON VINDAS AND RICARDO ESTRADA

JASSON VINDAS AND RICARDO ESTRADA A QUICK DISTRIBUTIONAL WAY TO THE PRIME NUMBER THEOREM JASSON VINDAS AND RICARDO ESTRADA Abstract. We use distribution theory (generalized functions) to show the prime number theorem. No tauberian results

More information

The Dirichlet boundary problems for second order parabolic operators satisfying a Carleson condition

The Dirichlet boundary problems for second order parabolic operators satisfying a Carleson condition The Dirichlet boundary problems for second order parabolic operators satisfying a Martin Dindos Sukjung Hwang University of Edinburgh Satellite Conference in Harmonic Analysis Chosun University, Gwangju,

More information

Distributions: Topology and Sequential Compactness

Distributions: Topology and Sequential Compactness Distributions: Topology and Sequential Compactness Acknowledgement Distributions: Topology and Sequential Compactness Acknowledgement First of all I want to thank Professor Mouhot for setting this essay

More information

NONLOCAL DIFFUSION EQUATIONS

NONLOCAL DIFFUSION EQUATIONS NONLOCAL DIFFUSION EQUATIONS JULIO D. ROSSI (ALICANTE, SPAIN AND BUENOS AIRES, ARGENTINA) jrossi@dm.uba.ar http://mate.dm.uba.ar/ jrossi 2011 Non-local diffusion. The function J. Let J : R N R, nonnegative,

More information

Green s Functions and Distributions

Green s Functions and Distributions CHAPTER 9 Green s Functions and Distributions 9.1. Boundary Value Problems We would like to study, and solve if possible, boundary value problems such as the following: (1.1) u = f in U u = g on U, where

More information

Quantitative Homogenization of Elliptic Operators with Periodic Coefficients

Quantitative Homogenization of Elliptic Operators with Periodic Coefficients Quantitative Homogenization of Elliptic Operators with Periodic Coefficients Zhongwei Shen Abstract. These lecture notes introduce the quantitative homogenization theory for elliptic partial differential

More information

Oscillatory integrals

Oscillatory integrals Chapter Oscillatory integrals. Fourier transform on S The Fourier transform is a fundamental tool in microlocal analysis and its application to the theory of PDEs and inverse problems. In this first section

More information

x λ ϕ(x)dx x λ ϕ(x)dx = xλ+1 λ + 1 ϕ(x) u = xλ+1 λ + 1 dv = ϕ (x)dx (x))dx = ϕ(x)

x λ ϕ(x)dx x λ ϕ(x)dx = xλ+1 λ + 1 ϕ(x) u = xλ+1 λ + 1 dv = ϕ (x)dx (x))dx = ϕ(x) 1. Distributions A distribution is a linear functional L : D R (or C) where D = C c (R n ) which is linear and continuous. 1.1. Topology on D. Let K R n be a compact set. Define D K := {f D : f outside

More information

What can you really measure? (Realistically) How to differentiate nondifferentiable functions?

What can you really measure? (Realistically) How to differentiate nondifferentiable functions? I. Introduction & Motivation I.1. Physical motivation. What can you really measure? (Realistically) T (x) vs. T (x)ϕ(x) dx. I.2. Mathematical motivation. How to differentiate nondifferentiable functions?

More information

2 Lebesgue integration

2 Lebesgue integration 2 Lebesgue integration 1. Let (, A, µ) be a measure space. We will always assume that µ is complete, otherwise we first take its completion. The example to have in mind is the Lebesgue measure on R n,

More information

Oblique derivative problems for elliptic and parabolic equations, Lecture II

Oblique derivative problems for elliptic and parabolic equations, Lecture II of the for elliptic and parabolic equations, Lecture II Iowa State University July 22, 2011 of the 1 2 of the of the As a preliminary step in our further we now look at a special situation for elliptic.

More information

g(x) = P (y) Proof. This is true for n = 0. Assume by the inductive hypothesis that g (n) (0) = 0 for some n. Compute g (n) (h) g (n) (0)

g(x) = P (y) Proof. This is true for n = 0. Assume by the inductive hypothesis that g (n) (0) = 0 for some n. Compute g (n) (h) g (n) (0) Mollifiers and Smooth Functions We say a function f from C is C (or simply smooth) if all its derivatives to every order exist at every point of. For f : C, we say f is C if all partial derivatives to

More information

FACTORIZATION OF SECOND-ORDER STRICTLY HYPERBOLIC OPERATORS WITH LOGARITHMIC SLOW SCALE COEFFICIENTS AND GENERALIZED MICROLOCAL APPROXIMATIONS

FACTORIZATION OF SECOND-ORDER STRICTLY HYPERBOLIC OPERATORS WITH LOGARITHMIC SLOW SCALE COEFFICIENTS AND GENERALIZED MICROLOCAL APPROXIMATIONS Electronic Journal of Differential Equations, Vol. 28 28, No. 42, pp. 49. ISSN: 72-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu FACTORIZATION OF SECOND-ORDER STRICTLY HYPERBOLIC OPERATORS

More information

MATH FALL 2014

MATH FALL 2014 MATH 126 - FALL 2014 JASON MURPHY Abstract. These notes are meant to supplement the lectures for Math 126 (Introduction to PDE) in the Fall of 2014 at the University of California, Berkeley. Contents 1.

More information

CONVERGENCE THEORY. G. ALLAIRE CMAP, Ecole Polytechnique. 1. Maximum principle. 2. Oscillating test function. 3. Two-scale convergence

CONVERGENCE THEORY. G. ALLAIRE CMAP, Ecole Polytechnique. 1. Maximum principle. 2. Oscillating test function. 3. Two-scale convergence 1 CONVERGENCE THEOR G. ALLAIRE CMAP, Ecole Polytechnique 1. Maximum principle 2. Oscillating test function 3. Two-scale convergence 4. Application to homogenization 5. General theory H-convergence) 6.

More information

The Dirichlet boundary problems for second order parabolic operators satisfying a Carleson condition

The Dirichlet boundary problems for second order parabolic operators satisfying a Carleson condition The Dirichlet boundary problems for second order parabolic operators satisfying a Carleson condition Sukjung Hwang CMAC, Yonsei University Collaboration with M. Dindos and M. Mitrea The 1st Meeting of

More information

Lecture Notes Math 632, PDE Spring Semester Sigmund Selberg Visiting Assistant Professor Johns Hopkins University

Lecture Notes Math 632, PDE Spring Semester Sigmund Selberg Visiting Assistant Professor Johns Hopkins University Lecture Notes Math 63, PDE Spring Semester 1 Sigmund Selberg Visiting Assistant Professor Johns Hopkins University CHAPTER 1 The basics We consider the equation 1.1. The wave equation on R 1+n u =, where

More information

THEOREMS, ETC., FOR MATH 515

THEOREMS, ETC., FOR MATH 515 THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every

More information

Stability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games

Stability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games Stability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games Alberto Bressan ) and Khai T. Nguyen ) *) Department of Mathematics, Penn State University **) Department of Mathematics,

More information

LECTURE 3: SMOOTH FUNCTIONS

LECTURE 3: SMOOTH FUNCTIONS LECTURE 3: SMOOTH FUNCTIONS Let M be a smooth manifold. 1. Smooth Functions Definition 1.1. We say a function f : M R is smooth if for any chart {ϕ α, U α, V α } in A that defines the smooth structure

More information

A collocation method for solving some integral equations in distributions

A collocation method for solving some integral equations in distributions A collocation method for solving some integral equations in distributions Sapto W. Indratno Department of Mathematics Kansas State University, Manhattan, KS 66506-2602, USA sapto@math.ksu.edu A G Ramm

More information

Bernstein s inequality and Nikolsky s inequality for R d

Bernstein s inequality and Nikolsky s inequality for R d Bernstein s inequality and Nikolsky s inequality for d Jordan Bell jordan.bell@gmail.com Department of athematics University of Toronto February 6 25 Complex Borel measures and the Fourier transform Let

More information

Lecture 4: Fourier Transforms.

Lecture 4: Fourier Transforms. 1 Definition. Lecture 4: Fourier Transforms. We now come to Fourier transforms, which we give in the form of a definition. First we define the spaces L 1 () and L 2 (). Definition 1.1 The space L 1 ()

More information

INTEGRATION OF FORMS. 3.1 Introduction. This is page 105 Printer: Opaque this CHAPTER 3

INTEGRATION OF FORMS. 3.1 Introduction. This is page 105 Printer: Opaque this CHAPTER 3 This is page 105 Printer: Opaque this CHAPTER 3 INTEGRATION OF FORMS 3.1 Introduction The change of variables formula asserts that if U and V are open subsets of R n and f : U V a C 1 diffeomorphism then,

More information

THE INVERSE FUNCTION THEOREM

THE INVERSE FUNCTION THEOREM THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)

More information

Dynamics of Propagation and Interaction of Delta-Shock Waves in Conservation Law Systems

Dynamics of Propagation and Interaction of Delta-Shock Waves in Conservation Law Systems Dynamics of Propagation and Interaction of Delta-Shock Waves in Conservation Law Systems V. G. Danilov and V. M. Shelkovich Abstract. We introduce a new definition of a δ-shock wave type solution for a

More information

New Class of duality models in discrete minmax fractional programming based on second-order univexities

New Class of duality models in discrete minmax fractional programming based on second-order univexities STATISTICS, OPTIMIZATION AND INFORMATION COMPUTING Stat., Optim. Inf. Comput., Vol. 5, September 017, pp 6 77. Published online in International Academic Press www.iapress.org) New Class of duality models

More information

MATH 411 NOTES (UNDER CONSTRUCTION)

MATH 411 NOTES (UNDER CONSTRUCTION) MATH 411 NOTES (NDE CONSTCTION 1. Notes on compact sets. This is similar to ideas you learned in Math 410, except open sets had not yet been defined. Definition 1.1. K n is compact if for every covering

More information

Notes on Distributions

Notes on Distributions Notes on Distributions Functional Analysis 1 Locally Convex Spaces Definition 1. A vector space (over R or C) is said to be a topological vector space (TVS) if it is a Hausdorff topological space and the

More information

1.5 Approximate Identities

1.5 Approximate Identities 38 1 The Fourier Transform on L 1 (R) which are dense subspaces of L p (R). On these domains, P : D P L p (R) and M : D M L p (R). Show, however, that P and M are unbounded even when restricted to these

More information

Dangerous and Illegal Operations in Calculus Do we avoid differentiating discontinuous functions because it s impossible, unwise, or simply out of

Dangerous and Illegal Operations in Calculus Do we avoid differentiating discontinuous functions because it s impossible, unwise, or simply out of Dangerous and Illegal Operations in Calculus Do we avoid differentiating discontinuous functions because it s impossible, unwise, or simply out of ignorance and fear? Despite the risks, many natural phenomena

More information

We have to prove now that (3.38) defines an orthonormal wavelet. It belongs to W 0 by Lemma and (3.55) with j = 1. We can write any f W 1 as

We have to prove now that (3.38) defines an orthonormal wavelet. It belongs to W 0 by Lemma and (3.55) with j = 1. We can write any f W 1 as 88 CHAPTER 3. WAVELETS AND APPLICATIONS We have to prove now that (3.38) defines an orthonormal wavelet. It belongs to W 0 by Lemma 3..7 and (3.55) with j =. We can write any f W as (3.58) f(ξ) = p(2ξ)ν(2ξ)

More information

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure? MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable

More information

LECTURE 5: THE METHOD OF STATIONARY PHASE

LECTURE 5: THE METHOD OF STATIONARY PHASE LECTURE 5: THE METHOD OF STATIONARY PHASE Some notions.. A crash course on Fourier transform For j =,, n, j = x j. D j = i j. For any multi-index α = (α,, α n ) N n. α = α + + α n. α! = α! α n!. x α =

More information

Harmonic Functions and Brownian motion

Harmonic Functions and Brownian motion Harmonic Functions and Brownian motion Steven P. Lalley April 25, 211 1 Dynkin s Formula Denote by W t = (W 1 t, W 2 t,..., W d t ) a standard d dimensional Wiener process on (Ω, F, P ), and let F = (F

More information

s P = f(ξ n )(x i x i 1 ). i=1

s P = f(ξ n )(x i x i 1 ). i=1 Compactness and total boundedness via nets The aim of this chapter is to define the notion of a net (generalized sequence) and to characterize compactness and total boundedness by this important topological

More information

Bochner s Theorem on the Fourier Transform on R

Bochner s Theorem on the Fourier Transform on R Bochner s heorem on the Fourier ransform on Yitao Lei October 203 Introduction ypically, the Fourier transformation sends suitable functions on to functions on. his can be defined on the space L ) + L

More information

Chapter 2. Metric Spaces. 2.1 Metric Spaces

Chapter 2. Metric Spaces. 2.1 Metric Spaces Chapter 2 Metric Spaces ddddddddddddddddddddddddd ddddddd dd ddd A metric space is a mathematical object in which the distance between two points is meaningful. Metric spaces constitute an important class

More information

The Colombeau theory of generalized functions

The Colombeau theory of generalized functions The Colombeau theory of generalized functions Tạ Ngọc Trí Mathematics Master thesis specialized in Analysis 1 supervised by Prof. Dr. Tom H. Koornwinder KdV Institute, Faculty of Science University of

More information

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem 56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi

More information

Homogenization of Random Multilevel Junction

Homogenization of Random Multilevel Junction Homogenization of Random Multilevel Junction G.A.Chechkin, T.P.Chechkina Moscow Lomonosov State University & Narvik University College and Moscow Engineering Physical Institute (State University, This

More information

A NEW PROOF OF THE ATOMIC DECOMPOSITION OF HARDY SPACES

A NEW PROOF OF THE ATOMIC DECOMPOSITION OF HARDY SPACES A NEW PROOF OF THE ATOMIC DECOMPOSITION OF HARDY SPACES S. DEKEL, G. KERKYACHARIAN, G. KYRIAZIS, AND P. PETRUSHEV Abstract. A new proof is given of the atomic decomposition of Hardy spaces H p, 0 < p 1,

More information

Reflected Brownian Motion

Reflected Brownian Motion Chapter 6 Reflected Brownian Motion Often we encounter Diffusions in regions with boundary. If the process can reach the boundary from the interior in finite time with positive probability we need to decide

More information

Commutative Banach algebras 79

Commutative Banach algebras 79 8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)

More information

V. CHOUSIONIS AND X. TOLSA

V. CHOUSIONIS AND X. TOLSA THE T THEOEM V. CHOUSIONIS AND X. TOLSA Introduction These are the notes of a short course given by X. Tolsa at the Universitat Autònoma de Barcelona between November and December of 202. The notes have

More information

The optimal partial transport problem

The optimal partial transport problem The optimal partial transport problem Alessio Figalli Abstract Given two densities f and g, we consider the problem of transporting a fraction m [0, min{ f L 1, g L 1}] of the mass of f onto g minimizing

More information

Prague, II.2. Integrability (existence of the Riemann integral) sufficient conditions... 37

Prague, II.2. Integrability (existence of the Riemann integral) sufficient conditions... 37 Mathematics II Prague, 1998 ontents Introduction.................................................................... 3 I. Functions of Several Real Variables (Stanislav Kračmar) II. I.1. Euclidean space

More information

MATH MEASURE THEORY AND FOURIER ANALYSIS. Contents

MATH MEASURE THEORY AND FOURIER ANALYSIS. Contents MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure

More information

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure? MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is

More information

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X. Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2

More information

APPLICATIONS OF DIFFERENTIABILITY IN R n.

APPLICATIONS OF DIFFERENTIABILITY IN R n. APPLICATIONS OF DIFFERENTIABILITY IN R n. MATANIA BEN-ARTZI April 2015 Functions here are defined on a subset T R n and take values in R m, where m can be smaller, equal or greater than n. The (open) ball

More information

Partial Differential Equations 2 Variational Methods

Partial Differential Equations 2 Variational Methods Partial Differential Equations 2 Variational Methods Martin Brokate Contents 1 Variational Methods: Some Basics 1 2 Sobolev Spaces: Definition 9 3 Elliptic Boundary Value Problems 2 4 Boundary Conditions,

More information

2. Dual space is essential for the concept of gradient which, in turn, leads to the variational analysis of Lagrange multipliers.

2. Dual space is essential for the concept of gradient which, in turn, leads to the variational analysis of Lagrange multipliers. Chapter 3 Duality in Banach Space Modern optimization theory largely centers around the interplay of a normed vector space and its corresponding dual. The notion of duality is important for the following

More information

Sobolev Spaces and Applications. T. Muthukumar

Sobolev Spaces and Applications. T. Muthukumar Sobolev Spaces and Applications T. Muthukumar tmk@iitk.ac.in April 22, 2016 ii Contents Notations vii 1 Theory of Distributions 1 1.1 History............................... 1 1.2 Motivation.............................

More information

Homework I, Solutions

Homework I, Solutions Homework I, Solutions I: (15 points) Exercise on lower semi-continuity: Let X be a normed space and f : X R be a function. We say that f is lower semi - continuous at x 0 if for every ε > 0 there exists

More information

UNIVERSITY OF MANITOBA

UNIVERSITY OF MANITOBA Question Points Score INSTRUCTIONS TO STUDENTS: This is a 6 hour examination. No extra time will be given. No texts, notes, or other aids are permitted. There are no calculators, cellphones or electronic

More information

MINIMAL DEGREE UNIVARIATE PIECEWISE POLYNOMIALS WITH PRESCRIBED SOBOLEV REGULARITY

MINIMAL DEGREE UNIVARIATE PIECEWISE POLYNOMIALS WITH PRESCRIBED SOBOLEV REGULARITY MINIMAL DEGREE UNIVARIATE PIECEWISE POLYNOMIALS WITH PRESCRIBED SOBOLEV REGULARITY Amal Al-Rashdan & Michael J. Johnson* Department of Mathematics Kuwait University P.O. Box: 5969 Safat 136 Kuwait yohnson1963@hotmail.com*

More information

Partial differential equation for temperature u(x, t) in a heat conducting insulated rod along the x-axis is given by the Heat equation:

Partial differential equation for temperature u(x, t) in a heat conducting insulated rod along the x-axis is given by the Heat equation: Chapter 7 Heat Equation Partial differential equation for temperature u(x, t) in a heat conducting insulated rod along the x-axis is given by the Heat equation: u t = ku x x, x, t > (7.1) Here k is a constant

More information

Math The Laplacian. 1 Green s Identities, Fundamental Solution

Math The Laplacian. 1 Green s Identities, Fundamental Solution Math. 209 The Laplacian Green s Identities, Fundamental Solution Let be a bounded open set in R n, n 2, with smooth boundary. The fact that the boundary is smooth means that at each point x the external

More information