Proving test functions form a subspace and finding the derivative of fH(x)

Join the discussion
Registration is free. Start your own thread to ask a follow-up.
5 replies · 2K views
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.