next up previous contents
Next: Case 1 Up: Symbols and Traces Previous: Classical pseudodifferential operators   Contents

Homogeneity of distributions

We now wish to pass from the symbol $p$ of a classical $\Psi DO$, with a given symbol expansion

\begin{displaymath}
p(x,\xi) = \sum_{j=0}^{N-1} p_{d-j}(x,\xi) + r_N(x,\xi), \quad
r_N \in S^d(U).
\end{displaymath}

to the operator kernel ([*]), by taking an inverse Fourier transform. However, the terms in this expansion may give divergent integrals when $y = x$. Therefore, we first need to look more closely at the inverse Fourier transforms of negative powers of $\vert\xi\vert$.

Assume that $n \geq 2$, for the rest of this section.


\begin{defn}
Let $\la \in \bR$. A function $\phi\: \bR^n \setminus \{0\} \to \bC...
...
$\phi(\xi) = r^\la \psi(\om)$ for some $\psi\: \bS^{n-1} \to \bC$.
\end{defn}

We can extend this definition to (tempered) distributions on $\bR^n$. Write $\phi_t$ for the dilation of $\phi$ by the scale factor $t$, that is, $\phi_t(\xi) := \phi(t\xi)$, so that the $\la$-homogeneity condition can be written as $\phi_t = t^\la \phi$ for $t > 0$.

The change-of variables formula for functions,

\begin{displaymath}
\int_{\bR^n} u(t\xi)  \phi(\xi)  d^n\xi =
\int_{\bR^n} t^{-n}  u(\eta)  \phi(\eta/t)  d^n\eta,
\end{displaymath}

suggests the following definition of homogeneity.


\begin{defn}
Let $u \in \sS'(\bR^n)$ be a temepered distribution on $\bR^n$. Fo...
...neous of degree \boldmath$\la$} if
$u_t = t^\la u$ for all $t > 0$.
\end{defn}


\begin{example}
The Dirac $\dl$ is homogeneous of degree $-n$, since for all
$\...
...}(0) = t^{-n} \phi(0) = t^{-n} \dst{\dl}{\phi}.
\end{displaymath}\end{example}

Suppose now that $u$ is a smooth function on $\bR^n \setminus \{0\}$, such that

\begin{displaymath}
u(\xi) = r^\la  v(\om),
\words{for} \xi = r\om, r = \vert\xi\vert > 0, \om \in \bS^{n-1}.
\end{displaymath}

We would like to extend it to a (tempered) distribution on the whole $\bR^n$. There are several cases to consider.



Subsections
next up previous contents
Next: Case 1 Up: Symbols and Traces Previous: Classical pseudodifferential operators   Contents
Pawel Witkowski 2006-03-14