1: \LaTeXparent{nga4.tex}
2:
3: \section{The Wick product \label{Wick}}
4:
5: In Gaussian Analysis it has been shown that $({\cal N})_{\gamma _{{\cal H}%
6: }}^{-1}$ (and other distribution spaces) is closed under so called Wick
7: multiplication (see \cite{KLS94} and \cite{BeS95,Ok94,Va95} for
8: applications). This concept has a natural generalization to the present
9: setting.
10:
11: \begin{definition}
12: \ Let $\Phi ,\Psi \in $ $({\cal N})_\mu ^{-1}$. Then we define the Wick
13: product $\Phi \diamond \Psi $by
14: $$
15: S_\mu (\Phi \diamond \Psi )=S_\mu \Phi \cdot S_\mu \Psi \ .
16: $$
17: \end{definition}
18:
19: This is well defined because ${\rm Hol}_0({\cal N}_{\Ckl })$ is an algebra
20: and thus by the characterization Theorem \ref{CharTh} there exists an
21: element $\Phi \diamond \Psi \in ({\cal N})_\mu ^{-1}$ such that $S_\mu (\Phi
22: \diamond \Psi )=S_\mu \Phi \cdot S_\mu \Psi $.
23:
24: By definition we have
25: $$
26: Q_n^\mu (\Phi ^{(n)})\diamond Q_m^\mu (\Psi ^{(m)})=Q_{n+m}^\mu (\Phi
27: ^{(n)}\hat \otimes \Psi ^{(m)})\text{ ,}
28: $$
29: $\Phi ^{(n)}\in ({\cal N}_{\Ckl }^{\hat \otimes n})^{\prime }$ and $\Psi
30: ^{(m)}\in ({\cal N}_{\Ckl }^{\hat \otimes m})^{\prime }$. So in terms of $%
31: \Q
32: $--decompositions $\Phi =\sum_{n=0}^\infty Q_n^\mu (\Phi ^{(n)})$ and $\Psi
33: =\sum_{n=0}^\infty Q_n^\mu (\Psi ^{(n)})$ the Wick product is given by
34: $$
35: \Phi \diamond \Psi =\sum_{n=0}^\infty Q_n^\mu (\Xi ^{(n)})
36: $$
37: where%
38: $$
39: \Xi ^{(n)}=\sum_{k=0}^n\Phi ^{(k)}\hat \otimes \Psi ^{(n-k)}
40: $$
41: This allows for concrete norm estimates.
42:
43: \begin{proposition}
44: The Wick product is continuous on $({\cal N})_\mu ^{-1}$. In particular the
45: following estimate holds for $\Phi \in ({\cal H}_{-p_1})_{-q_1,\mu }^{-1}\
46: ,\ \Psi \in ({\cal H}_{-q_2})_{-q_2}^{-1}$ and $p=\max (p_1,p_2),\
47: q=q_1+q_2+1$
48: $$
49: \left\| \Phi \diamond \Psi \right\| _{-p,-q,\mu }=\left\| \Phi \right\|
50: _{-p_1,-q_1,\mu }\left\| \Psi \right\| _{-p_2,-q_2,\mu }\text{ .}
51: $$
52: \end{proposition}
53:
54: \TeXButton{Proof}{\proof}We can estimate as follows%
55: \begin{eqnarray*}
56: \left\| \Phi \diamond \Psi \right\| _{-p,-q,\mu }^2 %
57: &=& \sum_{n=0}^\infty 2^{-nq}\left| \Xi ^{(n)}\right| _{-p}^2 %
58: \\&=& \sum_{n=0}^\infty 2^{-nq}\left( \sum_{k=0}^n\left| \Phi ^{(k)}\right| %
59: _{-p}\left| \Psi ^{(n-k)}\right| _{-p}\right) ^2 %
60: \\& \leq & \sum_{n=0}^\infty 2^{-nq}\,(n+1)\sum_{k=0}^n\left| \Phi ^{(k)} %
61: \right| _{-p}^2\left| \Psi ^{(n-k)}\right| _{-p}^2 %
62: \\& \leq & \sum_{n=0}^\infty \sum_{k=0}^n2^{-nq_1}\left| \Phi ^{(n)}\right| %
63: _{-p}^22^{-nq_2}\left| \Psi ^{(n-k)}\right| _{-p}^2 %
64: \\& \leq & \left( \sum_{n=0}^\infty 2^{-nq_1}\left| \Phi ^{(k)}\right| %
65: _{-p_1}^2\right) \left( \sum_{n=0}^\infty 2^{-nq_2}\left| \Psi ^{(n)}\right| %
66: _{-p_2}^2\right) %
67: \\&=& \left\| \Phi \right\| _{-p_1,-q_1,\mu }^2\left\| \Psi \right\|%
68: _{-p_2,-q_2,\mu }^2\text{ .}
69: \end{eqnarray*}
70: \TeXButton{End Proof}{\endproof}\bigskip\
71:
72: Similar to the Gaussian case the special properties of the space $({\cal N}%
73: )_\mu ^{-1}$ allow the definition of {\it Wick analytic functions }under
74: very general assumptions. This has proven to be of some relevance to solve
75: equations e.g., of the type $\Phi \diamond X=\Psi $ for $X\in ({\cal N})_\mu
76: ^{-1}$ . See \cite{KLS94} for the Gaussian case.
77:
78: \begin{theorem}
79: Let $F:\C \rightarrow \C $ be analytic in a neighborhood of the point $z_0=%
80: \E _\mu (\Phi )\ ,\ \Phi \in ({\cal N})_\mu ^{-1}$. Then $F^{\diamond }(\Phi
81: )$ defined by $S_\mu (F^{\diamond }(\Phi ))=F(S_\mu \Phi )$ exists in $(%
82: {\cal N})^{-1}$ .
83: \end{theorem}
84:
85: \TeXButton{Proof}{\proof}By the characterization Theorem \ref{CharTh} $S_\mu
86: \Phi \in {\rm Hol}_0({\cal N}_{\Ckl })$. Then $F(S_\mu \Phi )\in {\rm Hol}_0(%
87: {\cal N}_{\Ckl })$ since the composition of two analytic functions is also
88: analytic. Again by characterization Theorem we find $F^{\diamond }(\Phi )\in
89: ({\cal N})_\mu ^{-1}.$\TeXButton{End Proof}{\endproof}\bigskip\
90:
91: \TeXButton{Remark }{\remark } If $F(z)=\sum_{n=0}^\infty a_k(z-z_0)^n$ then
92: the {\it Wick series} $\sum_{n=0}^\infty a_k(\Phi -z_0)^{\diamond n}$ (where
93: $\Psi ^{\diamond n}=\Psi \diamond \ldots \diamond \Psi $ n-times converges
94: in $({\cal N})^{-1}$ and $F^{\diamond }(\Phi )=\sum_{n=0}^\infty a_k(\Phi
95: -z_0)^{\diamond n}$ holds.\bigskip\
96:
97: \example The above mentioned equation $\Phi \diamond X=\Psi $ can be solved
98: if $\E _\mu (\Phi )=S_\mu \Phi (0)\neq 0$. That implies $(S_\mu \Phi
99: )^{-1}\in {\rm Hol}_0({\cal N}_{\Ckl })$. Thus $\Phi ^{\diamond (-1)}=S_\mu
100: ^{-1}\left( (S_\mu \Phi )^{-1}\right) \in ({\cal N})_\mu ^{-1}$. Then $%
101: X=\Phi ^{\diamond (-1)}\diamond \Psi $ is the solution in $({\cal N})_\mu
102: ^{-1}$. For more instructive examples we refer the reader to \cite{KLS94}.
103: