Generalized Functions: Homework 1

Generalized Functions: Homework 1

Generalized Functions: Homework 1 Exercise 1. Prove that there exists a function f Cc∞(R) which isn’t the zero function. ∈ Solution: Consider the function: 1 e x x > 0 g = − 0 x 0 ( ≤ 1 We claim that g C∞(R). Indeed, all of the derivatives of e− x are vanishing when x 0: ∈ n → d 1 1 lim e− x = lim q(x) e− x = 0 x 0 n x 0 → dx → ∙ where q(x) is a rational function of x. The function f = g(x) g(1 x) is smooth, as a multiplication of two smooth functions, has compact support∙ − (the interval 1 1 [0, 1]), and is non-zero (f 2 = e ). Exercise 2. Find a sequence of functions fn n Z (when fn Cc∞ (R) n) that weakly converges to Dirac Delta function.{ } ∈ ∈ ∀ Solution: Consider the sequence of function: ˜ 1 1 fn = g x g + x C∞(R) n − ∙ n ∈ c where g(x) Cc∞(R) is the function defined in the first question. Notice that ∈ 1 1 the support of fn is the interval n , n . Normalizing these functions so that the integral will be equal to 1 we get:− 1 ∞ − f = d(n)f˜ , d(n) = f˜ (x)dx n n n Z −∞ For every test function F (x) C∞(R), we can write F (x) = F (0) + x G(x), ∈ c ∙ where G(x) C∞(R). Therefore we have: ∈ c 1/n ∞ F (x) f (x)dx = F (x) f (x)dx ∙ n ∙ n Z 1Z/n −∞ − 1/n 1/n = F (0) f (x)dx + xG(x) f (x)dx ∙ n ∙ n 1Z/n 1Z/n − − 1/n = F (0) + xG(x) f (x)dx ∙ n 1Z/n − 1 1/n ∞ ∞ So F (x) fn(x)dx F (x) δ(x)dx = 1/n xG(x) fn(x)dx. Notice that −∞ ∙ − −∞ ∙ − ∙ G(x) is bounded by some M R and thus we get: R R ∈ R 1/n 1/n xG(x) fn(x)dx xG(x) fn(x) dx ∙ ≤ | ∙ | 1Z/n 1Z/n − − 1/n 1 M f (x)dx ≤ n ∙ n 1Z/n − M = 0 n n −→→∞ Therefore, the sequence of functions fn weakly converges to Dirac Delta func- tion. 1 Exercise 3. Find a function F L for which F 0 = δ. ∈ loc Solution: Consider Heaviside step function: 1 x 0 Θ = ≥ (0 x < 0 and let ξ be the functional defined by Θ. Then for every test function ϕ Θ ∈ Cc∞ (R): ∞ ξ0 (ϕ) = ξ (ϕ0) = ϕ0(x) Θ(x)dx Θ − Θ − ∙ Z −∞ ∞ = ϕ0(x)dx = lim ϕ(x) ϕ(0) x − − →∞ − Z0 = ϕ(0) = δ(ϕ) Therefore, as distributions, Θ0 = δ. Exercise 4. 1. Let U1,U2 be open subsets of R. Show that if ξ U1 ξ U2 0 | ≡ | ≡ then ξ U U 0. | 1∪ 2 ≡ 2. Show this also holds for any union of such open Ui i I . { } ∈ Solution: 1. We define a smooth step function: tan πx e− ( 2 ) e− 1 x 1 − ≤ ≤ s(x) = 1 1 < x 0 x < 1 − 2 and use it to write f Cc∞ (R) , supp(f) = U1 U2, as a sum f1 + f2 ∈ ∪ 1 where supp(fi) = Ui. Notice that s(nx) is a step of width 2n . Suppose Ui = (ai, bi) are open intervals (in case Ui are finite union of open intervals the generalization is obvious; the case of infinite union is a result of section (b) of this question). If U1 U2 = then fi = f Ui . Otherwise, one of the edges of U is in the interior∩ of U ,∅ wlog a (a| , b ). Then: 1 2 1 ∈ 2 2 1 1 f f s (n (x a )) , < (b a ) 1 ≡ ∙ − 1 2n 2 2 − 1 and then take f = f f . Notice that supp (f ) U , since we chose n 2 − 1 2 ⊂ 2 properly. Now, ξ(f) = ξ (f1) + ξ (f2) = 0, i.e. ξ U U = 0. | 1∪ 2 2. Notice that we are only interested in Ui i I supp (f). In addition we { } ∈ ∩ can assume Ui are open intervals (by splitting Ui to its components). The union Ui i I covers supp (f), which is compact, and therefore there is a finite{ sub-cover} ∈ U n . So it is enough to present f as a sum n f { ij }j=1 j=1 j where supp (f ) = U . This we do as in the previous section. j ij P Exercise 5. Find all the generalized functions ξ Cc−∞ (R) for which supp(ξ) = 0 . ∈ { } Solution: For every f Cc∞ (R), supp (f) is compact, and therefore, if 0 / supp (f) there exists a neighborhood∈ of 0 in which f = 0. Therefore, for every∈ n, supp δ(n) = 0 , and thus every generalized function of the form ξ = { } n c δ(i) where c , has zero support. Now, suppose ξ C , supp (ξ) = i=1 i i R −∞ 0 , then by definition,∈ ξ = 0. Clearly this means∈ that ξ = Cc∞( 0 ) C ( 0 ) { } | R\{ } | c∞ R P (n) \{ } 0. For every f C∞ (R) such that n, f (0) = 0, we can define a sequence ∈ c ∀ fn(x) = w(nx) f(x), where wn(x) = 1 s (2nx + 3) s (3 2nx) is a smooth ∙ − ∙ − 2 1 symmetric “flat bump” function, that goes down from 1 to 0in n , n and 1 2 − − up again in , . Notice that fn Cc∞ (R 0 ), and that fn f n n n ∈ \{ } −→→∞ ∈ (k) (k) C∞ (R 0 ), since at x = 0, k, fn (x) = f (x) = 0, and for x = 0, fn f c \{ } ∀ 6 ≡ in a neighborhood of x for n large enough. Define ψ : Cc∞ (R) R∞ to be the vector of derivatives at zero: → (n) ψ(f) = (f(0), f 0(0), .., f (0), ...) R∞ ∈ ˜ Clearly ψ is linear, and ξ ker ψ = 0. Thus there exists a quotient map ξ : L R | → such that ξ = ξ˜ ψ. ◦ ψ Cc∞ (R) L R∞ −→ξ ξ˜ ⊂ & ↓ R From this we can conclude that ξ(f) must be a linear function, depending only on the derivatives of f at zero. Now notice that regarding the product topology 3 on R∞, the map ψ is continuous (wrt the topology we defined on Cc∞ (R), generated by the balls b = f : f (k)(x) g(k)(x) < ε ): k,g,ε − 1 1 n ψ− (U) = ψ− (U1 ... Un R∞) = Vi × × × ∩i=1 where Vi are unions of balls bi,g,ε and thus are open. So with respect to the product topology ψ is indeed continuous, and it is easy to see that if we would “allow” infinite product of opens to be open in R∞, then we would get above infinite intersection of open sets which is in general not open. Now, for anopen V C∞ (R), V = k,g,εbk,g,ε: ∈ c ∪ ψ (V ) = ψ ( k,g,εbk,g,ε) = k,g,εψ (bk,g,ε) = k,g,εR .. R Uk,g,ε R∞ ∪ ∪ ∪ × × × × k 1 − where U = f (k)(0) : f (k)(x) g(k)(x) < ε = | f (k{z)(0) :} f (k)(0) g(k)(0) < ε . k,g, − − The last equality holds since for every element f (k)(0) in the RHS, we can define k f˜(x) = g(x) + x f (k)(0) g(k)(0) so: k! − f˜(k)(x) g(k)(x) = g(k)(x) + f (k)(0) g(k)(0) g(k)(x) − − − = f (k)(0) g(k)(0) < ε − (since f (k)(0) is an element of the RHS). Therefore, f (k)(0) = f˜(k)(0) is an ele- ment of the LHS. Now, the set f (k)(0) : f (k)(0) g(k)(0) < ε is clearly open − in R, and thus ψ(V ) is open in R∞, and ψ is an open map. Notice that ξ is con- tinuous wrt to the mentioned topology on Cc∞ (R), and the usual topology on R, and ψ is open (and continuous). Therefore ξ˜ is also continuous with respect to the product topology on R∞ and the usual topology on R, and would not be continuous wrt a finer topology on R∞. Notice that since L is dense in R∞, ˜ ˜ we can extend ξ continuously to a function from R∞ (from now on we regard ξ (n) as a map from R∞ to R). From this we conclude that ξ must by finite sum of δ . Exercise 6. Show that for φ C∞ (R) we get that ξ φ is a smooth function. ∈ c ∗ Solution: We consider the convolution (ξ φ)(x) = ξ φ˜ . Since φ˜ (t) = ∗ x x φ(x t) is smooth and has compact support for every x, and ξis a distribution, x ξ− φ(x) is well defined. Since φ˜ = φ(x t) is smooth with respect to x, and ∀ ∗ x − 4 ξ is a linear functional, ξ φ(x) is continuous. ∗ ˜ ˜ d ξ φx+h(t) ξ φx(t) (ξ φ)(x) = lim − dx ∗ h 0 h → φ˜ (t) φ˜ (t) = lim ξ x+h − x h 0 h ξ is linear → ! φ(x + h t) φ(x t) = lim ξ − − − h 0 h → φ(x + h t) φ(x t) = ξ lim − − − h 0 h ξ is continuous → = ξ (φ0(x t)) = ξ φ0 − ∗ This means that the function ξ φ(x) has continuous derivatives of every order (ξ φ(n)), i.e. ξ φ(x) is smooth.∗ ∗ ∗ Exercise 7. 1. Show that δ η = η. ∗ 2. Show that δ0 η = η0. ∗ 3. Show the associativity: δ0 (ξ η) = (δ0 ξ) η. ∗ ∗ ∗ ∗ 4. Show that (ξ η)0 = ξ0 η = ξ η0.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    10 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us