PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] $T_f$ is a distribution of zeroth order (Proof)

To check that $T_f$ is a distribution of zeroth order, we shall use condition (3) on this page. First, it is clear that $T_f$ is a linear mapping. To see that $T_f$ is continuous, suppose $K$ is a compact set in $U$ and $u\in \cD_K$ , i.e., $u$ is a smooth function with support in $K$ . We then have \begin{eqnarray*} |T_f(u)| &=& |\int_K f(x) u(x) dx |\\ &\le& \int_K |f(x)| \,\, |u(x)| dx \\ &\le& \int_K |f(x)| dx \, ||u||_\infty. \end{eqnarray*}Since $f$ is locally integrable, it follows that $C=\int_K |f(x)| dx$ is finite, so $$ |T_f(u)| \le C ||u||_\infty.$$ Thus $f$ is a distribution of zeroth order ([1], pp. 381). $ \Box$

References

1
S. Lang, Analysis II, Addison-Wesley Publishing Company Inc., 1969.




"$T_f$ is a distribution of zeroth order" is owned by Koro. [ owner history (1) ]
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: order, distribution, finite, support, smooth function, compact set, continuous, linear mapping, clear
There is 1 reference to this entry.

This is version 3 of $T_f$ is a distribution of zeroth order, born on 2003-07-09, modified 2003-12-20.
Object id is 4434, canonical name is T_fIsADistributionOfZerothOrder.
Accessed 2296 times total.

Classification:
AMS MSC46F05 (Functional analysis :: Distributions, generalized functions, distribution spaces :: Topological linear spaces of test functions, distributions and ultradistributions)
 46-00 (Functional analysis :: General reference works )

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)