An element $f$ of the space $H'(\Omega)$, the dual of the space $H(\Omega)$ of analytic functions defined on an open subset $\Omega$ of $\mathbf C^n$, i.e. a functional on $H(\Omega)$. Thus, a distribution with compact support is an analytic functional. There exists a compact set $K\subset\Omega$, said to be the support of the analytic functional $f$, on which $f$ is concentrated: For any open set $\omega\supset K$ the functional $f$ can be extended to $H(\omega)$ so that for all $u\in H(\Omega)$ the following inequality is valid:
where $C_\omega$ is a constant depending on $\omega$. There exists a measure $\mu$ with support in $K$ such that
An analytic functional is defined in a similar manner on a space of real-valued functions.
For applications to partial differential equations, see [a1].
|[a1]||L. Ehrenpreis, "Fourier analysis in several complex variables" , Wiley (Interscience) (1970)|
|[a2]||L. Hörmander, "An introduction to complex analysis in several variables" , North-Holland (1973) pp. Sect. 4.5|
Analytic functional. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Analytic_functional&oldid=32972