1. Introduction
Partial differential equations can be used to describe many phenomena, such as vibrations of elastic bodies, heat conduction and fluid flow. In particular, the problem of finding analytical solutions to partial differential equations is a crucial research topic, as it is directly related to the accurate description of practical problems in fields such as physics and engineering [
1,
2]. The wave equation, as a crucial class of partial differential equations, models the propagation of diverse wave types, such as mechanical vibrations, electromagnetic waves, and disturbances in fluids. The study on the wave equation can be traced back as early as the 18th century. In 1747, D’Alembert [
3] first derived the one-dimensional wave equation in his investigation of vibrating strings.
However, in reality, the wave propagation inevitably involves energy loss, which makes the wave equation inadequate to model certain phenomena. Consequently, many scholars investigate the wave equation with damping terms. For example, Mickens [
4] revised the heat transport equation to derive a damped wave equation and obtained its analytical solution. Su [
5] compared the solutions of the phase-lagging heat transport equation and the damped wave equation. Additionally, the damped wave equation has been used to model different types of wave propagation, including pressure wave behaviour in a fluid flowing through porous formations [
6], heat conduction in porcine muscle tissue and blood [
7], the propagation of pressure waves with viscoelastic effects in fluid flow [
8], and electromagnetic wave propagation on transmission lines [
9]. However, many phenomena in nature are not entirely deterministic but involve randomness and uncertainty. Thus, some researchers have turned their attention to studying stochastic damped wave equations. In the 1970s, Pardoux [
10] investigated nonlinear stochastic damped wave equations. Extensive research on stochastic damped wave equations has been performed by Nguyen [
11], Han [
12], Cerrai [
13] and Cai [
14]. The Wiener process is often used to characterize randomness in the stochastic damped wave equation. However, this approach may not be suitable for describing some specific phenomena, such as heat conduction with lagging response. We will explain in detail in
Section 4 why it is unreasonable to use the stochastic damped wave equation alone to describe heat conduction with lagging response. This motivates us to explore new tools for characterizing uncertainties in damped wave equations.
In 2007, Liu [
15] established uncertainty theory as a mathematical approach for addressing problems involving uncertainty. Moreover, Liu [
16] further refined the theory. Liu introduced a special uncertain process named the Liu process, which is characterized by stationary independent increments that follow an uncertain normal distribution. Subsequently, Liu [
17] first proposed uncertain differential equation (UDEs) actuated by the Liu process. Chen and Liu [
18] obtained analytical solutions for several linear UDEs and established an existence and uniqueness theorem. Then, uncertainty theory was extended to the field of partial differential equations, leading to the proposal of uncertain partial differential equations (UPDEs) [
19]. A wealth of relevant research has been performed around UPDEs. Yang and Yao [
19] were the first to introduce the uncertain heat equation and derive its analytical solution. Gao and Ralescu [
20] put forward the concept of the uncertain wave equation and obtained its analytical solution. Gao [
21] further proved the existence and uniqueness theorem of the solution of the uncertain wave equation. Ye and Yang [
22] discussed the uncertain heat equation in the three-dimensional space and established its analytical solution. Yang [
23] proposed the uncertain age-structured population equation by using the Liu process to model migration noise. Qiu [
24] established the uncertain pendulum equation and obtained its solution. He [
25] defined higher-order partial derivatives for the first time and verified the solutions of higher-order uncertain partial differential equations. Yang [
26] proposed a numerical algorithm for solving uncertain partial differential equations. In uncertainty theory, the Liu process is widely applied to characterize uncertainties in various systems. In this paper, we introduce the Liu process to describe uncertainty in the damped wave equation, thereby providing a new perspective for investigating damped wave equations.
In this paper, an uncertain damped wave equation actuated by the Liu process is proposed. We derive the analytical solution of the uncertain damped wave equation and prove its uniqueness. The rest of the paper is organized as follows.
Section 2 presents the uncertain damped wave equation to model heat conduction with an uncertain heat source. In
Section 3, we derive the analytical solution of the uncertain damped wave equation and establish the uniqueness of the solution.
Section 4 proposes a paradox concerning the stochastic damped wave equation. Finally, the conclusions are provided in
Section 5.
2. Uncertain Damped Wave Equation
Based on Fourier’s law and energy conservation law, we develop the uncertain damped wave equation to model heat conduction under an external heat source with uncertain factors.
Fourier’s law governs heat transfer from higher- to lower-temperature regions through solids, liquids, or gases. This heat conduction process is characterized by the flux relation [
27]
where
u is the absolute temperature,
denotes the position vector,
denotes the time, and
and
are the heat flux density and the thermal conductivity. However, under high heat flux or low temperature, heat transfer is subject to velocity constraint. Therefore, the heat transfer model should incorporate the lagging response [
28,
29,
30,
31]
where
is the thermal relaxation time. The parameter
indicates the time lag required for establishing a stable heat conduction state when a temperature gradient is abruptly applied to a volume element. By approximating
with its first-order Taylor series, we obtain the Maxwell–Cattaneo law [
28,
29,
31]:
According to the conservation of energy law, we get
where
represents the mass density,
denotes the specific heat at constant pressure, and
is the uncertain heat source. Here,
and
is a Liu process [
16]. By combining Equations (
3) and (
4), we have
where
represents thermal diffusivity. This UPDE, a special case of the uncertain heat equation, is referred to as the uncertain damped wave equation.
More generally, the one-dimensional uncertain damped wave equation with given initial and boundary conditions
is investigated in this paper, where
denotes the damping coefficient,
is a constant,
,
,
and
are given functions.
For any given
, the uncertain damped wave Equation (
6) degenerates into a normal damped wave equation
3. Existence and Uniqueness of Solution
Theorem 1. If , and , then the solution of the uncertain damped wave Equation (
6)
iswherein which and are the Fourier sine series coefficients of the functions and , respectively. And , , , , , . Proof of Theorem 1. Using separation of variables, we assume that the solution of Equation (
6) is
The term
is expressed as the Fourier sine series, i.e.,
Combining Equations (
6), (
10) and (
11), we establish
For any given
, Equation (
12) degenerates to a normal ordinary differential equation
Next, we prove
satisfies Equation (
13) for the following three cases.
(1) If
, we obtain the two distinct roots by solving the characteristic Equation (
13)
Based on the variation of parameters, we assume that the solution of Equations (
13) takes the form
Note that
Letting
then we derive
From Equations (
13), (
14) and (
17), we obtain
By solving Equations (
16) and (
18), we have
where
and
are constants.
Combining Equations (
14), (
19) and (
20) leads to
Therefore, the derivative of Equation (
21) is
Suppose that
and
admit the following Fourier series expansions
From the initial conditions in Equation (
7), we derive
Solving Equation (
23), we obtain
Therefore, Equation (
21) is the solution of Equation (
13).
(2) If
, the characteristic equation of Equation (
13) has a repeated root
Using variation of parameters, we assume that the solution of Equation (
13) is postulated in the form
Setting
we obtain
Computing the second derivative of
and combining Equations (
13), (
25) and (
27), we have
Solving Equations (
26) and (
28) gives
where
and
b are constants.
Substituting Equations (
29) and (
30) into (
25) gives
Note that
According to the initial conditions, we derive
which yields
Consequently, the solution of Equation (
13) is Equation (
31).
(3) If
, the characteristic equation of Equation (
13) has two complex roots
Note that these two roots are symmetric with respect to the real axis. By applying variation of parameters, the solution of Equation (
13) takes the form
Similar to the case
, we have
From Equations (
35) and (
36), we derive
where
and
are constants.
Substituting Equations (
37) and (
38) into (
34) yields
Note that Equation (
13) has two complex-valued solutions
Since the coefficients of Equation (
13) are real constants, the real part
and the imaginary part
are two real-valued solutions to Equation (
13). Thus, the solution of Equation (
13) is
Then, we have
Based on the initial conditions, we derive
which means
Therefore, Equation (
40) is the solution of Equation (
13).
In conclusion,
is the solution of Equation (
12). □
Theorem 2. If defined in Equation (8)is a twice continuously differentiable solution of the uncertain damped wave Equation (
6)
, then is unique. Proof of Theorem 2. For any
, assuming that
and
are two solutions of the Equation (
7). Then
is the solution of the following problem:
Let
. It follows that
which indicates
is monotonically decreasing. Hence, we obtain
Since
, we can deduce
. It follows that
Combining Equations (
44) and (
45) yields
Additionally, it is evident that
From Equations (
46) and (
47), we can derive
. For any
, we obtain
. It means that
is a constant function. Because the initial condition
, we obtain
. Therefore, the uncertain damped wave Equation (
6) admits a unique solution. □
Next, the following three examples are presented to demonstrate the effectiveness of the analytical solution. In Example 1, the function is linear, while in Examples 2 and 3, it adopts nonlinear forms involving exponential and trigonometric functions.
Example 1. Consider an uncertain damped wave equation
Based on Theorem 1, setting
yields
If
, we obtain
It can be seen that
for any
n. Then the coefficients are given by
and
where
.
Therefore, the solution of Equation (
48) is
Example 2. Consider an uncertain damped wave equation
From Theorem 1, it is evident that
. When
, we obtain
. Therefore, the coefficient is
If
, we have
. Hence the coefficients can be written as
In summary, the solution of Equation (
49) is
To intuitively present the solution to Example 2, the finite difference method is employed for the numerical solution of the uncertain damped wave Equation (
49). An explicit difference scheme is established by approximating
,
, and
in the equation using central difference quotients. The uncertain term
in the equation is replaced with a randomly generated standard normal uncertain distribution sequence. The simulation process is repeated 1000 times and the average of the 1000 solution samples at each grid point serves as the estimated value of the expectation for the point.
Figure 1 illustrates the variation of
with respect to space
y and time
.
Example 3. Consider an uncertain damped wave equation
Following Theorem 1, we conclude that
. Letting
, we have
. Hence the coefficient is
Similarly, if
then we obtain
and the coefficient
is given as
For
, we have
and the coefficients
are
Therefore, the solution of Equation (
50) is
Similarly, we also solve Example 3 by using the numerical method proposed in Example 2.
Figure 2 shows the variation of
with respect to space
y and time
.
4. The Paradox in the Stochastic Damped Wave Equation
This section proposes a stochastic damped wave equation paradox to illustrate the necessity of considering uncertain damped wave equations. We consider a homogeneous, thermally conductive solid rod with constant cross-sectional area and constant thermal diffusivity. Similar to the derivation of Equations (
4), if a stochastic process is used to model the external force, we obtain
where
denotes a stochastic heat source,
is a standard Wiener process and the white noise is defined by
. Using the MC law, the following stochastic damped wave equation models the heat conduction in the solid rod [
11,
12,
19]
where
is the thermal diffusivity,
represents the absolute temperature, and
is a stochastic heat source. Note that
which indicates that
is a normally distributed random variable with mean 0 and variance
. To explain the problem simply, we consider the case
where
and
are real-valued and bounded on their domain. Then we obtain
and
Therefore, we have
where
N is a large enough constant and
represents the standard normal distribution function. The result indicates that
This implies that for any
y and
, at least one of
,
, and
must be infinite
. However, the three terms
(acceleration of temperature change),
(rate of temperature change) and
(acceleration of temperature change with respect to
y) are bounded for arbitrary
y and
. Thus, it is unreasonable for Equations (
52) to follow the heat conduction with stochastic heat source.
In summary, Equation (
52) is applicable for modelling heat conduction phenomena where the second time derivative, the first time derivative, or the second spatial derivative of temperature is infinite. However, thermal wave speed is finite in practical cases. Consequently, it is more appropriate to adopt an uncertain damped wave equation to describe such phenomena.
When tackling problems that involve randomness, researchers usually rely on probability theory as their primary mathematical tool. However, due to the inherent variability and complexity of random events, the process of obtaining their distributions consumes large amounts of labour, materials, and technological means. Moreover, as Liu [
15] points out, some distributions fail to align sufficiently with real-world true frequencies. This is because the evolution of certain phenomena is non-random, and when emergencies (such as wars, rumours, floods, and earthquakes) occur, people typically lack the historical data needed to address these scenarios. Under such circumstances, the probability theory is no longer applicable. The uncertainty theory is another axiomatic mathematical system specifically developed for handling such uncertain scenarios. Continuous and intensive research is also being conducted on the uncertainty theory.