Solvability of Vekua-Type Periodic Operators and Applications To Classical Equations
Solvability of Vekua-Type Periodic Operators and Applications To Classical Equations
Solvability of Vekua-Type Periodic Operators and Applications To Classical Equations
1. Introduction
In [15], the Georgian mathematician I. N. Vekua introduced the theory of
generalized analytic functions, which are the solutions to equations of the
form
∂z̄ u + Au + B ū = F,
where ∂z̄ = (∂x + i∂y )/2 and the coefficients A and B belong to a suitable
function space in the complex plane. This theory is closely related to the
theory of holomorphic functions, assuming some regularity on the coefficients
to apply the well-known similarity principle. Vekua also applied this theory
to explore problems in the membrane theory of shells and their connections
with the problem of infinitesimal bendings of surfaces.
On the other hand, let us assume that (DC) does not hold. Thus, for
each ℓ ∈ N, there exists a ξℓ ∈ Zn such that
kξℓ k > ℓ and |∆ξℓ | < kξℓ k−ℓ .
It is worth noting that kξℓ k → ∞, since kξℓ k > ℓ for all ℓ ∈ N. Denoting
ξℓ = (ξ1ℓ , . . . , ξnℓ ), and by passing to a subsequence if necessary, we may
assume that there is a coordinate j ∈ {1, . . . , n} such that ξjℓ is non-negative
and maintains the same sign, for all ℓ ∈ N.
Now, consider the set Ω = {ξℓ ∈ Zn : ℓ ∈ N}. The previous choice of the
sequence {ξℓ }ℓ∈N implies that, if ξ ∈ Ω, then −ξ ∈ / Ω. Particularly, for any
Ω0 ⊂ Ω, if ξ ∈ Ω0 , then −ξ ∈ / Ω0 .
Case 1: ∆ξℓ = 0 for infinitely many indices ℓ ∈ N.
Upon considering a subsequence, we can assume that ∆ξℓ = 0 for all
ℓ ∈ N. Consequently, by (3), we have
/ C ∞ (Tn ).
implies u ∈
If we have |σL (−ξℓ ) − A| 6 kξℓ k−ℓ/2 for all ℓ ∈ N (passing to a subse-
quence), take f as in the previous case with ξ ∈ −Ω0 .
6 Kirilov, Moraes and Tokoro
Again, observe that this construction is valid for all infinite subsets
Ω0 ⊂ Ω. Then, we obtain infinitely many linearly independent functions
f ∈ C ∞ (Tn ) such that there is no u ∈ C ∞ (Tn ) solution of P u = f . Therefore,
P is not solvable.
Corollary 3. P is solvable if, and only if, P is globally hypoelliptic.
Proof. Let u ∈ D ′ (Tn ) be a solution to P u = f ∈ C ∞ (Tn ). Since P is
solvable, the condition (DC) holds. Therefore, there exists γ > 0 such that
(σL (−ξ) − Ā)fb(ξ) + B fb(−ξ)
kξk > γ =⇒ u
b(ξ) = .
∆ξ
Consequently, the rapid decay of the sequence (b u(ξ)) is a consequence
b
of the rapid decay of (f (ξ)). This implies that u ∈ C (Tn ) and P is globally
∞
hypoelliptic.
On the other hand, assume that P is not solvable. It follows from The-
orem 2 that there exists f ∈ C ∞ (Tn ) and u ∈ D ′ (Tn ) \ C ∞ (Tn ) such that
P u = f . Therefore, P is not globally hypoelliptic.
Theorem 4. If L is an elliptic differential operator, then P is solvable and
globally hypoelliptic.
Proof. Given that L − A is elliptic for any A ∈ C, we can assume, without
loss of generality, that P is of the form P u = Lu − B ū, with B ∈ C.
Let m be the order of L. Due to the ellipticity of L, there are positive
constants R0 and M such that
kξk > R0 ⇒ |σL (ξ)| > M kξkm .
For kξk > R0 , we have
|∆ξ | = |σL (ξ) · σL (−ξ) − |B|2 | > M 2 kξk2m − |B|2 .
Choosing R > R0 sufficiently large so that M 2 R2 > |B|2 + 1, we ensure
that kξk > R implies |∆ξ | > 1.
Note that the set Λ = {ξ ∈ Zn : kξk < R} is finite, and, in particular,
Λ0 = {ξ ∈ Zn : ∆ξ = 0} ⊂ Λ is also finite.
Let u ∈ D ′ (Tn ) be a solution to P u = f , and suppose fb(ξ) = 0 for all
ξ ∈ Λ0 . In this case, we have
σL (−ξ)fb(ξ) + B fb(−ξ)
u
b(ξ) = , ξ ∈ Λ0 .
∆ξ
u(ξ)) decays rapidly, resulting in u ∈ C ∞ (Tn ).
Therefore, the sequence (b
It is crucial to note that we have only finitely many compatibility conditions
over f ∈ C ∞ (Tn ) for the equation P u = f to admit a solution u ∈ C ∞ (Tn ).
This finiteness arises from the fact that Λ0 is finite. Consequently, P is solv-
able. The global hypoellipticity is a direct consequence of Corollary 3.
Pn
Example (Laplace operator). If L = j=1 ∂ 2 /∂x2j then the operator P given
by P u = Lu − Au − B ū, with A, B ∈ C is solvable and globally hypoelliptic.
Solvability of Vekua-type periodic operators 7
3. Applications
In this section, we present results regarding the solvability and global hypoel-
lipticity of some classical examples of constant-coefficients operators.
P
Theorem 5 (Heat Operator). If L = ∂/∂t − η 2 nj=1 ∂ 2 /∂x2j , where η > 0,
then P is solvable and globally hypoelliptic.
Proof. To prove that the discriminant associated with P satisfies the condi-
tion (DC) of Theorem 2, we begin by noting that
σL (τ, ξ) = iτ + η 2 kξk2 = σL (−τ, −ξ),
for all (τ, ξ) ∈ Zn+1 . By (4) we obtain
∆τ,ξ = η 4 kξk4 − 2Re(A)η 2 kξk2 − τ 2 + |A|2 − |B|2 + 2iτ (η 2 kξk2 − Re(A)).
For τ = 0, there exists γ1 > 0 such that
kξk > γ1 =⇒ |∆0,ξ | >|Re(∆0,ξ )| (9)
4 4 2 2 2 2
= η |ξ| − 2Re(A)η |ξ| + |A| − |B| > 1.
On the other hand, when τ 6= 0, we find
|∆τ,ξ | > |Im(∆τ,ξ )| = 2|τ | η 2 kξk2 − Re(A) .
Note that the condition η 2 |ξ|2 − Re(A) = 0 holds for at most a finite
number of indices (τ, ξ) ∈ Zn+1 . Consequently, there exists γ2 > 0 such that
η 2 kξk2 − Re(A) > 1/2, whenever kξk > γ2 . Thus,
kξk > γ2 =⇒ |∆τ,ξ | > 1. (10)
Now, let us consider the remaining case where (τ, ξ) ∈ Zn+1 satisfies
η 2 kξk2 = Re(A). In this scenario, we have
|∆τ,ξ | > |Re(∆τ,ξ )| = τ 2 + Re(A)2 + |B|2 − |A|2 ,
indicating that |Re(∆τ,ξ )| = 0 if and only if
p
τ = ± −Re(A)2 + |A|2 − |B|2 .
Therefore, |∆τ,ξ | vanishes for at most two integers τ ∈ Z. So, let γ3 > 0
be such that
|τ | > γ3 =⇒ |∆τ,ξ | > τ 2 + Re(A)2 + |B|2 − |A|2 > 1. (11)
.
Define γ = 2 max{γ1 , γ2 , γ3 }. Consequently, when kξk + |τ | > γ, we can
ensure that either kξk > γ/2 or |τ | > γ/2.
For kξk > γ/2, if τ = 0, then |∆0,ξ | ≥ |Re(∆0,ξ )| > 1 since γ ≥ γ1 .
Similarly, for τ 6= 0, we have |∆τ,ξ | ≥ |Im(∆τ,ξ )| > 1 because γ/2 ≥ γ2 .
Now, for |τ | > γ/2, if ηkξk2 − Re(A) = 0, then |∆τ,ξ | > |Re(∆τ,ξ )| > 1
since γ/2 > γ3 . In the case where ηkξk2 − Re(A) 6= 0, we have γ/2 > 0,
implying |τ | > 1. Consequently,
|∆τ,ξ | ≥ |Im(∆τ,ξ )| > 2|η 2 kξk2 − Re(A)| > C > 0,
where C = inf{|η 2 kξk2 − Re(A)| : ξ ∈ Zn and η 2 kξk2 − Re(A) 6= 0}. Notice
that C > 0 because the set {ξ ∈ Zn : η 2 kξk2 − Re(A) = 0} is closed.
8 Kirilov, Moraes and Tokoro
Then, if kξk + |τ | > γ, |∆τ,ξ | > C > 0, implying that (DC) holds. This,
in turn, leads to the conclusion from Theorem 2 that P is solvable. The global
hypoellipticity follows from Corollary 3.
The hypoellipticity of the heat operator is a well-established result in the
literature. The preceding theorem establishes that the global hypoellipticity
of the heat operator remains stable under both zero-order perturbations and
zero-order conjugate perturbations.
P
Theorem 6 (Wave operator). If L = ∂ 2 /∂t2 − η 2 nj=1 ∂ 2 /∂x2j , where η > 0,
then P is solvable (and globally hypoelliptic) if and only if one of the following
conditions holds:
(i) |B| < |Im(A)|;
(ii) |A| = |B|, Re(A) = 0 and η is an irracional non-Liouville number;
(iii) (DC) holds.
Proof. Let us prove that the discriminant ∆τ,ξ satisfies the condition (DC)
of Theorem 2. First, observe that the symbol
σL (τ, ξ) = σL (−ξ, −τ ) = −τ 2 + η 2 kξk2 ,
for all (τ, ξ) ∈ Zn+1 .
It follows from (4) that
2
∆τ,ξ = τ 2 − η 2 kξk2 + Re(A) + Im(A)2 − |B|2 , (τ, ξ) ∈ Zn+1 .
Assuming condition (i) holds, we have
|∆τ,ξ | = ∆τ,ξ > Im(A)2 − |B|2 > 0,
for all (τ, ξ) ∈ Zn+1 . Therefore, (DC) holds and P is solvable.
Now, assume that condition (ii) holds, then
|∆τ,ξ | = | − τ 2 + η 2 kξk2 |2 = |τ − ηkξk|2 · |τ + ηkξk|2 .
Given that η is an irrational non-Liouville number, there exist positive
constants C and γ0 such that
τ ± ηkξk > C(kξk + |τ |)−γ0 ,
for all (τ, ξ) ∈ (Zn \ {0}) × Z. Consequently, we obtain
|∆τ,ξ | > C 4 (kξk + |τ |)−γ0 = C 4 (kξk + |τ |)γ0 (kξk + |τ |)−5γ0 .
Take γ1 > 0 such that kξk + |τ | > γ1 implies C 4 (kξk + |τ |)γ0 > 1, and
set γ = max{γ1 , 5γ0 }. Consequently,
kξk + |τ | > γ =⇒ |∆τ,ξ | > (kξk + |τ |)−γ .
Hence, (DC) holds, and P is solvable.
Lastly, if condition (iii) holds, then P is solvable directly.
On the other hand, if none of the conditions (i)-(iii) holds, then, in
particular, (DC) does not hold. Consequently, according to Theorem 2, P
is not solvable. Finally, the global hypoellipticity prevails, as indicated by
Corollary 3.
Solvability of Vekua-type periodic operators 9
References
[1] A. P. Bergamasco, P. D. Cordaro, and G. Petronilho. Global solvability for
a class of complex vector fields on the two-torus. Commun. Partial Differ.
Equations, 29(5-6):785–819, 2004.
[2] A. P. Bergamasco, P. L. Dattori da Silva, and R. B. Gonzalez. Existence and
regularity of periodic solutions to certain first-order partial differential equa-
tions. J. Fourier Anal. Appl., 23(1):65–90, 2017.
[3] A. P. Bergamasco, P. L. Dattori da Silva, R. B. Gonzalez, and A. Kirilov.
Global solvability and global hypoellipticity for a class of complex vector fields
on the 3-torus. J. Pseudo-Differ. Oper. Appl., 6(3):341–360, 2015.
[4] A. P. Bergamasco, P. L. Dattori da Silva, and A. Meziani. Solvability of a first
order differential operator on the two-torus. J. Math. Anal. Appl., 416(1):166–
180, 2014.
[5] M. de Almeida and P. L. Dattori da Silva. Solvability of a class of first order
differential operators on the torus. Result. Math., 76(2):17, 2021. Id/No 104.
[6] B. de Lessa Victor and A. Meziani. Infinitesimal bendings for classes of two-
dimensional surfaces. Complex Variables and Elliptic Equations, 0(0):1–23,
2022.
[7] W. A. A. de Moraes. Regularity of solutions to a Vekua-type equation on
compact Lie groups. Ann. Mat. Pura Appl. (4), 201(1):379–401, 2021.
[8] J. Hounie. Globally hypoelliptic and globally solvable first-order evolution
equations. Trans. Amer. Math. Soc., 252:233–248, 1979.
[9] A. Kirilov, W. A. A. de Moraes, and M. Ruzhansky. Partial Fourier series on
compact Lie groups. Bull. Sci. Math., 160:27, 2020. Id/No 102853.
[10] A. Kirilov, W. A. A. de Moraes, and M. Ruzhansky. Global hypoellipticity
and global solvability for vector fields on compact Lie groups. J. Funct. Anal.,
280(2):39, 2021. Id/No 108806.
[11] V. V. Kravchenko. Applied pseudoanalytic function theory. Front. Math. Basel:
Birkhäuser, 2009.
[12] A. Meziani. Solvability of planar complex vector fields with applications to
deformation of surfaces. In Complex analysis, Trends Math., pages 263–278.
Birkhäuser/Springer Basel AG, Basel, 2010.
10 Kirilov, Moraes and Tokoro
Alexandre Kirilov
e-mail: akirilov@ufpr.br
Departamento de Matemática
Universidade Federal do Paraná
CP 19096, CEP 81531-990, Curitiba
Brasil
Wagner Augusto Almeida de Moraes
Departamento de Matemática
Universidade Federal do Paraná
Caixa Postal 19096
CEP 81531-990, Curitiba, Paraná
Brasil
e-mail: wagnermoraes@ufpr.br
Pedro Meyer Tokoro
Programa de Pós-Graduação em Matemática
Universidade Federal do Paraná
Caixa Postal 19096
CEP 81531-990, Curitiba, Paraná
Brasil
e-mail: tokoro.p@gmail.com