Abstract and Applied Analysis

Volume 2014, Article ID 428909, 17 pages

http://dx.doi.org/10.1155/2014/428909

## Space-Time Estimates on Damped Fractional Wave Equation

^{1}Department of Mathematics, Zhejiang Normal University, Jinhua 321004, China^{2}Department of Mathematics, University of Wisconsin-Milwaukee, Milwaukee, WI 53201, USA^{3}School of Science, Hangzhou Dianzi University, Hangzhou, Zhejiang 310018, China

Received 26 July 2013; Accepted 27 January 2014; Published 4 May 2014

Academic Editor: Nasser-eddine Tatar

Copyright © 2014 Jiecheng Chen et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We obtain space-time estimates on the solution to the Cauchy problem of damped fractional wave equation. We mainly focus on the linear equation. The almost everywhere convergence of the solution to linear equations as is also studied, with the initial data satisfying certain regularity conditions.

#### 1. Introduction

Let , , , and let be the Laplace operator. We consider the following Cauchy problem: with initial conditions Here, as usual, the fractional Laplacian is defined through the Fourier transform: for all test functions . The partial differential equation in (1) is significantly interesting in mathematics, physics, biology, and many scientific fields. It is the wave equation when , , and and it is the half wave equation when , , and . As known, the wave equation is one of the most fundamental equations in physics. Another fundamental equation in physics is the Schrödinger equation which can be deduced from (1) by letting , , and . The Schrödinger equation plays a remarkable role in the study of quantum mechanics and many other fields in physics. Also, (1) is the heat equation when , , and .

As we all know, wave equation, Schrödinger equation, heat equation, and Laplace equations are most important and fundamental types of partial differential equations. The researches on these equations and their related topics are well-mature and very rich and they are still quite active and robust research fields in modern mathematics. The reader is readily to find hundreds and thousands of interesting papers by searching the Google Scholar or checking the MathSciNet in AMS. Here we list only a few of them that are related to this research paper [1–23].

With an extra damping term in the wave equation, one obtains the damped wave equation We observe that there are also a lot of research articles in the literature addressing the above damped wave equation. Among numerous research papers we refer to [24–35] and the references therein. From the reference papers, we find that the damped wave equation (4) is well studied in many interesting topics such as the local and global well-posedness of some linear, semilinear, and nonlinear Cauchy problems and asymptotic and regularity estimates of the solution. We observe that the space frames of these studies focus on the Lebesgue spaces and the Lebesgue Sobolev spaces.

These observations motivate us to consider the Cauchy problem of a more general fractional damped wave equation: where are fixed constants. According to our best knowledge, the fractional damped wave equation was not studied in the literature, except the wave case . So our plan is to first study the linear equation (5) and to prove some estimates. In our later works, we will use those estimates to study the well-posedness of certain nonlinear equations. We can easily check that the solution of (5) is formally given by where is the Fourier multiplier with symbol (see Appendix). Thus our interest will focus on the operators Using dilation, we will restrict ourselves to the case so the theorems are all stated for (see Remark 6). We now denote These two operators are both convolution. We denote their kernels by and . Thus, we may write To state our main results, we need the following definition of admissible triplet.

*Definition 1. *A triplet is called -admissible if
where , , and .

The following theorems are part of the main results in the paper.

Theorem 2. *Let and let be -admissible and . Then for any , one has
**
Here, denotes the homogeneous Sobolev space with order , and denotes the real Hardy space.*

Theorem 3. *Let , be -admissible and . Then the damped wave operators satisfy
**
for any .*

By the above theorems, we easily obtain the following space-time estimates on the solution .

Theorem 4. *Let and let be -admissible and . For the solution of (5), one has
*

*Theorem 5. Let , be -admissible and . The solution of the damped wave equation satisfies
for any .*

*Remark 6. *For (5) with general , it is not hard to see that
where and . Therefore,
and by applying Theorem 4, we have
For , we have a similar result using Theorem 5.

*In the statement of these theorems, the notation means that there is a constant independent of all essential variables such that . Also, throughout this paper, we use the notation to mean that there exist positive constants and , independent of all essential variables such that
It is easy to see that, by the linearity, we only need to prove Theorems 2 and 3. To this end, we will carefully study the kernels
*

*Using the linearization
for small , we have
Thus for small ,
This indicates that, for near zero, behaves like the fractional heat operator (see [11, 29, 30, 36, 37]).*

*For large , we similarly have
This indicates that as near , behaves like the wave operator if and like the Schrödinger operator if ; see [12, 16, 38, 39].*

*In the same manner, the operator behaves the same as the operator . Based on these facts, we will estimate the kernels in their low frequencies, median frequencies, and high frequencies, separately, by using different methods. We will estimate the kernels in Section 2 and complete the proofs of main theorems in Section 3. Finally, in Section 4, we will study the almost everywhere convergence for the solution as . The similar convergence theorem for Schrödinger operator has been widely studied; see [3, 40–44].*

