ISSN: [Engida* et al., 6(4): April, 2017] Impact Factor: 4.116
|
|
- Merryl Gregory
- 5 years ago
- Views:
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.
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 informationReminder 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 informationSome 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 informationLectures 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
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 informationApplied 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 informationLaplace 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 information44 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 informationA 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 informationSobolev 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 information2 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 informationChapter 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 informationThe 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 informationTOPICS 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 informationFourier 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 informationPartial 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 information2. 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 informationMATH 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 informationContinuous 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 informationChap. 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 informationu 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 informationE. 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 informationMA651 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 informationWEYL 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 informationLINEAR 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 informationIntroduction 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 informationCourse 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 informationSome 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 informationII. 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 informationSobolev 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 informationFOURIER 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 informationu( 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 informationOn 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 informationDIEUDONNE 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 informationOn 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 information1.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 informationON 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 informationMath 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 informationELLIPTIC 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 informationDistribution 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 informationElliptic 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 informationJASSON 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 informationThe 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 informationDistributions: 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 informationNONLOCAL 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 informationGreen 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 informationQuantitative 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 informationOscillatory 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 informationx λ ϕ(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 informationWhat 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 information2 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 informationOblique 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 informationg(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 informationFACTORIZATION 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 informationMATH 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 informationCONVERGENCE 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 informationThe 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 informationLecture 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 informationTHEOREMS, 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 informationStability 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 informationLECTURE 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 informationA 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 informationBernstein 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 informationLecture 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 informationINTEGRATION 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 informationTHE 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 informationDynamics 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 informationNew 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 informationMATH 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 informationNotes 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 information1.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 informationDangerous 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 informationWe 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 information3 (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 informationLECTURE 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 informationHarmonic 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 informations 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 informationBochner 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 informationChapter 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 informationThe 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 informationLocally 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 informationHomogenization 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 informationA 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 informationReflected 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 informationCommutative 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 informationV. 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 informationThe 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 informationPrague, 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 informationMATH 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 information2 (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 informationB 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 informationAPPLICATIONS 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 informationPartial 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 information2. 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 informationSobolev 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 informationHomework 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 informationUNIVERSITY 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 informationMINIMAL 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 informationPartial 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 informationMath 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