Elliptic Pseudo-Differential Equations and Sobolev Spaces over p-adic Fields

Let A=\{x\in\mathbb{Z}_{p}^{n}\mid\text{ord}(x_{i})\geq d,\quad i=1,\dotsc,n\}, and A^{\prime}=\{x\in\mathbb{Z}_{p}^{n}\mid\text{ord} (x_{i})<d,\text{ for some }i\}. Then \mathbb{Z}_{p}^{n} is the disjoint union of A and A^{\prime} and

i.e., Z(s,f)=\frac{1}{1-p^{-ds-n}}\int_{A^{\prime}}|f(x)|_{p}^{s}\,dx. Since A^{\prime} is compact, by applying Lemma 2, we find a covering of A^{\prime}=\cup_{i=1}^{L}B_{i}, where |f|_{p} is constant on each B_{i}. Hence,

and

Let \varphi\in\mathcal{W}, then

where c_{i}\in\mathbb{C}, r_{i}\in\mathbb{Z} (recall that \mathcal{F} (\chi_{r})=p^{-nr}\chi_{-r}). The action of |f|_{p}^{s} on \mathcal{F} \varphi can be explicitly described as follows:

but

for \text{Re}(s)>0, thus

On the other hand,

for every r_{i} \in\mathbb{Z} and \text{Re}(s)>0. Then we have

for \text{Re}(s)>0. Now Z(s,f) and \mathit{R}_{ds+n} have a meromorphic continuation to the complex plane, therefore this formula extends to \mathbb{C}. Finally, since the Fourier transform establishes a \mathbb{C}-isomorphism on \mathcal{W}, it is possible remove the Fourier transform symbol.

Let E_{\alpha} a fundamental solution for (?), then

because u and the constant function, c\ast v, are in the domain of D_{T}^{\alpha}.

The proof is based on the ideas introduced in [Z-G1]. The existence of a fundamental solution E_{\alpha} is equivalent to the existence of a distribution \mathcal{F}E_{\alpha} satisfying

as distributions. Let ||x||_{p}^{s}=\sum\limits_{m\in\mathbb{Z}} c_{m}(s+\alpha)^{m} be the Laurent expansion at -\alpha with c_{m}\in S^{\prime} for all m. The existence of this expansion is a consequence of the completeness of S^{\prime} (see e.g. [Igusa, pp. 65-66]). Since the real parts of the poles of the meromorphic continuation of ||x||_{p}^{s} are negative rational numbers (cf. Remark 1), ||x||_{p}^{s+\alpha}=||x||_{p}^{\alpha}||x||_{p}^{s} is holomorphic at s=-\alpha. Therefore, ||x||_{p}^{\alpha}c_{m}=0 for all m<0 and

By using the Lebesgue dominated convergence theorem, one verifies that

and then we can take \mathcal{F}E_{\alpha}=c_{0}. Furthermore, if -\alpha is not a pole of ||x||_{p}^{s},

To calculate c_{0}, consider the following two cases.

Case \mathbf{\alpha\neq n}.

We use (?) and the Lemma 4, i.e.,

for s\neq n+(2\pi i/\ln p) \mathbb{Z}. If \alpha\neq n, by (?),

If \alpha>n, by the Lebesgue dominated convergence theorem, we can interchange the limit and the integral. If 0<\alpha<n, by taking into account that

and by using Lebesgue dominated convergence theorem, we can exchange the limit and the integral. Therefore,

Set \overset{\sim}{\varphi}(x)=\varphi(-x), with \varphi\in S. The results follow by replacing \varphi by \mathcal{F}(\overset{\sim}{\varphi}) because \mathcal{F}\bigl(\mathcal{F}(\overset{\sim}{\varphi})\bigr)=\varphi.

Case \mathbf{\alpha= n}.

We compute the constant term, c_{0}, in the expansion

Since

where x=(x_{1},\dotsc,x_{n}), v(x):=\underset{1\leq i\leq n}{\min}v(x_{i} ), and ||x||_{p}=p^{-v(x)}, by expanding

one gets