*2. Estimates on Kernels*

*As we mentioned in the first section, we will estimate the kernels and based on their different frequencies. So we will divide this section into several subsections.*

*2.1. Estimate for near Zero*

*Let be a radial function with support in and satisfy whenever . In this section we are going to obtain the decay estimates on the kernels
With those decay estimates, we then are able to obtain two bounds for the convolutions with the above two kernels. Without loss of generality, we assume . This assumption is not essential by tracking the following proofs.*

*Proposition 7. Let and be defined as above. For all , one has
*

*Proof. *The estimates of two inequalities are the same, so we will prove the first one only.

(i) If and , then it is obvious to see

(ii) If and , then by scaling
Since
we have

(iii) If and , then by (ii) we know
Using the Leibniz rule, we have
Observe that
For , using an induction argument we have
where , , and
For each fixed , there exists at least one variable such that . By integration by parts times on the variable , we obtain
The main terms needed to be estimated are
with . The other terms can be treated easily by further taking integration by parts.

We let be a radial function satisfying if and if . Let . By the partition of unity we write
We note that , and the support of together with (28) implies
Therefore
By integration by parts,
Here, an easy computation gives
For , noting that
and is supported in , we have

(iv) If and , then a similar argument, without scaling, shows that
The proposition now follows from (i)–(iv).

*Proposition 8. Let . Then for any and ,
Particularly, we have
*

*Proof. *We prove the proposition for the kernel only, since the proof for the other one is exactly the same. Let us first consider the case and . Invoking an interpolation argument [45, 46], we may assume that is a positive integer. Thus the dual space of is the homogeneous Lipschitz space (one can see the definition in [46]), which is exactly the homogeneous Hölder space . By duality we have
If , it is easy to check that
where is a homogeneous polynomial of degree . Thus, using the same argument as before we obtain
If ,
This shows that, for all ,
On the other hand, if we write
then by checking the proof of Proposition 7, we find
for all multi-indices . So by the Calderón-Torchinsky multiplier theorem [47], we also have, for all ,
Now interpolating between (51) and (54), we finish the proof for .

For the case , we use Young's inequality to get
where . By Proposition 7,

*2.2. Estimate for Lying in the Mid-Interval*

*2.2. Estimate for Lying in the Mid-Interval**Let be a radial function with support in and satisfy whenever . We first will obtain the decay estimate on the kernels
and then prove the mapping properties of the convolution operators with the above kernels. As in Section 2.1, we assume without loss of generality.*

*Proposition 9. For all and , we have
*

*Proof. *If , then the proof is the same as (i) and (ii) in the proof of Proposition 7. So we assume and . In the case of , we use the same proof as the following argument for , without taking the scaling kernel.

For , consider the scaling kernel
By the Leibniz rule,
Next we prove the following estimate:
In fact, using Taylor's expansion, we have
Then by an easy computation,
Thus, by the induction, we have
where
Since
we obtain
So (61) is proved. Note by the compact support of , we have
and we will prove, for all such ,
If , (69) then is a consequence of (61) and (28). If , then
When , similar to (33), we get
which is further bounded (note also ) by
Thus we have proved (69). Fix an and let be the variable such that . Using integration by parts times on , we obtain
By (61), (69), and the compact support of , we have
The second term can be calculated directly to finish the whole proof.

*By Proposition 9 and the same argument in proving Proposition 8, we have the following boundedness.*

*Proposition 10. Let . Then for any and ,
Particularly, we have
*

*2.3. Estimates for near the Infinity*

*2.3. Estimates for near the Infinity**Let be a radial function with support in and satisfy whenever . Defining
we have the following proposition.*

*Proposition 11. Let and . Then there exists a such that for any and , we have
*

*Proof. *We will show the case and leave the easy case to the reader. Again, we will only show the inequality of since the proof of the other one is similar.

Define an analytic family of operators
By the Plancherel formula, we have
If we can show
for Re and some , the proposition easily follows by a complex interpolation on these two inequalities for . Then we can use a trivial dual argument to achieve the proposition for the whole range of . Also, without loss of generality, we prove (81) with . Let be a standard cutoff function with support in satisfying
Defining
then (81) will follow if we prove
In fact, (84) implies
Noting that in the support of , we get (81) from the above inequality.

Next we prove (84). Let be the kernel of . By Young's inequality, it suffices to show
for some . By the definition, without loss of generality, we may write
Using the Taylor expansion with integral remainder, for , we write
where
This gives
for and . By the definition of it is easy to see that for any integer
uniformly for and .

Now we write
where the phase function is defined as
Let sets , and be defined as
where
and . Hence,
where denotes the characteristic function of a set .

Furthermore, we let
for . Then

For each , using integration by parts on the variable, it is easy to obtain that, for ,