Proving the Continuity and Derivative of Distributions: A Scientific Approach

Click For Summary

Homework Help Overview

The discussion revolves around proving properties related to the continuity and derivative of distributions, specifically within the context of test functions and their derivatives. The original poster seeks to establish that the sum of test functions remains within the space of test functions and to demonstrate the derivative of a distribution defined by a continuous function multiplied by the Heaviside function.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss the definitions of test functions and the derivative of distributions, emphasizing the need for precise statements. There is an exploration of the properties of test functions and their behavior under addition and scalar multiplication. The original poster attempts to relate the derivative of a distribution to its components using the product rule.

Discussion Status

The discussion is ongoing, with participants providing definitions and exploring the implications of the properties of test functions. Some guidance has been offered regarding the definitions needed for clarity, and there is an active engagement with the mathematical reasoning behind the proofs being sought.

Contextual Notes

There is an emphasis on the need for precise definitions and the exploration of continuity and derivatives within the framework of distributions. The discussion also touches on the assumptions regarding the smoothness and support of test functions.

squenshl
Messages
468
Reaction score
4

Homework Statement


How do I prove that if [tex]\phi[/tex]1, [tex]\phi[/tex]2 [tex]\in[/tex] D (D is the space of test functions), then [tex]\phi[/tex]1 + [tex]\lambda[/tex][tex]\phi[/tex]2 [tex]\in[/tex] D, ([tex]\lambda[/tex] [tex]\in[/tex] R) also if f is continuous show that the derivative of the distribution defined by f(x)H(x) is f'(x)H(x) + f(0)[tex]\delta[/tex](x).

Homework Equations


The Attempt at a Solution


For the first proof is it just the same as proving something is a subspace.
 
Physics news on Phys.org


First: state exactly the definition of the space of test functions.
Second: state exactly the definition of the derivative of the distribution.

Use both definitions. But they must be written precisely.
 


D is the space of test functions which consists of all possible smooth functions on R with contact support, so since [tex]\phi[/tex] is smooth with contact support, then the addition of [tex]\phi[/tex]1 & [tex]\phi[/tex]2 must be as well ([tex]\lambda[/tex] is just a real number).
 


If t is a distribution, then the derivative is defined as:
for every [tex]\phi[/tex] [tex]\in[/tex] D, < t' , [tex]\phi[/tex] > = < t , -[tex]\phi[/tex]' > = -< t , [tex]\phi[/tex]' >.
 


Then the trick goes like this:<[tex]\phi[/tex],(fH)'>=-<[tex]\phi[/tex]',fH>=-<f[tex]\phi[/tex]',H>=
-<(f[tex]\phi[/tex])'-f'[tex]\phi[/tex],H>=<f[tex]\phi[/tex],H'>+<[tex]\phi[/tex],f'H>=
<[tex]\phi[/tex],f'H>+<f[tex]\phi[/tex],[tex]\delta[/tex]>=...
 
Last edited:


It's just using the product rule & the fact that H' = [tex]\phi[/tex](0), thanks heaps.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
6
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
7
Views
2K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K