The announced results follow by replacing \varphi by \mathcal{F} (\overset{\sim}{\varphi}), \varphi\in S, and using the fact that the fundamental solution is determined up to the addition of a constant (cf. Lemma 6).

As we mention before, the problem of the existence of a fundamental solution, E_{\alpha}, is equivalent to the existence of a distribution \mathcal{F} E_{\alpha} satisfying

By Lemma 5,

\varphi\in\mathcal{W}, s\in\mathbb{C}. The result follows by reasoning as in the proof of Theorem 1, and by the fact that the space \mathcal{W} is invariant under the Fourier transform.

Let \phi\in H^{l}. Since the Fourier transform of a function in L^{1} is uniformly continuous, it is sufficient to show that \mathcal{F}(\phi)\in L^{1}. By using the Hölder inequality and the fact that

we have

Let \phi\in S. Since f(D,\alpha) is an elliptic operator, by Lemma 1, we have that

The result follows from the fact that S is dense in H^{l+d\alpha}.

Let v\in\mathcal{S}, then v=v_{\mathcal{W}}+v_{\mathcal{L}}, where v_{\mathcal{W}}\in\mathcal{W} and v_{\mathcal{L}}\in\mathcal{L}. Thus, in order to prove the existence of a solution u, it is sufficient to show that the two following equations have solutions:

We first consider equation (Proof). By Theorem 2, u_{\mathcal{W}}=E_{\alpha}\ast v_{\mathcal{W}} is a solution of (Proof), and by Corollary 1, we have

We now recall that v_{\mathcal{W}}(\xi)=p^{rn}C\chi_{r}(\xi), with r>0. Then, \mathcal{F}(v_{\mathcal{W}})(\xi)=C\chi_{-r}(\xi) and

since -2d\alpha>-n, cf. Remark 3. Therefore u_{\mathcal{W}}\in H^{l+d\alpha}.

We now consider equation (Proof). Since

and f is elliptic,

Then,

The second integral is bounded by ||v_{\mathcal{L}}||_{H^{l}}^{2}. For the first integral, we observe that if 0<\alpha<n/2d, then

for any \varphi\in S. Therefore,

In this way, we established the existence of u\in H^{l+d\alpha} which is uniformly continuous, by Lemma 7, such that f(D,\alpha)u=v, for any v\in S. Finally, we show that u is unique. Indeed, if f(D,\alpha)u^{\prime}=v, then

and thus \mathcal{F}(u-u^{\prime})(\xi)=0 if \xi\neq0, since f is elliptic. Then \Psi(x\cdot\xi)(u-u^{\prime})(\xi)=0 almost everywhere, and a fortiori (u-u^{\prime})(\xi)=0 almost everywhere, and by the continuity of u-u^{\prime}, u(\xi)=u^{\prime}(\xi) for any \xi\in\mathbb{Q}_{p}^{n}.

Similar to the proof of Lemma 8.

By Lemma 9, the mapping is well-defined. Let v\in\mathcal{W}^{l}, and let \{v_{n}\} a Cauchy sequence in \mathcal{W} converging to v. By Theorem 2, there exits a sequence \{u_{n}\} in H^{l+d\alpha} such that f(D,\alpha)u_{n}=v_{n}. We now show that \{u_{n}\} is a Cauchy sequence in \mathcal{H}^{l+d\alpha} as follows:

Thus, there exists u\in\mathcal{H}^{l+d\alpha} such that u_{n}\rightarrow u, and by the continuity of f(D,\alpha), f(D,\alpha)u=v.

By Lemma 9, the mapping is well-defined. Let v\in\mathcal{L}^{l}, and let \{v_{n}\} a Cauchy sequence in \mathcal{L} converging to v. By the same reasoning given in proof Theorem 3 for establishing the existence of a solution for equation (Proof), we obtain a sequence \{u_{n}\} in H^{l+d\alpha} such that f(D,\alpha)u_{n}=v_{n}. We now show that \{u_{n}\} is a Cauchy sequence in \mathcal{H}^{l+d\alpha}.

By using

one gets

Thus, there exists u\in\mathcal{H}^{l+d\alpha} such that u_{n}\rightarrow u, and by the continuity of f(D,\alpha), f(D,\alpha)u=v.