Abstract
Recently theory of p-adic wavelets started to be actively used to study of the Cauchy problem for nonlinear pseudo-differential equations for functions depending on the real time and p-adic spatial variable. These mathematical studies were motivated by applications to problems of geophysics (fluids flows through capillary networks in porous disordered media) and the turbulence theory. In this article, using this wavelet technique in combination with the Schauder fixed point theorem, we study the solvability of nonlinear equations with mixed derivatives, p-adic (fractional) spatial and real time derivatives. Furthermore, in the linear case we find the exact solution for the Cauchy problem. Some examples are provided to illustrate the main results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
During recent 30 years, p-adic analysis has received a lot of attention through its applications to mathematical physics, string theory, quantum mechanics, dynamical systems, turbulence, cognitive sciences, and recently geophysics, see e.g. [5,6,7, 11, 13, 15, 16, 19,20,21, 26, 28, 31, 39, 40] and references therein. It is well-known that the theory of p-adic distributions (generalized functions) and the corresponding Fourier and wavelet analysis play an important role in solving mathematical problems and applications in aforementioned fields.
In p-adic analysis, which is associated with maps \( {\mathbb {Q}}_{p}\rightarrow {\mathbb {C}}\), the operation of differentiation is well not defined. For such reason, p-adic modeling widely utilizes the calculus of pseudo-differential operators. In this calculus, the crucial role is played by the fractional differentiation operator \( D^{\alpha } \) (the Vladimirov operator). The pseudo-differential equations over p-adic fields have been studied in numerous publications [3, 8, 12, 17,18,19, 22, 24, 25, 27, 32, 34,35,36,37]. But up to now, in almost all models, only linear and semilinear pseudo-differential equations have been considered (see also [2, 4, 9, 10, 28, 41, 42]). For instance, we can mention recent paper [30] devoted to the study of two classes of semi-linear pseudo-differential equations via the use of the p-adic wavelet functions and the Adomian decomposition method.
It seems that the first nonlinear p-adic pseudo-differential equation was studied by Kozyrev [26] (at least an equation that is interesting for physical applications—modeling of turbulence). This was also the first application of the p-adic wavelet basis for study of nonlinear equations.
In paper [16] there was considered a p-adic analogue of one of the most important for applications to geophysics nonlinear equations, the porous medium equation (see [38]), that is the equation
where \( \varphi \) is a strictly monotone increasing continuous real function satisfying \( |\varphi (s) |\le Cs^{m} \) for \( s\in {\mathbb {R}} \) (\( C > 0, m \ge 1 \)) and \( D^{\alpha } \), \( \alpha >0 \) is Vladimirov’s fractional differentiation operator.
By the construction of Markov process in the balls, Antoniouk et al. [5] studied the Cauchy problem for p-adic nonlinear evolutionary pseudo-differential equations over the p-adic balls and gave a formula for the solution of these equations. With the help of Crandall–Liggett theorem together with the concept of m-accretive nonlinear operators, they also revealed a result in order to prove the existence of a unique mild solution for a nonlinear equation including a generator of the semigroup T(t) in \( L^{1}({\mathbb {Q}}_{p}^{n}) \).
In 2019, Pourhadi et al. [31] studied a class of nonlinear p-adic pseudo-differential equation as the p-adic analogue of the Navier-Stokes equation (see Oleschko et al. [21] for derivation) using the Schauder fixed point theorem together with Adomian decomposition method to find some initial terms of the solution. This equation models the propagation of fluid’s flow through Geo-conduits, including the mixture of fractures (as well as fracture’s corridors) and capillary networks.
To proceed our investigation, in the current paper we aim to employ the same technique but on the more generalized forms of pseudo-differential equations with nonlinear term F(t, u, x) and initial conditions. This problem is also a generalized form of the model proposed by Chuong and Co [10]. It is worth pointing out that the term F has not been observed in the previous results with focus on the wavelet theory and existence results. We also present an explicit form for the solution in the terms of wavelet basis for the certain cases.
Throughout this paper, we investigate the solvability of following IVP problem for a class of nonlinear pseudo-differential equationsFootnote 1 over the p-adic field in \( I=[0,T] \) given as
such that \( D^{\alpha }, D^{\beta }, D^{\gamma }\) are the fractional operators with orders \( \alpha ,\beta ,\gamma \), respectively, and \( a,b,c\ge 0 \) where either \(0\le b\le a^{2}<c \) or \( 0\le c\le a^{2}<b \) holds and not both. Besides, let us suppose that
In this work, as special case, when F is independent from the term u, that is, F(t, x) , we present the exact solution for the Cauchy problem (1.1).
In Sect. 2, we give some fundamental and auxiliary facts in order to proceed with the development of our work and conclude our results. Section 3 deals with the present of the solution to the homogeneous form of the nonlinear pseudo-differential equation (1.1) over the p-adic field \( {\mathbb {Q}}_{p} \). Section 4 dedicates to investigate the study of the solution for a linear pseudo-differential equation over the p-adic field \( {\mathbb {Q}}_{p} \) which is also deduced by considering F independent from u. Finally, in Sect. 5 we establish the existence of the solution for IVP (1.1) as our main problem.
2 Preliminaries
In what follows, for a prime number p, we denote by \( {\mathbb {Q}}_{p} \) the field of p-adic numbers and by \( {\mathbb {Z}}_{p} \) the ring of p-adic integers. Considering \( x\ne 0 \) in \( {\mathbb {Q}}_{p} \), \( \text {ord}(x)\in {\mathbb {Z}}\cup \{ +\infty \} \) stands for the valuation of x, i.e. p-adic order of x, and \(|x|_p=p^{-\text {ord}(x)} \) its absolute value which possesses the following properties:
-
(i)
\(|x|_p\ge 0 \) for every \( x\in {\mathbb {Q}}_{p} \), and \( |x|_p = 0 \) if and only if \( x=0; \)
-
(ii)
\(|xy|_p = |x|_p |y|_p \) for every \(x, y\in {\mathbb {Q}}_{p}\);
-
(iii)
\( | x+y|_p \le \max \{|x|_p, |y|_p \},\) for every \(x, y\in {\mathbb {Q}}_{p}\), and when \( |x|_p \ne |y|_p \), we have \( | x+y|_p = \max \{|x|_p, |y|_p \}\),
which also shows that the norm \( |\cdot |_p \) is non-Archimedean and the space \(({\mathbb {Q}}_{p},|\cdot |_p)\) is an ultrametric space.
A canonical form of any p-adic number \( x\in {\mathbb {Q}}_{p} \), \( x\ne 0 \), is represented as follows
where \( \gamma =\gamma (x) \in {\mathbb {Z}}\), and \(x_{k}= 0,1,\ldots ,p-1, \ x_{0} \ne 0,\ k = 0, 1,\ldots \) This series converges in the p-adic norm \( |\cdot |_p \) to \( p^{-\gamma } \). The fractional part of a p-adic number \( x\in {\mathbb {Q}}_{p} \) defined by (2.1) is given as
The standard additive character \( \chi _p \) of the field \( {\mathbb {Q}}_{p} \) is given by
For the topology induced by \( |\cdot |_p \) in \( {\mathbb {Q}}_{p} \) we assume that
are ball and sphere of radius \(p^{\gamma } \) with center at a, respectively. For the convenience, we suppose \(B_{\gamma }(0)=B_{\gamma }\) and \( S_{\gamma }(0)=S_{\gamma } \). Recall that any point of the ball is its center, besides, any two balls in \( {\mathbb {Q}}_{p} \) are either disjoint or one is contained in the other. Moreover, sets of all balls and spheres are open and closed sets (i.e. clopen) in \( {\mathbb {Q}}_{p} \).
The topological group \( ({\mathbb {Q}}_{p}, +) \) is locally compact commutative and thus there is an additive Haar measure dx, which is positive and invariant under the translation, i.e., \(d(x+a) = dx, a\in {\mathbb {Q}}_{p}\). This measure is unique by normalizing dx so that
Further, regarding with the additive normalized character \( \chi _p(x) \) on \( {\mathbb {Q}}_{p} \) we have
where \( \Omega (t) \) is the characteristic function of the interval \( [0, 1] \subset {\mathbb {R}}\).
We say the complex-valued function f defined on \( {\mathbb {Q}}_{p} \) is locally constant if for any \( x \in {\mathbb {Q}}_{p} \), there exists an integer \( l(x) \in {\mathbb {Z}}\) such that \(f(x + y) = f(x)\), for every \( y \in B _{l(x)}\). We signify by \( {\mathcal {E}}({\mathbb {Q}}_{p}) \) the linear space of such functions in \( {\mathbb {Q}}_{p} \). By \( D({\mathbb {Q}}_{p}) \) we mean the subspace of \( {\mathcal {E}}({\mathbb {Q}}_{p}) \) consisting of locally constant functions with compact support (so-called test function). Besides, denote by \( D'({\mathbb {Q}}_{p}) \) the set of all linear functionals on \( D({\mathbb {Q}}_{p}) \) (see also [39, VI.3]).
The Fourier transform of test function \( \varphi \in D({\mathbb {Q}}_{p}) \) is given by
Besides, \( {\hat{\varphi }}(\xi )\in D({\mathbb {Q}}_{p}) \) and \(\varphi (x)=F^{-1}[\varphi ](\xi )=\int _{{\mathbb {Q}}_{p}} {\hat{\varphi }}(\xi ) \chi _p(-\xi x)d\xi \) as the inverse Fourier transform.
Suppose \(L^{2}({\mathbb {Q}}_{p})\) is the set of measurable \({\mathbb {C}}\)-valued functions f on \( {\mathbb {Q}}_{p} \) such that
which is clearly a Hilbert space with the inner product
and \( \Vert f \Vert _{L^{2}({\mathbb {Q}}_{p})}^{2} = \langle f, f \rangle . \)
Hence, there is a linear isomorphism taking \( D({\mathbb {Q}}_{p}) \) onto \( D({\mathbb {Q}}_{p}) \) which also can be uniquely extended to a linear isomorphism of \(L^{2}({\mathbb {Q}}_{p})\). Furthermore, the Plancherel equality holds
In 1910, Haar [14] initially introduced the wavelet basis by presenting an orthonormal basis in \(L^{2}({\mathbb {R}})\) including dyadic translations and dilations of a single function:
where
is called a Haar wavelet and \( \chi _{A} \) denotes the characteristic function of a set \( A\subset {\mathbb {R}} \). The generalization of Haar basis (2.3) has been studied in various results. In 2002, a basis of complex-valued wavelets with compact support in \(L^{2}({\mathbb {Q}}_{p}^{m})\) has been initially introduced by Kozyrev [23] (see also [24, 25, 27]). This basis is comparable to the Haar basis and takes the following form
where \( k\in J_{p}^{m}:= \underset{\xleftarrow {} m \xrightarrow {}}{J_{p}\times J_{p}\times \cdots \times J_{p}}, J_{p}=\{ 1,2,\ldots , p-1\} \), \(j\in {\mathbb {Z}} \), and n can be taken as an element of the m-direct product of factor group
and here, \( \chi _{p} \) and \( \Omega \) are the standard additive character of \( {\mathbb {Q}}_{p} \) and characteristic function of [0, 1] , respectively, as defined before.
Assume the following subspaces of the test functions from \( D({\mathbb {Q}}_{p}) \)
It is obvious to see that \( \Psi , \Phi \ne \emptyset \). Regarding with the fact that Fourier transform is a linear isomorphism \( D({\mathbb {Q}}_{p}) \) into \( D({\mathbb {Q}}_{p}) \), we get \( \Psi , \Phi \in D({\mathbb {Q}}_{p}) \). To describe the space \(\Phi \) we remark that \(\phi \in \Phi \) if and only if \( \phi \in D({\mathbb {Q}}_{p}) \) and \(\int _{{\mathbb {Q}}_{p}}\phi (x)dx=0.\) The space \(\Phi \) is called the p -adic Lizorkin space of test functions of the first kind which is a complete space under the topology of the space \( D({\mathbb {Q}}_{p}) \). Furthermore, the space \( \Phi ' =\Phi ' ({\mathbb {Q}}_{p}) \) is said to be the p -adic Lizorkin space of distributions of the first kind which is the topological dual space of \( \Phi ({\mathbb {Q}}_{p}) \) (see also [1]).
The fractional operator \( D^{\alpha }:\varphi \rightarrow D^{\alpha }\varphi \) is defined as a convolution of the following functions:
where the distribution \( f_{\alpha }\in \Phi ' ({\mathbb {Q}}_{p}) \) is called the Riesz kernel given by
and \( \Gamma _{p}(\alpha )=\frac{1-p^{\alpha -1}}{1-p^{-\alpha }}\) is the \( \Gamma \)-function (for more details see [39]).
The domain of \( D^{\alpha } \) is given by
3 The Homogeneous Cauchy Problem
Throughout this section we are interested in the study of the solution to the homogeneous form of the nonlinear pseudo-differential equation (1.1).
Theorem 3.1
Suppose that \( f\in {\mathcal {M}}(D^{\beta })\), \( g\in {\mathcal {M}}(D^{\gamma })\) and \( f_{k;jn} \) and \( g_{k;jn} \) are the corresponding coefficients of the series of f, g in terms of the orthonormal functions \( \{\psi _{k;jn}(x) \} \), respectively. Then the homogeneous form of pseudo-differential equation (1.1), that is,
where the constants a, b, c are the same as given for Eq. (1.1), possesses a unique solution of the form
belonging to \( {\mathcal {U}}=C(I,{\mathcal {M}}(D^{\beta }))\cap C^{1}(I,{\mathcal {M}}(D^{\gamma }))\cap C^{2}(I,{\mathcal {M}}(D^{\alpha })),\) in which
and
Proof
Assume that u(t, x) is the solution what we are looking for. Considering u in terms of wavelet functions \( \psi _{k;jn}(x) \) with coefficients \( u_{k;jn}(t) \) one can easily arrive at the following linear differential equation.
The corresponding characteristic equation is as follows:
Moreover, the discriminant of above quadratic equation is given as
The definition of \(\gamma \) immediately implies that \( \Delta '_{j}<0 \) and then it follows that
where
Now, imposing the initial conditions in our obtained solution we derive
where \( f_{k;jn} \) and \( g_{k;jn} \) are respectively the components of f and g in the corresponding representations based on wavelet functions \( \psi _{k;jn}(x). \)
Therefore, the solution u(t, x) of the homogeneous equation (3.1) is defined by
such that \( A_{j} \) is given as (3.4). Since \( t\in I \) and \( a> 0 \) one can observe that
This shows that the series (3.6) converges in \( L^{2}({\mathbb {Q}}_{p}) \) uniformly in \(t\in I. \)
Considering the hypotheses \( f\in {\mathcal {M}}(D^{\beta })\), \( g\in {\mathcal {M}}(D^{\gamma })\) we immediately derive that
where
Furthermore, using (3.7) we get
which means that all the series as above are convergent in \( L^{2}({\mathbb {Q}}_{p}) \) uniformly in \(t\in I. \) That is, \( u\in C(I,{\mathcal {M}}(D^{\beta }))\cap C^{1}(I,{\mathcal {M}}(D^{\gamma })). \) With similar reasoning, one can see that both series with respect to \( \frac{\partial ^{2} u}{\partial t^{2}} \) and \( D^{\alpha }\frac{\partial ^{2}u}{\partial t^{2}} \) converge in \( L^{2}({\mathbb {Q}}_{p}) \) uniformly in \(t\in I \) and hence u given as (3.6) is unique and also belongs to \( {\mathcal {U}} \). \(\square \)
Example 1
Suppose that the problem (3.1) takes the following form over \( I\times {\mathbb {Q}}_{p}\):
Then
where \( k=0,1,2,\ldots , p-1 \) and \( n\in {\mathbb {Q}}_{p}/ {\mathbb {Z}}_{p} \). Assuming \( |n|_{p}=p^{-\gamma } \) for some integer \( \gamma \le -1 \) together with the fact that \(\Omega (|\xi |_{p}) \ne 0\) if and only if \( \xi \in S_{r} \) for some \( r\le 0 \), we derive
If \( k= 0 \) then
Otherwise, for the case \( 1\le k \le p-1 \), using the formula
we see that
Hence the solution of the problem is as follows
where
and \( A_{j} \) is defined in
4 Cauchy Problem for a Linear Pseudo-differential Equation
This section dedicates to investigate the existence of solution for the following linear pseudo-differential equation over the p-adic field \( {\mathbb {Q}}_{p} \) in \( I=[0,T] \) given as
where the coefficients are defined same as ones given for Eq. (1.1).
In order to present the result of this section we need the following lemma.
Lemma 1
For \({\mathcal {M}}(D^{\alpha })\) the following inclusion holds true:
Proof
Suppose that \( \varphi \in {\mathcal {M}}(D^{\alpha }) \), then
On the other hand, since \( 0<\beta <\alpha \) we get
that is,
Hence, \( \varphi \in {\mathcal {M}}(D^{\beta }). \)\(\square \)
Theorem 4.1
Suppose that \( f\in {\mathcal {M}}(D^{\beta })\), \( g\in {\mathcal {M}}(D^{\gamma })\), \( f_{k;jn} \) and \( g_{k;jn} \) are the corresponding coefficients of the series of f, g in terms of the orthonormal functions \( \{\psi _{k;jn}(x) \} \), respectively. Further, assume that \( |\gamma -\alpha | <\beta \). Then the non-homogeneous equation (4.1) has a unique solution of the form
belonging to \( {\mathcal {U}}\) where
Proof
As shown in the proof of Theorem 3.1, we have
where
Now, applying the variation of parameters method for the solutions (3.3) with constants (3.4) and (3.5) we present the solution of problem by the following
where \( M_{k;jn}(t), N_{k;jn}(t) \) are the unknown functions which are found from the following system:
which yields that
where
Hence, the unique solution of the problem is
such that
Let us now show that the obtained solution belongs to \( {\mathcal {U}}\).
Taking into account that
it is clear that the series (4.2) is convergent in \( L^{2}({\mathbb {Q}}_{p}) \) uniformly in I. We also note that since \( |\gamma -\alpha | <\beta \), then \( f \in {\mathcal {M}}(D^{|\gamma -\alpha |}) \) (see Lemma 1).
On the other hand, since \( f\in {\mathcal {M}}(D^{\beta })\), \( g\in {\mathcal {M}}(D^{\gamma })\), then the series corresponding to \( D^{\beta } u(t,x) \) converges in \( L^{2}({\mathbb {Q}}_{p}) \) uniformly in I. Hence \( u \in C(I,{\mathcal {M}}(D^{\beta })) \).
Moving forward, we have
where
converging in \( L^{2}({\mathbb {Q}}_{p}) \) uniformly over the interval I since \( f,g\in {\mathcal {M}}(D^{|\gamma -\alpha |})\) and
Besides,
is convergent in \( L^{2}({\mathbb {Q}}_{p}) \) uniformly in I, which means \( u \in C^{1}(I,{\mathcal {M}}(D^{\gamma })). \) Similarly, the series
converges in \( L^{2}({\mathbb {Q}}_{p}) \) uniformly in I where
and \( u \in C^{2}(I,{\mathcal {M}}(D^{\alpha }))\), that is, \( u \in {\mathcal {U}}. \) Therefore, the function (4.2) is the unique solution to the problem (4.1) which satisfies the mentioned initial conditions. \(\square \)
Example 2
Consider the problem (4.1) with a similar constants given in Example 1. Suppose that \( f(x)=g(x)= \ln |x|_{p}\) and non-homogeneity term \(F(t,x)=t \ln |x|_{p}.\) To write the function F in terms of basis \( \psi _{k;jn} \), using notation \( \xi =p^{j}x-n \) we have
If \( k= 0 \) then
otherwise \( F_{k;jn}(t)=0. \) Similarly, we can discuss on the values of \( f_{k;jn}, g_{n;jn} \) and derive
for \( k=0 \), otherwise \( f_{k;jn}=g_{n;jn}=0 \). Consequently, the solution is given by the following form:
where
and \( A_{j} \) is defined as Example 1.
5 Cauchy Problem for a Nonlinear Pseudo-differential Equation
Throughout this section we study the existence of solution for the following class of nonlinear pseudo-differential equation over the p-adic field \( {\mathbb {Q}}_{p} \) in \( I=[0,T] \) given as
where the coefficients are defined same as before. Moreover, suppose that the constants of Eq. (5.1) are chosen in the way that \( A_{j}T<x^{*} \) where \( x^{*} \) is the only root of
(see Fig. 1) Considering u in terms of wavelet functions \( \psi _{k;jn}(x) \) with coefficients \( u_{k;jn}(t) \) one can simply see the following quasilinear differential equation.
where the function u as the solution subjected to the problem is given as
and suppose that the nonlinear term F takes the following form
For the convenience of reader, let us remove the index of symbols in infinite system (5.3) and rewrite it as the following matrix differential equation. Taking \( j\in {\mathbb {Z}} \) as arbitrarily fixed we derive
It is worth mentioning that all solutions of (5.5) depend on \( j\in {\mathbb {Z}} \).
On the other hand, by initial conditions we easily see that
Let \( {\hat{u}}_{1}(t) \) and \({\hat{u}}_{2}(t) \) form a fundamental system of solutions of the truncated linear equation corresponding to \({\mathcal {F}}=0\), that is,
Then, considering Eq. (5.5) by its component for any \( \imath \in J \), we have the following transformation
where
Here, for some purpose, \( u_{1\imath } \) is defined as arbitrary special combination of \( u_{1\imath } \) and \( u_{2\imath } \) given by (5.7). Remark that in definition of \( \xi _{\imath } \), \( \cos (A_{j}t+r_{j})\ne 0 \) since
More precisely, this is concluded by the fact that \(h(x)<0\) for \( x<x^{*}\cong 3.1095 \) where \( x^{*} \) is the only root of h. And that is satisfied since \( A_{j}T<x^{*} \).
Based on the imposed condition \( A_{j}T<x^{*} \), we notice that \( \xi _{\imath }=r(t) \) is increasing with respect to \( t\in I \),
The substitutions (5.8) convert Eq. (5.5) into a simpler form
where \(W(u_{1\imath },u_{2\imath })(t) \) is the Wronskian of linearly independent functions \( u_{1\imath },u_{2\imath } \). For the convenience let us ignore the index \(\imath \in J \), and substitute \( \rho :=\omega ^{\prime }_{\xi } \) then we have the following integral equation:
Since \( t=0 \) if and only if \( \xi =0 \) then
and
which both values should be replaced in Eq. (5.11).
Remark 1
To study the solvability of nonlinear system of differential equations (5.3) it only needs to investigate the existence of \(\omega (t)\) from Eq. (5.11). To do this let us first present the following well-known fixed point result.
Theorem 5.1
(Schauder Fixed Point Theorem [33, Theorem 4.1.1]) Let U be a nonempty and convex subset of a normed space E. Let T be a continuous mapping of U into a compact set \( K\subset U \). Then T has a fixed point.
Theorem 5.2
Suppose that the following conditions hold:
-
(i)
$$\begin{aligned} | F_{\imath }(t,u_{\imath } )-F_{\imath }(t,v_{\imath }) |\le \varphi _{\imath }(t) |u_{\imath }-v_{\imath } |, \quad (t,\imath )\in I\times J \end{aligned}$$(5.12)
where \( \varphi _{\imath }\in L^{1}(I) \) with maximum value \( \overline{\varphi }_{\imath } \) and \( \overline{F}_{\imath }=\max _{t\in I} | F_{\imath }(t,0)| \).
-
(ii)
There exists a function \({\mathcal {H}}_{j}: {\bar{I}} \rightarrow {\mathbb {R}}^{+}\) for \( j\in {\mathbb {Z}} \) belonging to \( \in L^{1}({\bar{I}}) \) such that
$$\begin{aligned}&\bigg | e^{-10A_{j}T}\langle f, \psi \rangle +\dfrac{1}{A_{j}}\bigg (\langle g, \psi \rangle +ap^{(\gamma -\alpha )(1-j)}\langle f, \psi \rangle \bigg )\\&\quad +\int _{0}^{\xi }\Phi (s,\langle f, \psi \rangle +\int _{0}^{s}\rho (r)dr)ds \bigg |\le {\mathcal {H}}_{j}(\xi ), \quad \xi \in {\bar{I}}, \end{aligned}$$
whenever \( |\rho (\xi )|\le {\mathcal {H}}_{j}(\xi )\) for any \( \xi \in {\bar{I}} \). Furthermore, suppose that \( A_{j}T<x^{*} \) where \( x^{*} \) is the only real root of (5.2). Then Eq. (5.11) has a solution \(\rho (\xi )\) in \( C({\bar{I}},{\mathbb {R}}) \) bounded above by \( {\mathcal {H}}_{j}. \)
Proof
Following condition (ii) let us first consider the set \( {\mathcal {S}}\subset C({\bar{I}},{\mathbb {R}})\) defined by
Obviously, the set \( {\mathcal {S}} \) is a nonempty, closed, bounded and convex subset of \( {\mathcal {U}} \). Furthermore, suppose that
where \( \omega \) is given by the second relation in (5.11). To prove that Eq. (5.11) has a solution it only needs to show that the operator \(\Gamma \) has a fixed point in \( {\mathcal {S}}. \) First, we show that \({\mathcal {S}} \) is \(\Gamma \)-invariant, that is, \( \Gamma {\mathcal {S}}\subset {\mathcal {S}} \). This is easily implied by condition (ii).
For the fixed \( \xi \in {\bar{I}}\), suppose \( \rho _{n} \rightarrow \rho \) as \( n\rightarrow \infty \), we get
where
On the other hand, using (5.10) and (5.12) we see that
for any \( t\in I \) and \( s\in {\bar{I}} \), and \( \Vert \cdot \Vert \) is the supremum norm on \(C({\bar{I}},{\mathbb {R}})\). This together with (5.13) implies that
Therefore, the continuity of \( \Gamma \) is proven. Next, we need to establish that \( \Gamma ({\mathcal {S}}) \) is equicontinuous. Assume that \( \epsilon > 0 \) is given, without loss of generality, \( \xi _1 < \xi _2 \) are arbitrarily taken from \( {\bar{I}} \) and \( \rho \in {\mathcal {S}} \). Applying condition (i) we have
which vanishes as \( \xi _1 \rightarrow \xi _2 \). Consequently, we conclude that \( \Gamma ({\mathcal {S}}) \) is equicontinuous on the compact interval \( {\bar{I}} \). Moreover, in view of Arzelà–Ascoli theorem one can see that \( \Gamma ({\mathcal {S}}) \) is relatively compact. Therefore, all the conditions of Schauder fixed point theorem are fulfilled and the operator \(\Gamma \), as a self-map on \( {\mathcal {S}} \), has a fixed point in this set. This fact implies that Eq. (5.11) has at least one solution in \( {\mathcal {S}} \). \(\square \)
An immediate consequence of Theorem 5.2 is given as follows.
Theorem 5.3
Suppose that all the conditions of Theorem 5.2 are satisfied. Then the problem (5.1) has a solution in \( {\mathcal {U}} \) given in Theorem 3.1.
Proof
From Theorem 5.2, it is possible to find the solutions \( \rho :=\omega ^{\prime }_{\xi } \) and since then \( \omega \) for Eq. (5.11). This together with (5.8) yields \( u_{\imath }= u_{1\imath }\cdot \omega _{\imath } \) exists which means that the function
as a solution of Eq. (5.3) exists under the imposing hypotheses. This completes the proof. \(\square \)
Example 3
Consider the problem (5.1) with \( c=0 \), \( b>a^{2} \), \( T<\frac{x^{*}}{\sqrt{b-a^{2}}} \) where \( x^{*} \) is the root of (5.2), and \( f = g= 0 \). We remark that
Assume \( F_{\imath } \), as given in (5.4), has the form \( F_{\imath }(t,u)= \phi _{\imath }(t)\sigma _{\imath }(u) \) where \( \phi _{\imath } \) is continuous on I and \( \sigma _{\imath } \) belongs to \(\Sigma \) as the class of all increasing convex functions satisfying
Obviously, \( \Sigma \ne \emptyset \) since any increasing linear function is contained in \(\Sigma \). We note that
that is, the condition (i) in Theorem 5.2 is fulfilled. To check the condition (ii), for the variable \( s = r(t) \) as given in (5.8), we derive
followed by a variant of the Mean Value Theorem and the fact that \(\sigma _{\imath } \in \Sigma \). Now, for any \( \xi \in {\bar{I}} \) if \( |\rho (\xi )|\le {\mathcal {H}}_{j}(\xi )\) then using Jensen’s inequality we conclude that
where the constants are defined by (5.9). Therefore, for given \( \phi _{\imath } \) and \( \sigma _{\imath } \) if one can find a function \({\mathcal {H}}_{j}\) with nonnegative values on \( {\bar{I}} \) satisfying the following inequality
then condition (ii) is fulfilled. To illustrate this, for instance one can take \( \sigma _{\imath } =id \) and \( {\mathcal {H}}_{j}(x)=e^{\mu x} \) with \(\mu = \frac{ A_{j}\cos (r_{j})}{B_{j}\Vert \phi _{\imath } \Vert } \) and derive that (5.15) holds. Now, applying Theorem 5.2 we conclude the problem (5.1) with the imposed conditions has a solution in \( {\mathcal {U}} \).
Notes
The linear equations of this class were invented and studied by Chuong and Co [10]
References
Albeverio, S., Khrennikov, A.Yu., Shelkovich, V.M.: Harmonic analysis in the \( p \)-adic Lizorkin spaces: fractional operators, pseudo-differential equations, \( p \)-adic wavelets, Tauberian theorems. J. Fourier Anal. Appl. 12(4), 393–425 (2006)
Albeverio, S., Khrennikov, A.Yu., Shelkovich, V.M.: \( p \)-Adic semi-linear evolutionary pseudo-differential equations in the Lizorkin space, Dokl. Ross. Akad. Nauk 415(3), 295–299 (2007); English transl. in: Russian Dokl. Math. 76(1), 539–543 (2007)
Albeverio, S., Khrennikov, A.Yu., Shelkovich, V.M.: Theory of \(p\)-adic Distributions: Linear and Nonlinear Models. Cambridge University Press, Cambridge (2010)
Albeverio, S., Khrennikov, A.Yu., Shelkovich, V.M.: The Cauchy problems for evolutionary pseudo-differential equations over \(p\)-adic field and the wavelet theory. J. Math. Anal. Appl. 375, 82–98 (2011)
Antoniouk, A.V., Khrennikov, A.Yu., Kochubei, A.N.: Multidimensional nonlinear pseudo-differential evolution equation with \( p \)-adic spatial variables. J. Pseudo-Differ. Oper. Appl. (2019). https://doi.org/10.1007/s11868-019-00320-3
Aref’eva, I.Y., Dragovich, B.G., Volovich, I.V.: On the p-adic summability of the anharmonic oscillator. Phys. Lett. B 200, 512–514 (1988)
Avantaggiati, A. (ed.): Pseudodifferential Operators with Applications. Springer, Berlin (2010)
Casas-Sánchez, O.F., Zúñiga-Galindo, W.A.: \( p \)-Adic elliptic quadratic forms, parabolic-type pseudodifferential equations with variable coefficients and Markov processes. p-Adic Numbers Ultrametr. Anal. Appl. 6(1), 1–20 (2014)
Casas-Sánchez, O.F., Galeano-Peñaloza, J., Rodriguez-Vega, J.J.: Parabolic-type pseudodifferential equations with elliptic symbols in dimension 3 over \( p \)-adics. p-Adic Numbers Ultrametr. Anal. Appl. 7(1), 1–16 (2015)
Chuong, N.M., Co, N.V.: The Cauchy problem for a class of pseudodifferential equations over \( p \)-adic field. J. Math. Anal. Appl. 340, 629–645 (2008)
Dragovich, B.G.: Adelic harmonic oscillator. Int. J. Mod. Phys. A 10, 2349–2359 (1995)
Dragovich, B.G.: Path integrals for quadratic Lagrangians on p-adic and adelic spaces. p-Adic Numbers Ultrametr. Anal. Appl. 2(4), 322–340 (2010)
Dragovich, B.G., Misicc, N.Z.: p-Adic hierarchical properties of the genetic code. Biosystems 185, 104017 (2019)
Haar, A.: Zur Theorie der orthogonalen Funktionensysteme. Math. Ann. 69, 331–371 (1910)
Khrennikov, A.Yu.: \( p \)-Adic Valued Distributions in Mathematical Physics. Kluwer Academic Publishers, Dordrecht (1994)
Khrennikov, A.Yu., Kochubei, A.N.: \( p \)-Adic analogue of the porous medium equation. J. Fourier Anal. Appl. 24, 1401–1424 (2018)
Khrennikov, A.Yu., Shelkovich, V.M.: Non-Haar \( p \)-adic wavelets and their application to pseudo-differential operators and equations. Appl. Comput. Harmonic Anal. 28, 1–23 (2010)
Khrennikov, A.Yu., Shelkovich, V.M., Van Der Walt, J.H.: Adelic multiresolution analysis, construction of wavelet bases and pseudo-differential operators. J. Fourier Anal. Appl. 19, 1323–1358 (2013)
Khrennikov, A., Oleschko, K., López, M.J.C.: Application of \( p \)-adic wavelets to model reaction-diffusion dynamics in random porous media. J. Fourier Anal. Appl. 22, 809–822 (2016)
Khrennikov, A., Oleschko, K., López, M.J.C.: Modeling fluid’s dynamics with master equations in ultrametric spaces representing the treelike structure of capillary networks. Entropy 18(7), art. 249 (2016)
Khrennikov, A., Oleschko, K., Correa Lopez, M.J.: p-Adic analog of Navier-Stokes equations: dynamics of fluid’s flow in percolation networks (from discrete dynamics with hierarchic interactions to continuous universal scaling model). Entropy 19, 161 (2017)
Khrennikov, A.Yu., Kozyrev, S.V., Zúñiga-Galindo, W.A.: Ultrametric Pseudodifferential Equations and Applications. Cambridge University Press, Cambridge (2018)
Kozyrev, S.V.: Wavelet theory as \( p \)-adic spectral analysis. Izv. Math. 66(2), 367–376 (2002)
Kozyrev, S.V.: \(p \)-adic pseudodifferential operators and \( p \)-adic wavelets. Theor. Math. Phys. 138, 322–332 (2004)
Kozyrev, S.V.: Wavelets and spectral analysis of ultrametric pseudodifferential operators. Sb. Math. 198, 97–116 (2007)
Kozyrev, S.V.: Toward an ultrametric theory of turbulence. Theor. Math. Phys. 157, 1713–1722 (2008)
Kozyrev, S.V.: Dynamics on rugged landscapes of energy and ultrametric diffusion. p-Adic Numbers Ultrametr. Anal. Appl 2, 122–132 (2010)
Oleschko, K., Khrennikov, A.: Applications of p-adics to geophysics: linear and quasilinear diffusion of water-in-oil and oil-in-water emulsions. Theor. Math. Phys. 190, 154–163 (2017)
Polyanin, A.D., Zaitsev, V.F.: Handbook of Exact Solutions for Ordinary Differential Equations. CRC Press, New York (1999)
Pourhadi, E., Khrennikov, A.Yu.: On the solutions of Cauchy problem for two classes of semilinear pseudo-differential equations over \( p \)-adic field, \( p \)-Adic Numbers. Ultrametr. Anal. Appl. 10(4), 322–343 (2018)
Pourhadi, E., Khrennikov, A., Saadati, R., Oleschko, K., Correa Lopez, M.J.: Solvability of the \( p \)-Adic analogue of Navier-Stokes equation via the wavelet theory. Entropy 21(11), 1129 (2019)
Qiu, H., Su, W.Y.: Pseudo-differential operators over \( p \)-adic fields. Sci. China Ser. A 41(4), 323–336 (2011)
Smart, D.R.: Fixed Point Theorems. Cambridge University Press, London (1974)
Su, W.Y.: Psuedo-differential operators and derivatives on locally compact Vilenkin groups. Sci. China Ser. A 35(7), 826–836 (1992)
Taibleson, M.H.: Fourier Analysis on Local Fields. Princeton University Press, Princeton (1975)
Taylor, M.E.: Pseudodifferential Operators and Nonlinear PDE. Birkhäuser, Boston (1991)
Taylor, M.E.: Tools for PDE: Pseudodifferential Operators, Paradifferential Operators, and Layer Potentials, Mathematical Surveys and Monographs, 81. American Mathematical Society, Providence, RI (2000)
Vázquez, J.L.: The Porous Medium Equation: Mathematical Theory. Clarendon Press, Oxford (2007)
Vladimirov, V.S., Volovich, I.V., Zelenov, E.I.: \( p \)-Adic Analysis and Mathematical Physics. World Scientific, Singapore (1994)
Volovich, I.V.: \( P \)-adic space-time and string theory. Theor. Math. Phys. 71, 574–576 (1987)
Zúñiga-Galindo, W.A.: Fundamental solutions of pseudo-differential operators over \( p \)-adic fields. Rend. Semin. Mat. Univ. Padova 109, 241–245 (2003)
Zúñiga-Galindo, W.A.: Parabolic equations and Markov processes over \( p \)-adic fields. Potential Anal. 28, 185–200 (2008)
Acknowledgements
Open access funding provided by Linnaeus University.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Hans G. Feichtinger.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Pourhadi, E., Khrennikov, A.Y., Oleschko, K. et al. Solving Nonlinear p-Adic Pseudo-differential Equations: Combining the Wavelet Basis with the Schauder Fixed Point Theorem. J Fourier Anal Appl 26, 70 (2020). https://doi.org/10.1007/s00041-020-09779-x
Received:
Published:
DOI: https://doi.org/10.1007/s00041-020-09779-x
Keywords
- Pseudo-differential equations
- p-adic field
- p-adic wavelet basis
- Schauder fixed point theorem
- Arzelà–Ascoli theorem