1. Introduction

jamp

Journal of Applied Mathematics and Physics

2327-4352 2327-4379

Scientific Research Publishing

10.4236/jamp.2025.131008

jamp-140004

Articles

Physics Mathematics

General Solutions’ Laws of Nonlinear Partial Differential Equations

Honglai

Zhu

aSchool of Physics and Electronic Information, Huaibei Normal University, Huaibei, China

03 01 2025

13 01 166 208 12, December 2024 17, December 2024 17, January 2025

2014

This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/

In previous papers, we proposed the important

Z

transformations and obtained general solutions to a large number of linear and quasi-linear partial differential equations for the first time. In this paper, we will use the

Z_{1}

transformation to get the general solutions of some nonlinear partial differential equations for the first time, and use the general solutions to obtain the exact solutions of some typical definite solution problems.

Transformation Nonlinear Partial Differential Equations Analytical Solution General Solution Definite Solution Problems

1. Introduction

The general solution of nonlinear ordinary differential equations (ODEs) is a field which has been studied in depth [1] , and many research results have been acquired, such as Abel equation [2] - [5] , Riccati equation [6] and so on.

Since the birth of the discipline of partial differential equations (PDEs), there are very few cases that general solutions of linear PDEs can be obtained [7] [8] , and the general solution of nonlinear PDEs is one of the most mysterious areas of mathematics in which few mathematicians have studied [8] [9] . Current research directions for nonlinear PDEs are mainly:

1) Use diversified analysis methods to get exact solutions [10] - [14] , such as tanh-coth expansion method [15] , exp-function method [16] - [18] , tanh-expansion method [19] , homogeneous balance method [20] - [22] and so on. Among them, the study of solitary wave solutions is one of the most concerned focuses.

2) Use various numerical methods to study the definite solution problems [23] - [27] .

3) Using qualitative theory to analyze the problem of definite solutions, such as the existence [28] - [30] , uniqueness [31] [32] , asymptotic behavior of solutions [33] [34] and so on.

4) Exact solutions and qualitative theory for some fractional nonlinear PDEs [35] .

In our previous paper [36] - [41] , general solutions of many differential equation were obtained using the newly proposed $Z$ transformations and $Z_{A}$ method. In this paper, we will use $Z_{1}$ transformation to solve some typical non-linear PDEs, and analyze some definite solution problems.

2. General Solutions of Some Nonlinear PDEs and Exact Solutions of Some Definite Solution Problems

In the previous paper [36] ,

$a_{1} u_{x_{1}} + a_{2} u_{x_{2}} + a_{3} u_{x_{3}} = 0,$ (1)

we used to get the solution of Equation (1) in $ℝ^{3}$ is

$u = f (\frac{- a_{2} c_{2} - a_{3} c_{3}}{a_{1}} x_{1} + c_{2} x_{2} + c_{3} x_{3}, \frac{- a_{2} c_{5} - a_{3} c_{6}}{a_{1}} x_{1} + c_{5} x_{2} + c_{6} x_{3}) .$ (2)

In the following, we will use the $Z_{1}$ transformation to obtain analytical solutions similar to Equation (2) for nonlinear partial differential equations. Theorem 1 is presented first.

Theorem 1. In $ℝ^{3}$ , if

$Θ (a_{1} u_{t}^{2} + a_{2} u_{x}^{2} + a_{3} u_{y}^{2} + a_{4} u_{t} u_{x} + a_{5} u_{x} u_{y} + a_{6} u_{y} u_{t}) + Λ (a_{7} u_{t} + a_{8} u_{x} + a_{9} u_{y}) = 0,$ (3)

where $a_{i}$ are any known constants ( $1 \leq i \leq 9$ ), $Θ = Θ (t, x, y, u, u_{t}, \dots, u_{t x y}, \dots)$ , $Λ = Λ (t, x, y, u, u_{t}, \dots, u_{t x y}, \dots)$ , then the analytical solution of Equation (3) is

$u = f (v, w),$ (4)

$v = k_{1} t + k_{2} x + k_{3} y + k_{4},$ (5)

$w = k_{5} t + k_{6} x + k_{7} y + k_{8},$ (6)

where $f$ is an arbitrary smooth function, $v$ and $w$ are independent of each other, and the constants $k_{1}, k_{2}, k_{3}, k_{5}, k_{6}, k_{7}$ need satisfy

$a_{1} k_{1}^{2} + a_{2} k_{2}^{2} + a_{3} k_{3}^{2} + a_{4} k_{1} k_{2} + a_{5} k_{2} k_{3} + a_{6} k_{1} k_{3} = 0,$ (7)

$a_{1} k_{5}^{2} + a_{2} k_{6}^{2} + a_{3} k_{7}^{2} + a_{4} k_{5} k_{6} + a_{5} k_{6} k_{7} + a_{6} k_{5} k_{7} = 0,$ (8)

$a_{7} k_{1} + a_{8} k_{2} + a_{9} k_{3} = 0,$ (10)

$a_{7} k_{5} + a_{8} k_{6} + a_{9} k_{7} = 0.$ (11)

Proof. According to $Z_{1}$ transformation, set $u = f (v, w)$ , $v = k_{1} t + k_{2} x + k_{3} y + k_{4}$ , $w = k_{5} t + k_{6} x + k_{7} y + k_{8}$ . $k_{1}, k_{2}, \dots, k_{8}$ are undetermined constants, $v$ and $w$ are independent of each other, so

$\begin{array}{l} Θ (a_{1} u_{t}^{2} + a_{2} u_{x}^{2} + a_{3} u_{y}^{2} + a_{4} u_{t} u_{x} + a_{5} u_{x} u_{y} + a_{6} u_{y} u_{t}) + Λ (a_{7} u_{t} + a_{8} u_{x} + a_{9} u_{y}) \\ = Θ a_{1} {(k_{1} f_{v} + k_{5} f_{w})}^{2} + Θ a_{2} {(k_{2} f_{v} + k_{6} f_{w})}^{2} + Θ a_{3} {(k_{3} f_{v} + k_{7} f_{w})}^{2} \\ + Θ a_{4} (k_{1} f_{v} + k_{5} f_{w}) (k_{2} f_{v} + k_{6} f_{w}) + Θ a_{5} (k_{2} f_{v} + k_{6} f_{w}) (k_{3} f_{v} + k_{7} f_{w}) \\ + Θ a_{6} (k_{3} f_{v} + k_{7} f_{w}) (k_{1} f_{v} + k_{5} f_{w}) + Λ a_{7} (k_{1} f_{v} + k_{5} f_{w}) \\ + Λ a_{8} (k_{2} f_{v} + k_{6} f_{w}) + Λ a_{9} (k_{3} f_{v} + k_{7} f_{w}) \\ = 0. \end{array}$

Namely

$\begin{array}{l} Θ f_{v}^{2} (a_{1} k_{1}^{2} + a_{2} k_{2}^{2} + a_{3} k_{3}^{2} + a_{4} k_{1} k_{2} + a_{5} k_{2} k_{3} + a_{6} k_{1} k_{3}) \\ + Θ f_{w}^{2} (a_{1} k_{5}^{2} + a_{2} k_{6}^{2} + a_{3} k_{7}^{2} + a_{4} k_{5} k_{6} + a_{5} k_{6} k_{7} + a_{6} k_{5} k_{7}) \\ + Θ f_{v} f_{w} (2 a_{1} k_{1} k_{5} + 2 a_{2} k_{2} k_{6} + 2 a_{3} k_{3} k_{7} + a_{4} (k_{1} k_{6} + k_{2} k_{5}) \\ + a_{5} (k_{2} k_{7} + k_{3} k_{6}) + a_{6} (k_{3} k_{5} + k_{1} k_{7})) \\ + Λ f_{v} (a_{7} k_{1} + a_{8} k_{2} + a_{9} k_{3}) + Λ f_{w} (a_{7} k_{5} + a_{8} k_{6} + a_{9} k_{7}) = 0. \end{array}$

Set

$a_{1} k_{1}^{2} + a_{2} k_{2}^{2} + a_{3} k_{3}^{2} + a_{4} k_{1} k_{2} + a_{5} k_{2} k_{3} + a_{6} k_{1} k_{3} = 0,$

$a_{1} k_{5}^{2} + a_{2} k_{6}^{2} + a_{3} k_{7}^{2} + a_{4} k_{5} k_{6} + a_{5} k_{6} k_{7} + a_{6} k_{5} k_{7} = 0,$

$a_{7} k_{1} + a_{8} k_{2} + a_{9} k_{3} = 0,$

$a_{7} k_{5} + a_{8} k_{6} + a_{9} k_{7} = 0.$

Therefore, the analytical solution of Equation (3) is

$u = f (v, w)$

The theorem is proven. $□$

In Theorem 1, if all partial derivatives in $Θ$ and $Λ$ are of first order, then (4) is a general solution of (3). Next, we use Theorem 1 to analyze a definite solution problem.

Example 1. In $ℝ^{3}$ , use Theorem 1 to obtain the analytical solution of

$\begin{array}{l} (u_{t}^{5} + u_{x}^{3}) (3 u_{t}^{2} + 3 u_{x}^{2} + 3 u_{y}^{2} - 10 u_{t} u_{x} + 6 u_{x} u_{y} - 10 u_{y} u_{t}) \\ - (u_{t}^{2} + u_{y}^{2}) (9 u_{t} + 3 u_{x} + 3 u_{y}) = 0, \end{array}$ (12)

in the condition of $u (0, x, y) = g (x, y)$ , $g$ is an arbitrary known first differentiable function.

Solution. According to Theorem 1, the general solution of (12) is

$u (t, x, y) = f (t + k_{2} x + (3 - k_{2}) y, t + k_{6} x + (3 - k_{6}) y) .$ (13)

$u (0, x, y) = f (k_{2} x + (3 - k_{2}) y, k_{6} x + (3 - k_{6}) y) = g (x, y) .$

Set

$k_{2} x + (3 - k_{2}) y = β, k_{6} x + (3 - k_{6}) y = γ .$ (14)

We obtain

$y = \frac{k_{6} β - k_{2} γ}{3 k_{6} - 3 k_{2}},$

$x = \frac{β}{k_{2}} + \frac{k_{6} β - k_{2} γ}{3 k_{6} - 3 k_{2}} - \frac{k_{6} β - k_{2} γ}{k_{2} k_{6} - k_{2}^{2}} .$

Namely

$\begin{matrix} u (0, x, y) = f (k_{2} x + (3 - k_{2}) y, k_{6} x + (3 - k_{6}) y) \\ = g (\frac{β}{k_{2}} + \frac{k_{6} β - k_{2} γ}{3 k_{6} - 3 k_{2}} - \frac{k_{6} β - k_{2} γ}{k_{2} k_{6} - k_{2}^{2}}, \frac{k_{6} β - k_{2} γ}{3 k_{6} - 3 k_{2}}) . \end{matrix}$ (15)

Set

$t + k_{2} x + (3 - k_{2}) y = β, t + k_{6} x + (3 - k_{6}) y = γ .$

We get

$\frac{β}{k_{2}} + \frac{k_{6} β - k_{2} γ}{3 k_{6} - 3 k_{2}} - \frac{k_{6} β - k_{2} γ}{k_{2} k_{6} - k_{2}^{2}} = \frac{t + 3 x}{3},$

$\frac{k_{6} β - k_{2} γ}{3 k_{6} - 3 k_{2}} = \frac{t + 3 y}{3} .$

Then the analytical solution of the definite solution problem is

$u (t, x, y) = g (\frac{t + 3 x}{3}, \frac{t + 3 y}{3}) .$ (16)

According to Example 1, we can directly obtain the analytical solution of Equation (12) in various initial value conditions. If the initial value condition is $u (0, x, y) = \sin (2 x + y) + e^{4 x - y}$ , the corresponding analytical solution is $u = \sin (t + 2 x + y) + e^{t + 4 x - y}$ .

According to Theorem 1, set $k_{5} = k_{6} = k_{7} = k_{8} = 0$ , we can get Theorem 2.

Theorem 2. In $ℝ^{3}$ , if

$Θ (a_{1} u_{t}^{2} + a_{2} u_{x}^{2} + a_{3} u_{y}^{2} + a_{4} u_{t} u_{x} + a_{5} u_{x} u_{y} + a_{6} u_{y} u_{t}) + Λ (a_{7} u_{t} + a_{8} u_{x} + a_{9} u_{y}) = 0,$

$u = f (v),$ (17)

where $f$ is an arbitrary smooth function, $v = k_{1} t + k_{2} x + k_{3} y + k_{4}$ , and the constants $k_{1}, k_{2}, k_{3}$ need satisfy

$a_{1} k_{1}^{2} + a_{2} k_{2}^{2} + a_{3} k_{3}^{2} + a_{4} k_{1} k_{2} + a_{5} k_{2} k_{3} + a_{6} k_{1} k_{3} = 0,$

$a_{7} k_{1} + a_{8} k_{2} + a_{9} k_{3} = 0.$

The reason why we propose Theorem 2 is that there is no an analytical solution in the form of $u = f (v, w)$ of Equation (3), such as examples 2 and 3.

Example 2. Prove that $a_{1} u_{t}^{2} + a_{2} u_{x}^{2} + a_{3} u_{y}^{2} + a_{4} u_{t} u_{x} + a_{5} u_{x} u_{y} + a_{6} u_{y} u_{t} + a_{7} u_{t} = 0$ does not have an analytical solution in the form of $u = f (v, w)$ , $a_{i}$ are any known constants ( $1 \leq i \leq 7$ ), $a_{7} \neq 0$ .

Proof. According to Theorem 1, if $a_{1} u_{t}^{2} + a_{2} u_{x}^{2} + a_{3} u_{y}^{2} + a_{4} u_{t} u_{x} + a_{5} u_{x} u_{y} + a_{6} u_{y} u_{t} + a_{7} u_{t} = 0$ has an analytical solution in the form of $u = f (v, w)$ , and

$v = k_{1} t + k_{2} x + k_{3} y + k_{4}, w = k_{5} t + k_{6} x + k_{7} y + k_{8},$

$a_{1} k_{1}^{2} + a_{2} k_{2}^{2} + a_{3} k_{3}^{2} + a_{4} k_{1} k_{2} + a_{5} k_{2} k_{3} + a_{6} k_{1} k_{3} = 0,$

$a_{1} k_{5}^{2} + a_{2} k_{6}^{2} + a_{3} k_{7}^{2} + a_{4} k_{5} k_{6} + a_{5} k_{6} k_{7} + a_{6} k_{5} k_{7} = 0,$

$a_{7} k_{1} = 0,$

$a_{7} k_{5} = 0.$

For $a_{7} \neq 0$ , we get

$k_{1} = k_{5} = 0.$

$a_{2} k_{2}^{2} + a_{3} k_{3}^{2} + a_{5} k_{2} k_{3} = 0,$

$a_{2} k_{6}^{2} + a_{3} k_{7}^{2} + a_{5} k_{6} k_{7} = 0,$

$2 a_{2} k_{2} k_{6} + 2 a_{3} k_{3} k_{7} + a_{5} (k_{2} k_{7} + k_{3} k_{6}) = 0.$

Since $f$ is an arbitrary first differentiable function, we may set

$k_{2} = k_{6} = 1.$

Then

$a_{2} + a_{3} k_{3}^{2} + a_{5} k_{3} = 0,$

$a_{2} + a_{3} k_{7}^{2} + a_{5} k_{7} = 0,$

$2 a_{2} + 2 a_{3} k_{3} k_{7} + a_{5} (k_{7} + k_{3}) = 0.$

Set

$k_{3} = \frac{- a_{5} + \sqrt{a_{5}^{2} - 4 a_{2} a_{3}}}{2 a_{3}},$

$k_{7} = \frac{- a_{5} - \sqrt{a_{5}^{2} - 4 a_{2} a_{3}}}{2 a_{3}} .$

$2 a_{2} + 2 a_{3} k_{3} k_{7} + a_{5} (k_{7} + k_{3}) = 2 a_{2} + 2 a_{2} - \frac{a_{5}^{2}}{a_{3}} = 0.$

Namely

$a_{5}^{2} = 4 a_{2} a_{3} .$

We obtain $k_{3} = k_{7}$ , $v$ and $w$ are not independent of each other. That is, $a_{1} u_{t}^{2} + a_{2} u_{x}^{2} + a_{3} u_{y}^{2} + a_{4} u_{t} u_{x} + a_{5} u_{x} u_{y} + a_{6} u_{y} u_{t} + a_{7} u_{t} = 0$ does not have an analytical solution similar to the $u = f (v, w)$ form of Theorem 1.

Example 3. Prove that $a_{1} u_{t}^{2} + a_{2} u_{x}^{2} + a_{3} u_{y}^{2} + a_{4} u_{t} u_{x} + a_{5} u_{x} u_{y} + a_{6} u_{y} u_{t} + a_{7} u_{t} - a_{7} u_{x} = 0$ does not have an analytical solution similar to Theorem 1, $a_{i}$ are any known constants ( $1 \leq i \leq 7$ ), $a_{7} \neq 0$ .

Proof. According to Theorem 1, if $a_{1} u_{t}^{2} + a_{2} u_{x}^{2} + a_{3} u_{y}^{2} + a_{4} u_{t} u_{x} + a_{5} u_{x} u_{y} + a_{6} u_{y} u_{t} + a_{7} u_{t} - a_{7} u_{x} = 0$ has an analytical solution in the form of $u = f (v, w)$ , and

$v = k_{1} t + k_{2} x + k_{3} y + k_{4}, w = k_{5} t + k_{6} x + k_{7} y + k_{8},$

$a_{1} k_{1}^{2} + a_{2} k_{2}^{2} + a_{3} k_{3}^{2} + a_{4} k_{1} k_{2} + a_{5} k_{2} k_{3} + a_{6} k_{1} k_{3} = 0,$

$a_{1} k_{5}^{2} + a_{2} k_{6}^{2} + a_{3} k_{7}^{2} + a_{4} k_{5} k_{6} + a_{5} k_{6} k_{7} + a_{6} k_{5} k_{7} = 0,$

$k_{1} = k_{2},$

$k_{5} = k_{6} .$

Since $f$ is an arbitrary first differentiable function, we may set

$k_{1} = k_{2} = k_{5} = k_{6} = 1.$

$\begin{array}{l} a_{1} k_{1}^{2} + a_{2} k_{2}^{2} + a_{3} k_{3}^{2} + a_{4} k_{1} k_{2} + a_{5} k_{2} k_{3} + a_{6} k_{1} k_{3} \\ = a_{3} k_{3}^{2} + (a_{5} + a_{6}) k_{3} + a_{1} + a_{2} + a_{4} = 0, \end{array}$

$\begin{array}{l} a_{1} k_{5}^{2} + a_{2} k_{6}^{2} + a_{3} k_{7}^{2} + a_{4} k_{5} k_{6} + a_{5} k_{6} k_{7} + a_{6} k_{5} k_{7} \\ = a_{3} k_{7}^{2} + (a_{5} + a_{6}) k_{7} + a_{1} + a_{2} + a_{4} = 0. \end{array}$

Set

$k_{3} = \frac{- a_{5} - a_{6} + \sqrt{{(a_{5} + a_{6})}^{2} - 4 a_{3} (a_{1} + a_{2} + a_{4})}}{2 a_{3}},$

$k_{7} = \frac{- a_{5} - a_{6} - \sqrt{{(a_{5} + a_{6})}^{2} - 4 a_{3} (a_{1} + a_{2} + a_{4})}}{2 a_{3}} .$

Then

$\begin{array}{l} 2 a_{1} k_{1} k_{5} + 2 a_{2} k_{2} k_{6} + 2 a_{3} k_{3} k_{7} + a_{4} (k_{1} k_{6} + k_{2} k_{5}) \\ + a_{5} (k_{2} k_{7} + k_{3} k_{6}) + a_{6} (k_{3} k_{5} + k_{1} k_{7}) \\ = 2 a_{1} + 2 a_{2} + 2 a_{3} k_{3} k_{7} + 2 a_{4} + a_{5} (k_{7} + k_{3}) + a_{6} (k_{3} + k_{7}) \\ = 4 (a_{1} + a_{2} + a_{4}) - \frac{{(a_{5} + a_{6})}^{2}}{a_{3}} = 0. \end{array}$

Namely

$4 a_{3} (a_{1} + a_{2} + a_{4}) = {(a_{5} + a_{6})}^{2} .$

We obtain $k_{3} = k_{7}$ , $v$ and $w$ are not independent of each other. That is, $a_{1} u_{t}^{2} + a_{2} u_{x}^{2} + a_{3} u_{y}^{2} + a_{4} u_{t} u_{x} + a_{5} u_{x} u_{y} + a_{6} u_{y} u_{t} + a_{7} u_{t} - a_{7} u_{x} = 0$ does not have an analytical solution similar to the $u = f (v, w)$ form of Theorem 1.

Next, we use Theorem 2 to analyze a definite solution problem.

Example 4. In $ℝ^{3}$ , use Theorem 2 to obtain the analytical solution of

$(u_{t}^{2} + u_{x} u_{y}) (u_{t}^{2} + u_{x}^{2} - u_{y}^{2} - u_{t} u_{x} + u_{x} u_{y} - u_{y} u_{t}) + (u_{x}^{2} - u_{t} u_{x}) {(u_{t} - u_{x})}^{2} = 0,$ (18)

in the condition of $u (0, y, z) = \sum_{i} φ_{i} (κ_{i} x - κ_{i} y + λ_{i})$ , $φ_{i}$ are arbitrary known first differentiable functions, $κ_{i}$ and $λ_{i}$ are any known constants.

Solution. According to Theorem 2, the general solution of (18) is

$u = f (k_{1} t + k_{2} x + k_{3} y + k_{4}),$

and

$k_{1}^{2} + k_{2}^{2} - k_{3}^{2} - k_{1} k_{2} + k_{2} k_{3} - k_{1} k_{3} = 0,$

$k_{1} = k_{2} .$

Then

$k_{1}^{2} + k_{2}^{2} - k_{3}^{2} - k_{1} k_{2} + k_{2} k_{3} - k_{1} k_{3} = k_{1}^{2} - k_{3}^{2} = 0,$

$k_{3} = \pm k_{1} .$

That is, the solution of (18) is

$u = f (k_{1} t + k_{1} x + k_{1} y + k_{4}) = \sum_{i} f_{i} (k_{1_{i}} t + k_{1_{i}} x + k_{1_{i}} y + k_{4_{i}}) .$ (19)

$u = f (k_{1} t + k_{1} x - k_{1} y + k_{4}) = \sum_{i} f_{i} (k_{1_{i}} t + k_{1_{i}} x - k_{1_{i}} y + k_{4_{i}}) .$ (20)

Since the initial value condition is

$u (0, x, y) = \sum_{i} φ_{i} (κ_{i} x - κ_{i} y + λ_{i}) .$

Then the corresponding general solution of (18) is (20), set

$f_{i} = φ_{i}, k_{1_{i}} = κ_{i}, k_{4_{i}} = λ_{i} .$

So the analytical solution of the definite solution problem is

$u (t, x, y) = \sum_{i} φ_{i} (κ_{i} t + κ_{i} x - κ_{i} y + λ_{i}) .$ (21)

According to Theorem 2, we can obtain Theorem 3.

Theorem 3. In $ℝ^{2}$ , if

$Θ (a_{1} u_{t}^{2} + a_{2} u_{x}^{2} + a_{3} u_{t} u_{x}) + Λ (a_{4} u_{t} + a_{5} u_{x}) = 0,$ (22)

where $a_{i}$ are known constants ( $1 \leq i \leq 5$ ), $Θ = Θ (t, x, u, u_{t}, \dots, u_{t x}, \dots)$ , $Λ = Λ (t, x, u, u_{t}, \dots, u_{t x}, \dots)$ , then the analytical solution of Equation (22) is

$u = f (\frac{- a_{5} k_{2}}{a_{4}} t + k_{2} x + k_{3}),$ (23)

where $f$ is an arbitrary smooth function, $k_{2}$ and $k_{3}$ are arbitrary constants, and $a_{i}$ need satisfy

$a_{1} a_{5}^{2} + a_{2} a_{4}^{2} - a_{3} a_{4} a_{5} = 0.$ (24)

Proof. According to Theorem 2, the analytical solution of (22) is

$u = f (k_{1} t + k_{2} x + k_{3}),$

$k_{1}, k_{2}$ and $k_{3}$ satisfy

$a_{1} k_{1}^{2} + a_{2} k_{2}^{2} + a_{3} k_{1} k_{2} = 0,$

$a_{4} k_{1} + a_{5} k_{2} = 0.$

$k_{1} = \frac{- a_{5} k_{2}}{a_{4}},$

$\begin{array}{l} a_{1} k_{1}^{2} + a_{2} k_{2}^{2} + a_{3} k_{1} k_{2} = a_{1} \frac{a_{5}^{2}}{a_{4}^{2}} k_{2}^{2} + a_{2} k_{2}^{2} - \frac{a_{3} a_{5} k_{2}^{2}}{a_{4}} = 0 \\ \Rightarrow a_{1} a_{5}^{2} + a_{2} a_{4}^{2} - a_{3} a_{4} a_{5} = 0. \end{array}$

Therefore, the analytical solution of Equation (22) is

$u = f (\frac{- a_{5} k_{2}}{a_{4}} t + k_{2} x + k_{3}),$

and $a_{i}$ need satisfy

$a_{1} a_{5}^{2} + a_{2} a_{4}^{2} - a_{3} a_{4} a_{5} = 0.$

The theorem is proven. $□$

If the initial value condition of (22) is

$u (0, x) = g (x) .$

Set $k_{3} = 0$ , so

$u (t, x) = f (\frac{- a_{5} k_{2}}{a_{4}} t + k_{2} x) = g (\frac{- a_{5}}{a_{4}} t + x),$

that is, the exact solution of the definite solution problem is $u (t, x) = g (\frac{- a_{5}}{a_{4}} t + x)$ .

Next we propose Theorem 4.

Theorem 4. In $ℝ^{3}$ , if

$Θ {(a_{1} u_{t}^{2} + a_{2} u_{x}^{2} + a_{3} u_{y}^{2} + a_{4} u_{t} u_{x} + a_{5} u_{x} u_{y} + a_{6} u_{y} u_{t})}^{n} + Λ {(a_{7} u_{t} + a_{8} u_{x} + a_{9} u_{y})}^{m} = 0,$ (25)

where $a_{i}$ are any known constants ( $1 \leq i \leq 9$ ), $Θ = Θ (t, x, y, u, u_{t}, \dots, u_{t x y}, \dots)$ , $Λ = Λ (t, x, y, u, u_{t}, \dots, u_{t x y}, \dots)$ , $n \geq 1$ , $m \geq 1$ , then the analytical solution of Equation (25) is

$u = f (v, w),$

$v = k_{1} t + k_{2} x + k_{3} y + k_{4}, w = k_{5} t + k_{6} x + k_{7} y + k_{8},$

where $f$ is an arbitrary smooth function, $v$ and $w$ are independent of each other, and the constants $k_{1}, k_{2}, k_{3}, k_{5}, k_{6}, k_{7}$ need satisfy

$a_{1} k_{1}^{2} + a_{2} k_{2}^{2} + a_{3} k_{3}^{2} + a_{4} k_{1} k_{2} + a_{5} k_{2} k_{3} + a_{6} k_{1} k_{3} = 0,$

$a_{1} k_{5}^{2} + a_{2} k_{6}^{2} + a_{3} k_{7}^{2} + a_{4} k_{5} k_{6} + a_{5} k_{6} k_{7} + a_{6} k_{5} k_{7} = 0,$

$a_{7} k_{1} + a_{8} k_{2} + a_{9} k_{3} = 0,$

$a_{7} k_{5} + a_{8} k_{6} + a_{9} k_{7} = 0.$

Proof. Set

$Θ^{'} = Θ {(a_{1} u_{t}^{2} + a_{2} u_{x}^{2} + a_{3} u_{y}^{2} + a_{4} u_{t} u_{x} + a_{5} u_{x} u_{y} + a_{6} u_{y} u_{t})}^{n - 1},$

$Λ^{'} = Λ {(a_{7} u_{t} + a_{8} u_{x} + a_{9} u_{y})}^{m - 1} .$

Then

$\begin{array}{l} Θ {(a_{1} u_{t}^{2} + a_{2} u_{x}^{2} + a_{3} u_{y}^{2} + a_{4} u_{t} u_{x} + a_{5} u_{x} u_{y} + a_{6} u_{y} u_{t})}^{n} + Λ {(a_{7} u_{t} + a_{8} u_{x} + a_{9} u_{y})}^{m} \\ = Θ^{'} (a_{1} u_{t}^{2} + a_{2} u_{x}^{2} + a_{3} u_{y}^{2} + a_{4} u_{t} u_{x} + a_{5} u_{x} u_{y} + a_{6} u_{y} u_{t}) + Λ^{'} (a_{7} u_{t} + a_{8} u_{x} + a_{9} u_{y}) = 0. \end{array}$

Obviously $Θ^{'} = Θ^{'} (t, x, y, u, u_{t}, \dots, u_{t x y}, \dots)$ , $Λ^{'} = Λ^{'} (t, x, y, u, u_{t}, \dots, u_{t x y}, \dots)$ , according to Theorem 1, the analytical solution of the above equation is (4), so the theorem is proved. $□$

Theorem 4 explains that the analytical solution of (25) is independent of $Θ$ , $Λ$ , $n$ and $m$ , that is, analytical solutions of these infinitely many nonlinear PDEs are the same. Theorems 2 and 3 also have similar laws, which we will not elaborate here.

Next we propose Theorem 5.

Theorem 5. In $ℝ^{3}$ , if

$Θ (a_{1} u_{t}^{2} + a_{2} u_{x}^{2} + a_{3} u_{y}^{2} + a_{4} u_{t} u_{x} + a_{5} u_{x} u_{y} + a_{6} u_{y} u_{t}) + A (a_{7} u_{t} + a_{8} u_{x} + a_{9} u_{y}) = B,$ (26)

where $a_{i}$ are any known constants ( $1 \leq i \leq 9$ ), $Θ = Θ (t, x, y, u, u_{t}, \dots, u_{t x y}, \dots)$ , $A = A (t, x, y)$ , $B = B (t, x, y)$ , then the analytical solution of Equation (26) is

$u = f (p, q) + \frac{\int \frac{B (p, q, r)}{A (p, q, r)} d r}{a_{7} k_{7} + a_{8} k_{8} + a_{9} k_{9}},$ (27)

$p = k_{1} t + k_{2} x + k_{3} y, q = k_{4} t + k_{5} x + k_{6} y, r = k_{7} t + k_{8} x + k_{9} y,$ (28)

where $f$ is an arbitrary smooth function, and the constants $k_{1}, k_{2}, \dots, k_{9}$ need satisfy

$- k_{3} k_{5} k_{7} + k_{2} k_{6} k_{7} + k_{3} k_{4} k_{8} - k_{1} k_{6} k_{8} - k_{2} k_{4} k_{9} + k_{1} k_{5} k_{9} \neq 0,$ (29)

$a_{1} k_{1}^{2} + a_{2} k_{2}^{2} + a_{3} k_{3}^{2} + a_{4} k_{1} k_{2} + a_{5} k_{2} k_{3} + a_{6} k_{1} k_{3} = 0,$ (30)

$a_{1} k_{4}^{2} + a_{2} k_{5}^{2} + a_{3} k_{6}^{2} + a_{4} k_{4} k_{5} + a_{5} k_{5} k_{6} + a_{6} k_{4} k_{6} = 0,$ (31)

$a_{1} k_{7}^{2} + a_{2} k_{8}^{2} + a_{3} k_{9}^{2} + a_{4} k_{7} k_{8} + a_{5} k_{8} k_{9} + a_{6} k_{7} k_{9} = 0,$ (32)

$\begin{array}{l} 2 a_{1} k_{1} k_{4} + 2 a_{2} k_{2} k_{5} + 2 a_{3} k_{3} k_{6} + a_{4} (k_{1} k_{5} + k_{2} k_{4}) \\ + a_{5} (k_{2} k_{6} + k_{3} k_{5}) + a_{6} (k_{3} k_{4} + k_{1} k_{6}) = 0, \end{array}$ (33)

$\begin{array}{l} 2 a_{1} k_{4} k_{7} + 2 a_{2} k_{5} k_{8} + 2 a_{3} k_{6} k_{9} + a_{4} (k_{4} k_{8} + k_{5} k_{7}) \\ + a_{5} (k_{5} k_{9} + k_{6} k_{8}) + a_{6} (k_{6} k_{7} + k_{4} k_{9}) = 0, \end{array}$ (34)

$\begin{array}{l} 2 a_{1} k_{1} k_{7} + 2 a_{2} k_{2} k_{8} + 2 a_{3} k_{3} k_{9} + a_{4} (k_{1} k_{8} + k_{2} k_{7}) \\ + a_{5} (k_{2} k_{9} + k_{3} k_{8}) + a_{6} (k_{3} k_{7} + k_{1} k_{9}) = 0, \end{array}$ (35)

$a_{7} k_{1} + a_{8} k_{2} + a_{9} k_{3} = 0,$ (36)

$a_{7} k_{4} + a_{8} k_{5} + a_{9} k_{6} = 0.$ (37)

Proof. According to $Z_{1}$ transformation, set $u = u (p, q, r)$ , $p = k_{1} t + k_{2} x + k_{3} y$ , $q = k_{4} t + k_{5} x + k_{6} y$ , $r = k_{7} t + k_{8} x + k_{9} y$ . $k_{1}, k_{2}, \dots, k_{9}$ are undetermined constants, $p, q$ and $r$ are independent of each other, so

$- k_{3} k_{5} k_{7} + k_{2} k_{6} k_{7} + k_{3} k_{4} k_{8} - k_{1} k_{6} k_{8} - k_{2} k_{4} k_{9} + k_{1} k_{5} k_{9} \neq 0,$

and

Figure 1 Set <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <mo> = </mo> <mn> 0, </mn> </mrow> </math> <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 5 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 6 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <mo> = </mo> <mn> 0, </mn> </mrow> </math><img width="335.0694444444444" src="https://html.scirp.org/file/1723970-rId465.svg?20250120032929" /><img width="309.02777777777777" src="https://html.scirp.org/file/1723970-rId467.svg?20250120032929" /><img width="312.5" src="https://html.scirp.org/file/1723970-rId469.svg?20250120032929" /><img width="314.2361111111111" src="https://html.scirp.org/file/1723970-rId471.svg?20250120032929" /><img width="276.0416666666667" src="https://html.scirp.org/file/1723970-rId473.svg?20250120032929" /><img width="154.4468546637744" src="https://html.scirp.org/file/1723970-rId475.svg?20250120032929" /> <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> <msub> <mi> a </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 8 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 9 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <mo> = </mo> <mn> 0. </mn> </mrow> </math>

We get

(38)

The analytical solution of (38) is

Figure 2 so the theorem is proved. <img width="19.097222222222225" src="https://html.scirp.org/file/1723970-rId482.svg?20250120032929" />Similar to the proof method of Theorem 5, we can obtain Theorem 6.Theorem 6. In <img width="24.263431542461007" src="https://html.scirp.org/file/1723970-rId484.svg?20250120032929">, if</img><img width="529.5138888888888" src="https://html.scirp.org/file/1723970-rId486.svg?20250120032929"> (39)</img>where <img width="19.08893709327549" src="https://html.scirp.org/file/1723970-rId488.svg?20250120032929"> are any known constants (<img width="59.00216919739696" src="https://html.scirp.org/file/1723970-rId490.svg?20250120032929">), <img width="210.06944444444446" src="https://html.scirp.org/file/1723970-rId492.svg?20250120032929">, <img width="98.91540130151843" src="https://html.scirp.org/file/1723970-rId494.svg?20250120032929">, <img width="98.91540130151843" src="https://html.scirp.org/file/1723970-rId496.svg?20250120032929">, then the analytical solution of Equation (39) is</img></img></img></img></img><img width="541.6666666666666" src="https://html.scirp.org/file/1723970-rId498.svg?20250120032929">(40)</img><img width="395.8333333333333" src="https://html.scirp.org/file/1723970-rId500.svg?20250120032929" />where <img width="19.08893709327549" src="https://html.scirp.org/file/1723970-rId502.svg?20250120032929"> is an arbitrary smooth function, and the constants <img width="83.29718004338395" src="https://html.scirp.org/file/1723970-rId504.svg?20250120032929"> need satisfy</img></img><img width="376.7361111111111" src="https://html.scirp.org/file/1723970-rId506.svg?20250120032929" /> <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 5 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 6 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <mo> = </mo> <mn> 0, </mn> </mrow> </math> Figure 3 <img width="309.02777777777777" src="https://html.scirp.org/file/1723970-rId510.svg?20250120032929" /><img width="312.5" src="https://html.scirp.org/file/1723970-rId512.svg?20250120032929" /><img width="309.02777777777777" src="https://html.scirp.org/file/1723970-rId514.svg?20250120032929" /> <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> <msub> <mi> a </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 8 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 9 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <mo> = </mo> <mn> 0, </mn> </mrow> </math><img width="156.25" src="https://html.scirp.org/file/1723970-rId517.svg?20250120032929" /><img width="154.4468546637744" src="https://html.scirp.org/file/1723970-rId519.svg?20250120032929" />Proof. According to <img width="20.824295010845987" src="https://html.scirp.org/file/1723970-rId521.svg?20250120032929"> transformation, set <img width="98.91540130151843" src="https://html.scirp.org/file/1723970-rId523.svg?20250120032929">, <img width="130.1518438177874" src="https://html.scirp.org/file/1723970-rId525.svg?20250120032929">, <img width="130.1518438177874" src="https://html.scirp.org/file/1723970-rId527.svg?20250120032929">, <img width="128.4164859002169" src="https://html.scirp.org/file/1723970-rId529.svg?20250120032929">. <img width="83.29718004338395" src="https://html.scirp.org/file/1723970-rId531.svg?20250120032929"> are undetermined constants, <img width="32.97180043383948" src="https://html.scirp.org/file/1723970-rId533.svg?20250120032929"> and <img width="13.870827915041179" src="https://html.scirp.org/file/1723970-rId535.svg?20250120032929"> are independent of each other, so </img></img></img></img></img></img></img></img><img width="376.7361111111111" src="https://html.scirp.org/file/1723970-rId537.svg?20250120032929" />and<img width="637.1527777777778" src="https://html.scirp.org/file/1723970-rId539.svg?20250120032929" />

Set

$a_{1} k_{4}^{2} + a_{2} k_{5}^{2} + a_{3} k_{6}^{2} + a_{4} k_{4} k_{5} + a_{5} k_{5} k_{6} + a_{6} k_{4} k_{6} = 0,$

Figure 4 <img width="309.02777777777777" src="https://html.scirp.org/file/1723970-rId543.svg?20250120032929" /><img width="312.5" src="https://html.scirp.org/file/1723970-rId545.svg?20250120032929" /><img width="309.02777777777777" src="https://html.scirp.org/file/1723970-rId547.svg?20250120032929" /> <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> <msub> <mi> a </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 8 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 9 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <mo> = </mo> <mn> 0, </mn> </mrow> </math><img width="156.25" src="https://html.scirp.org/file/1723970-rId517.svg?20250120032929" /><img width="154.4468546637744" src="https://html.scirp.org/file/1723970-rId519.svg?20250120032929" />We get<img width="427.0833333333333" src="https://html.scirp.org/file/1723970-rId552.svg?20250120032929">(41)</img>The general solution of (41) is<img width="541.6666666666666" src="https://html.scirp.org/file/1723970-rId554.svg?20250120032929" />

where is an arbitrary smooth function, so the theorem is proved.

Next, we use Theorem 5 to analyze a definite solution problem.

Example 5. In , use Theorem 5 to obtain the analytical solution of

(42)

in the condition of , is an arbitrary known first differentiable function.

Solution. According to Theorem 5, the general solution of (42) is

Figure 5 So<img width="470.4861111111111" src="https://html.scirp.org/file/1723970-rId570.svg?20250120032929" />Namely<img width="385.4166666666667" src="https://html.scirp.org/file/1723970-rId572.svg?20250120032929" />Set<img width="295.1388888888889" src="https://html.scirp.org/file/1723970-rId574.svg?20250120032929" />We obtain<img width="310.7638888888889" src="https://html.scirp.org/file/1723970-rId576.svg?20250120032929" />That is<img width="411.4583333333333" src="https://html.scirp.org/file/1723970-rId578.svg?20250120032929" />

Set

Figure 6 Then<img width="234.27331887201734" src="https://html.scirp.org/file/1723970-rId582.svg?20250120032929" /><img width="135.35791757049893" src="https://html.scirp.org/file/1723970-rId584.svg?20250120032929" /><img width="229.06724511930585" src="https://html.scirp.org/file/1723970-rId586.svg?20250120032929" />So<img width="439.2361111111111" src="https://html.scirp.org/file/1723970-rId588.svg?20250120032929" />According to Example 5, we can directly obtain the analytical solution of Equation (42) in various initial value conditions. If the initial value condition is <img width="281.25" src="https://html.scirp.org/file/1723970-rId590.svg?20250120032929">, the analytical solution is </img><img width="284.72222222222223" src="https://html.scirp.org/file/1723970-rId592.svg?20250120032929">.</img>For<img width="317.7083333333333" src="https://html.scirp.org/file/1723970-rId594.svg?20250120032929">(43)</img>

(44)

where are any known constants (), and readers can try to obtain their analytical solutions by the method similar to Theorem 5.

Next we propose Theorem 7.

Theorem 7. In , if

(45)

where are any known constants (), , , , then the analytical solution of Equation (45) is

(46)

Figure 7 where <img width="19.08893709327549" src="https://html.scirp.org/file/1723970-rId620.svg?20250120032929"> is an arbitrary smooth function, and the constants <img width="83.29718004338395" src="https://html.scirp.org/file/1723970-rId504.svg?20250120032929"> need satisfy</img></img><img width="376.7361111111111" src="https://html.scirp.org/file/1723970-rId623.svg?20250120032929" /> <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <mo> = </mo> <mn> 0, </mn> </mrow> </math> <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 5 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 6 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <mo> = </mo> <mn> 0, </mn> </mrow> </math><img width="335.0694444444444" src="https://html.scirp.org/file/1723970-rId627.svg?20250120032929" /><img width="309.02777777777777" src="https://html.scirp.org/file/1723970-rId629.svg?20250120032929" /><img width="312.5" src="https://html.scirp.org/file/1723970-rId631.svg?20250120032929" /><img width="309.02777777777777" src="https://html.scirp.org/file/1723970-rId633.svg?20250120032929" /> <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> <msub> <mi> a </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 8 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 9 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <mo> = </mo> <mn> 0, </mn> </mrow> </math><img width="151.04166666666666" src="https://html.scirp.org/file/1723970-rId636.svg?20250120032929" />

(47)

(48)

(49)

Proof. According to transformation, set , , , . are undetermined constants, and are independent of each other, so

Figure 8 and<img width="638.8888888888888" src="https://html.scirp.org/file/1723970-rId661.svg?20250120032929" />Set<img width="331.59722222222223" src="https://html.scirp.org/file/1723970-rId663.svg?20250120032929" /> <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 5 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 6 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <mo> = </mo> <mn> 0, </mn> </mrow> </math><img width="335.0694444444444" src="https://html.scirp.org/file/1723970-rId465.svg?20250120032929" /><img width="309.02777777777777" src="https://html.scirp.org/file/1723970-rId667.svg?20250120032929" /><img width="312.5" src="https://html.scirp.org/file/1723970-rId669.svg?20250120032929" /><img width="309.02777777777777" src="https://html.scirp.org/file/1723970-rId671.svg?20250120032929" /><img width="154.4468546637744" src="https://html.scirp.org/file/1723970-rId673.svg?20250120032929" /> Figure 9 <img width="156.25" src="https://html.scirp.org/file/1723970-rId676.svg?20250120032929" /><img width="166.66666666666666" src="https://html.scirp.org/file/1723970-rId678.svg?20250120032929" /><img width="166.66666666666666" src="https://html.scirp.org/file/1723970-rId680.svg?20250120032929" />We get<img width="303.8194444444444" src="https://html.scirp.org/file/1723970-rId682.svg?20250120032929"> (50)</img>The analytical solution of Equation (50) is<img width="421.875" src="https://html.scirp.org/file/1723970-rId684.svg?20250120032929" />so the theorem is proved. <img width="19.097222222222225" src="https://html.scirp.org/file/1723970-rId686.svg?20250120032929" />Similar to the proof method of Theorem 7, we can obtain Theorem 8.Theorem 8. In <img width="24.263431542461007" src="https://html.scirp.org/file/1723970-rId688.svg?20250120032929">, if</img>

(51)

where are any known constants ( $1 \leq i \leq 13$ ), $Θ = Θ (t, x, y, u, u_{t}, \dots, u_{t x y}, \dots)$ , $Λ = Λ (t, x, y, u, u_{t}, \dots, u_{t x y}, \dots)$ , then the analytical solution of Equation (51) is

$u = e^{\frac{- a_{13} r}{a_{10} k_{7} + a_{11} k_{8} + a_{12} k_{9}}} f (p, q),$ (52)

$p = k_{1} t + k_{2} x + k_{3} y, q = k_{4} t + k_{5} x + k_{6} y, r = k_{7} t + k_{8} x + k_{9} y,$

where $f$ is an arbitrary smooth function, and the constants $k_{1}, k_{2}, \dots, k_{9}$ need satisfy

$- k_{3} k_{5} k_{7} + k_{2} k_{6} k_{7} + k_{3} k_{4} k_{8} - k_{1} k_{6} k_{8} - k_{2} k_{4} k_{9} + k_{1} k_{5} k_{9} \neq 0,$

$a_{1} k_{1}^{2} + a_{2} k_{2}^{2} + a_{3} k_{3}^{2} + a_{4} k_{1} k_{2} + a_{5} k_{2} k_{3} + a_{6} k_{1} k_{3} = 0,$

$a_{1} k_{4}^{2} + a_{2} k_{5}^{2} + a_{3} k_{6}^{2} + a_{4} k_{4} k_{5} + a_{5} k_{5} k_{6} + a_{6} k_{4} k_{6} = 0,$

$a_{1} k_{7}^{2} + a_{2} k_{8}^{2} + a_{3} k_{9}^{2} + a_{4} k_{7} k_{8} + a_{5} k_{8} k_{9} + a_{6} k_{7} k_{9} = 0,$

$a_{7} k_{1} + a_{8} k_{2} + a_{9} k_{3} = 0,$

$a_{7} k_{4} + a_{8} k_{5} + a_{9} k_{6} = 0,$

$a_{7} k_{7} + a_{8} k_{8} + a_{9} k_{9} = 0,$

$a_{10} k_{1} + a_{11} k_{2} + a_{12} k_{3} = 0,$

$a_{10} k_{4} + a_{11} k_{5} + a_{12} k_{6} = 0.$

Next, we use Theorem 8 to analyze a definite solution problem.

Example 6. In $ℝ^{3}$ , use Theorem 8 to obtain the analytical solution of

$2 u_{t}^{2} + u_{x}^{2} + u_{y}^{2} + 3 u_{t} u_{x} + 3 u_{t} u_{y} + 2 u_{x} u_{y} + u (u_{t} + u_{x} + u_{y}) + 2 u_{t} + u_{x} + u_{y} + u = 0,$ (53)

in the condition of $u (0, x, y) = g (x, y)$ , $g$ is an arbitrary known first differentiable function.

Solution. According to Theorem 8, the general solution of (53) is

$u = e^{\frac{- t}{2}} f (\frac{(- c_{1} - c_{2}) t}{2} + c_{1} x + c_{2} y, \frac{(- c_{3} - c_{4}) t}{2} + c_{3} x + c_{4} y),$ (54)

$u = e^{\frac{- x}{2}} f ((- c_{1} - c_{2}) t + c_{1} x + c_{2} y, (- c_{3} - c_{4}) t + c_{3} x + c_{4} y),$ (55)

where $c_{1}, c_{2}, c_{3}$ and $c_{4}$ are arbitrary constants. If the solution is (54), so

$u (0, x, y, z) = u (0, x, y) = f (c_{1} x + c_{2} y, c_{3} x + c_{4} y) = g (x, y) .$

Set

$c_{1} x + c_{2} y = β, c_{3} x + c_{4} y = γ .$

We obtain

$x = \frac{c_{4} β - c_{2} γ}{c_{1} c_{4} - c_{2} c_{3}}, y = \frac{c_{1} γ - c_{3} β}{c_{1} c_{4} - c_{2} c_{3}} .$

Namely

$f (c_{1} x + c_{2} y, c_{3} x + c_{4} y) = g (\frac{c_{4} β - c_{2} γ}{c_{1} c_{4} - c_{2} c_{3}}, \frac{c_{1} γ - c_{3} β}{c_{1} c_{4} - c_{2} c_{3}}) .$

Set

$\frac{(- c_{1} - c_{2}) t}{2} + c_{1} x + c_{2} y = β, \frac{(- c_{3} - c_{4}) t}{2} + c_{3} x + c_{4} y = γ .$

Then

$\frac{c_{4} β - c_{2} γ}{c_{1} c_{4} - c_{2} c_{3}} = - \frac{t}{2} + x,$

$\frac{c_{1} γ - c_{3} β}{c_{1} c_{4} - c_{2} c_{3}} = - \frac{t}{2} + y .$

So the analytical solution of the definite solution problem is

$u (t, x, y) = g (- \frac{t}{2} + x, - \frac{t}{2} + y) .$ (56)

If the solution is (55), in a similar way, we can get

$u (t, x, y) = g (- t + x, - t + y) .$ (57)

That is, if the general solution of a PDE is not unique, the analytical solution of its definite solution problem may not be unique either. Such as $u (0, x, y) = g (x, y) = e^{x + 2 y}$ , then

$u (t, x, y) = g (- \frac{t}{2} + x, - \frac{t}{2} + y) = e^{- \frac{3 t}{2} + x + 2 y},$

$u (t, x, y) = g (- t + x, - t + y) = e^{- 3 t + x + 2 y},$

and

$u (t,0, y) = e^{- \frac{3 t}{2} + 2 y},$

$u (t, x,0) = e^{- 3 t + x} .$

So two definite solution conditions are needed to make the analytical solutions of the definite solution problem unique.

Next we propose Theorem 9.

Theorem 9. In $ℝ^{4}$ , if

$\begin{array}{l} Θ (a_{1} u_{t}^{2} + a_{2} u_{x}^{2} + a_{3} u_{y}^{2} + a_{4} u_{z}^{2} + a_{5} u_{t} u_{x} + a_{6} u_{t} u_{y} + a_{7} u_{t} u_{z} + a_{8} u_{x} u_{y} \\ + a_{9} u_{x} u_{z} + a_{10} u_{y} u_{z}) + Λ (a_{11} u_{t} + a_{12} u_{x} + a_{13} u_{y} + a_{14} u_{z}) = 0, \end{array}$ (58)

where $a_{i}$ are any known constants ( $1 \leq i \leq 14$ ), $Θ = Θ (t, x, y, z, u, u_{t}, \dots, u_{t x y z}, \dots)$ , $Λ = Λ (t, x, y, z, u, u_{t}, \dots, u_{t x y z}, \dots)$ , then the analytical solution of Equation (58) is

$u = f (p, q, r),$ (59)

$p = k_{1} t + k_{2} x + k_{3} y + k_{4} z,$ (60)

$q = k_{5} t + k_{6} x + k_{7} y + k_{8} z,$ (61)

$r = k_{9} t + k_{10} x + k_{11} y + k_{12} z,$ (62)

where $f$ is an arbitrary smooth function; $p, q$ and $r$ are independent of each other, and the constants $k_{1}, k_{2}, \dots, k_{12}$ need satisfy

$\begin{array}{l} a_{1} k_{1}^{2} + a_{2} k_{2}^{2} + a_{3} k_{3}^{2} + a_{4} k_{4}^{2} + a_{5} k_{1} k_{2} + a_{6} k_{1} k_{3} + a_{7} k_{1} k_{4} \\ + a_{8} k_{2} k_{3} + a_{9} k_{2} k_{4} + a_{10} k_{3} k_{4} = 0, \end{array}$ (63)

$\begin{array}{l} a_{1} k_{5}^{2} + a_{2} k_{6}^{2} + a_{3} k_{7}^{2} + a_{4} k_{8}^{2} + a_{5} k_{5} k_{6} + a_{6} k_{5} k_{7} + a_{7} k_{5} k_{8} \\ + a_{8} k_{6} k_{7} + a_{9} k_{6} k_{8} + a_{10} k_{7} k_{8} = 0, \end{array}$ (64)

$\begin{array}{l} a_{1} k_{9}^{2} + a_{2} k_{10}^{2} + a_{3} k_{11}^{2} + a_{4} k_{12}^{2} + a_{5} k_{9} k_{10} + a_{6} k_{9} k_{11} + a_{7} k_{9} k_{12} \\ + a_{8} k_{10} k_{11} + a_{9} k_{10} k_{12} + a_{10} k_{11} k_{12} = 0, \end{array}$ (65)

$\begin{array}{l} 2 a_{1} k_{1} k_{5} + 2 a_{2} k_{2} k_{6} + 2 a_{3} k_{3} k_{7} + 2 a_{4} k_{4} k_{8} + a_{5} (k_{1} k_{6} + k_{2} k_{5}) + a_{6} (k_{1} k_{7} + k_{3} k_{5}) \\ + a_{7} (k_{1} k_{8} + k_{4} k_{5}) + a_{8} (k_{2} k_{7} + k_{3} k_{6}) + a_{9} (k_{2} k_{8} + k_{4} k_{6}) + a_{10} (k_{3} k_{8} + k_{4} k_{7}) = 0, \end{array}$ (66)

$\begin{array}{l} 2 a_{1} k_{1} k_{9} + 2 a_{2} k_{2} k_{10} + 2 a_{3} k_{3} k_{11} + 2 a_{4} k_{4} k_{12} + a_{5} (k_{1} k_{10} + k_{2} k_{9}) + a_{6} (k_{1} k_{11} + k_{3} k_{9}) \\ + a_{7} (k_{1} k_{12} + k_{4} k_{9}) + a_{8} (k_{2} k_{11} + k_{3} k_{10}) + a_{9} (k_{2} k_{12} + k_{4} k_{10}) + a_{10} (k_{3} k_{12} + k_{4} k_{11}) = 0, \end{array}$ (67)

$\begin{array}{l} 2 a_{1} k_{5} k_{9} + 2 a_{2} k_{6} k_{10} + 2 a_{3} k_{7} k_{11} + 2 a_{4} k_{8} k_{12} + a_{5} (k_{5} k_{10} + k_{6} k_{9}) + a_{6} (k_{5} k_{11} + k_{7} k_{9}) \\ + a_{7} (k_{5} k_{12} + k_{8} k_{9}) + a_{8} (k_{6} k_{11} + k_{7} k_{10}) + a_{9} (k_{6} k_{12} + k_{8} k_{10}) + a_{10} (k_{7} k_{12} + k_{8} k_{11}) = 0, \end{array}$ (68)

$a_{11} k_{1} + a_{12} k_{2} + a_{13} k_{3} + a_{14} k_{4} = 0,$ (69)

$a_{11} k_{5} + a_{12} k_{6} + a_{13} k_{7} + a_{14} k_{8} = 0,$ (70)

$a_{11} k_{9} + a_{12} k_{10} + a_{13} k_{11} + a_{14} k_{12} = 0.$ (71)

Proof. According to $Z_{1}$ transformation, set $u = f (p, q, r)$ , $p = k_{1} t + k_{2} x + k_{3} y + k_{4} z$ , $q = k_{5} t + k_{6} x + k_{7} y + k_{8} z$ , $r = k_{9} t + k_{10} x + k_{11} y + k_{12} z$ ; $k_{1}, k_{2}, \dots, k_{12}$ are undetermined constants, $p, q$ and $r$ are independent of each other, so

(72)

Set

$a_{1} k_{1}^{2} + a_{2} k_{2}^{2} + a_{3} k_{3}^{2} + a_{4} k_{4}^{2} + a_{5} k_{1} k_{2} + a_{6} k_{1} k_{3} + a_{7} k_{1} k_{4} + a_{8} k_{2} k_{3} + a_{9} k_{2} k_{4} + a_{10} k_{3} k_{4} = 0,$

$a_{1} k_{5}^{2} + a_{2} k_{6}^{2} + a_{3} k_{7}^{2} + a_{4} k_{8}^{2} + a_{5} k_{5} k_{6} + a_{6} k_{5} k_{7} + a_{7} k_{5} k_{8} + a_{8} k_{6} k_{7} + a_{9} k_{6} k_{8} + a_{10} k_{7} k_{8} = 0,$

$a_{11} k_{1} + a_{12} k_{2} + a_{13} k_{3} + a_{14} k_{4} = 0,$

$a_{11} k_{5} + a_{12} k_{6} + a_{13} k_{7} + a_{14} k_{8} = 0,$

$a_{11} k_{9} + a_{12} k_{10} + a_{13} k_{11} + a_{14} k_{12} = 0.$

Therefore, the analytical solution of Equation (58) is

$u = f (p, q, r)$

The theorem is proven. $□$

In $ℝ^{4}$ , if

$\begin{array}{l} Θ (a_{1} u_{t}^{2} + a_{2} u_{x}^{2} + a_{3} u_{y}^{2} + a_{4} u_{z}^{2} + a_{5} u_{t} u_{x} + a_{6} u_{t} u_{y} + a_{7} u_{t} u_{z} + a_{8} u_{x} u_{y} \\ + a_{9} u_{x} u_{z} + a_{10} u_{y} u_{z}) + A (a_{11} u_{t} + a_{12} u_{x} + a_{13} u_{y} + a_{14} u_{z} + u) = B, \end{array}$ (73)

$\begin{array}{l} A (a_{1} u_{t}^{2} + a_{2} u_{x}^{2} + a_{3} u_{y}^{2} + a_{4} u_{z}^{2} + a_{5} u_{t} u_{x} + a_{6} u_{t} u_{y} + a_{7} u_{t} u_{z} + a_{8} u_{x} u_{y} \\ + a_{9} u_{x} u_{z} + a_{10} u_{y} u_{z}) + Θ (a_{11} u_{t} + a_{12} u_{x} + a_{13} u_{y} + a_{14} u_{z} + u) = B, \end{array}$ (74)

where $a_{i}$ are any known constants ( $1 \leq i \leq 14$ ), $Θ = Θ (t, x, y, z, u, u_{t}, \dots, u_{t x y z}, \dots)$ , $A = A (t, x, y, z)$ , $B = B (t, x, y, z)$ , set

$T = k_{1} t + k_{2} x + k_{3} y + k_{4} z,$ (75)

$X = k_{5} t + k_{6} x + k_{7} y + k_{8} z,$ (76)

$Y = k_{9} t + k_{10} x + k_{11} y + k_{12} z,$ (77)

$Z = k_{13} t + k_{14} x + k_{15} y + k_{16} z,$ (78)

$\frac{\partial (X, Y, Z, T)}{\partial (x, y, z, t)} \neq 0.$ (79)

Similar to the calculation of Theorem 5, the analytical solutions of (73), (74) can be obtained, and readers can try it by themselves.

Next, we use Theorem 9 to analyze a definite solution problem.

Example 7. In $ℝ^{4}$ , use Theorem 9 to obtain the analytical solution of

${(u_{t}^{2} + u_{x}^{2} - 2 u_{t} u_{x} + u_{t} u_{y} + u_{t} u_{z} - u_{x} u_{y} - u_{x} u_{z})}^{2} + {(u_{t} - u_{x})}^{3} = 0,$ (80)

in the condition of $u (0, x, y, z) = g (x, y, z)$ , $g$ is an arbitrary known first differentiable function.

Solution. According to Theorem 9, the general solution of (80) is

$u (x, y, z) = f (t + x + k_{3} y + k_{4} z, t + x + k_{7} y + k_{8} z, t + x + k_{11} y + k_{12} z),$ (81)

where $k_{3}, k_{4}, k_{7}, k_{8}, k_{11}$ and $k_{12}$ are arbitrary constants, so

$u (0, x, y, z) = f (x + k_{3} y + k_{4} z, x + k_{7} y + k_{8} z, x + k_{11} y + k_{12} z) = g (x, y, z) .$

Set

$x + k_{3} y + k_{4} z = α, x + k_{7} y + k_{8} z = β, x + k_{11} y + k_{12} z = γ .$

We obtain

$x = - \frac{- γ k_{4} k_{7} + γ k_{3} k_{8} + β k_{4} k_{11} - α k_{8} k_{11} - β k_{3} k_{12} + α k_{7} k_{12}}{k_{4} k_{7} - k_{3} k_{8} - k_{4} k_{11} + k_{8} k_{11} + k_{3} k_{12} - k_{7} k_{12}},$ (82)

$y = - \frac{- β k_{4} + γ k_{4} + α k_{8} - γ k_{8} - α k_{12} + β k_{12}}{k_{4} k_{7} - k_{3} k_{8} - k_{4} k_{11} + k_{8} k_{11} + k_{3} k_{12} - k_{7} k_{12}},$ (83)

$z = - \frac{- β k_{3} + γ k_{3} + α k_{7} - γ k_{7} - α k_{11} + β k_{11}}{- k_{4} k_{7} + k_{3} k_{8} + k_{4} k_{11} - k_{8} k_{11} - k_{3} k_{12} + k_{7} k_{12}} .$ (84)

Namely

$\begin{array}{l} u (0, x, y, z) = f (x + k_{3} y + k_{4} z, x + k_{7} y + k_{8} z, x + k_{11} y + k_{12} z) \\ = g (- \frac{- γ k_{4} k_{7} + \dots + α k_{7} k_{12}}{k_{4} k_{7} - \dots - k_{7} k_{12}}, - \frac{- β k_{4} + \dots + β k_{12}}{k_{4} k_{7} - \dots - k_{7} k_{12}}, - \frac{- β k_{3} + \dots + β k_{11}}{- k_{4} k_{7} + \dots + k_{7} k_{12}}) . \end{array}$

Set

$t + x + k_{3} y + k_{4} z = α, t + x + k_{7} y + k_{8} z = β, t + x + k_{11} y + k_{12} z = γ .$

Then

$- \frac{- γ k_{4} k_{7} + γ k_{3} k_{8} + β k_{4} k_{11} - α k_{8} k_{11} - β k_{3} k_{12} + α k_{7} k_{12}}{k_{4} k_{7} - k_{3} k_{8} - k_{4} k_{11} + k_{8} k_{11} + k_{3} k_{12} - k_{7} k_{12}} = t + x,$

$- \frac{- β k_{4} + γ k_{4} + α k_{8} - γ k_{8} - α k_{12} + β k_{12}}{k_{4} k_{7} - k_{3} k_{8} - k_{4} k_{11} + k_{8} k_{11} + k_{3} k_{12} - k_{7} k_{12}} = y,$

$- \frac{- β k_{3} + γ k_{3} + α k_{7} - γ k_{7} - α k_{11} + β k_{11}}{- k_{4} k_{7} + k_{3} k_{8} + k_{4} k_{11} - k_{8} k_{11} - k_{3} k_{12} + k_{7} k_{12}} = z .$

So the analytical solution of the definite solution problem is

$u (t, x, y, z) = g (t + x, y, z)$

According to Example 7, if the initial value condition is $u (0, x, y, z) = {(x + 2 y + z)}^{3} + \cos (x + y + 2 z) + tan (2 x - y - z)$ , the analytical solution is $u = {(t + x + 2 y + z)}^{3} + \cos (t + x + y + 2 z) + tan (2 t + 2 x - y - z)$ .

Theorem 10 is presented below.

Theorem 10. In $ℝ^{3}$ , if

$\begin{array}{l} a_{1} u_{t}^{3} + a_{2} u_{x}^{3} + a_{3} u_{y}^{3} + a_{4} u_{t}^{2} u_{x} + a_{5} u_{t}^{2} u_{y} + a_{6} u_{x}^{2} u_{t} + a_{7} u_{x}^{2} u_{y} \\ + a_{8} u_{y}^{2} u_{t} + a_{9} u_{y}^{2} u_{x} + a_{10} u_{t} u_{x} u_{y} = 0, \end{array}$ (85)

where $a_{i}$ are any known constants ( $1 \leq i \leq 9$ ), then the general solution of Equation (85) is

$u = f (v, w)$

$v = k_{1} t + k_{2} x + k_{3} y + k_{4}, w = k_{5} t + k_{6} x + k_{7} y + k_{8},$

where $f$ is an arbitrary first differentiable function, $v$ and $w$ are independent of each other, and the constants $k_{1}, k_{2}, k_{3}, k_{5}, k_{6}, k_{7}$ need satisfy

$\begin{array}{l} a_{1} k_{1}^{3} + a_{2} k_{2}^{3} + a_{3} k_{3}^{3} + a_{4} k_{1}^{2} k_{2} + a_{5} k_{1}^{2} k_{3} + a_{6} k_{1} k_{2}^{2} + a_{7} k_{2}^{2} k_{3} \\ + a_{8} k_{1} k_{3}^{2} + a_{9} k_{2} k_{3}^{2} + a_{10} k_{1} k_{2} k_{3} = 0, \end{array}$ (86)

$\begin{array}{l} a_{1} k_{5}^{3} + a_{2} k_{6}^{3} + a_{3} k_{7}^{3} + a_{4} k_{5}^{2} k_{6} + a_{5} k_{5}^{2} k_{7} + a_{6} k_{5} k_{6}^{2} + a_{7} k_{6}^{2} k_{7} \\ + a_{8} k_{5} k_{7}^{2} + a_{9} k_{6} k_{7}^{2} + a_{10} k_{5} k_{6} k_{7} = 0, \end{array}$ (87)

$\begin{array}{l} 3 a_{1} k_{1}^{2} k_{5} + 3 a_{2} k_{2}^{2} k_{6} + 3 a_{3} k_{3}^{2} k_{7} + a_{4} (k_{1}^{2} k_{6} + 2 k_{1} k_{2} k_{5}) + a_{5} (k_{1}^{2} k_{7} + 2 k_{1} k_{3} k_{5}) \\ + a_{6} (k_{2}^{2} k_{5} + 2 k_{1} k_{2} k_{6}) + a_{7} (k_{2}^{2} k_{7} + 2 k_{2} k_{3} k_{6}) + a_{8} (k_{3}^{2} k_{5} + 2 k_{1} k_{3} k_{7}) \\ + a_{9} (k_{2} k_{7}^{2} + 2 k_{2} k_{3} k_{7}) + a_{10} (k_{2} k_{3} k_{5} + k_{1} k_{3} k_{6} + k_{1} k_{2} k_{7}) = 0, \end{array}$ (88)

$\begin{array}{l} 3 a_{1} k_{1} k_{5}^{2} + 3 a_{2} k_{2} k_{6}^{2} + 3 a_{3} k_{3} k_{7}^{2} + a_{4} (k_{2} k_{5}^{2} + 2 k_{1} k_{5} k_{6}) + a_{5} (k_{3} k_{5}^{2} + 2 k_{1} k_{5} k_{7}) \\ + a_{6} (k_{1} k_{6}^{2} + 2 k_{2} k_{5} k_{6}) + a_{7} (k_{3} k_{6}^{2} + 2 k_{2} k_{6} k_{7}) + a_{8} (k_{1} k_{7}^{2} + 2 k_{3} k_{5} k_{7}) \\ + a_{9} (k_{3}^{2} k_{6} + 2 k_{3} k_{6} k_{7}) + a_{10} (k_{3} k_{5} k_{6} + k_{2} k_{5} k_{7} + k_{1} k_{6} k_{7}) = 0. \end{array}$ (89)

Figure 10 Set <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> <mtr> <mtd> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 3 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 3 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 3 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 7 </mn> </msub> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 3 </mn> </msub> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <msub> <mi> a </mi> <mn> 8 </mn> </msub> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 9 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mrow> <mn> 10 </mn> </mrow> </msub> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <mo> = </mo> <mn> 0, </mn> </mtd> </mtr> </mtable> </math> <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> <mtr> <mtd> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 5 </mn> <mn> 3 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 6 </mn> <mn> 3 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 7 </mn> <mn> 3 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <msubsup> <mi> k </mi> <mn> 5 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <msubsup> <mi> k </mi> <mn> 5 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msubsup> <mi> k </mi> <mn> 6 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 7 </mn> </msub> <msubsup> <mi> k </mi> <mn> 6 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 7 </mn> </msub> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <msub> <mi> a </mi> <mn> 8 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msubsup> <mi> k </mi> <mn> 7 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 9 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msubsup> <mi> k </mi> <mn> 7 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mrow> <mn> 10 </mn> </mrow> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> = </mo> <mn> 0, </mn> </mtd> </mtr> </mtable> </math> <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> <mtr> <mtd> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <mo> + </mo> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <mo> + </mo> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 7 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 8 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <msub> <mi> a </mi> <mn> 9 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 7 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mrow> <mn> 10 </mn> </mrow> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> = </mo> <mn> 0, </mn> </mtd> </mtr> </mtable> </math> <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> <mtr> <mtd> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 5 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 6 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 7 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 5 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 5 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 6 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 7 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 6 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 8 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 7 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <msub> <mi> a </mi> <mn> 9 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mrow> <mn> 10 </mn> </mrow> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> = </mo> <mn> 0. </mn> </mtd> </mtr> </mtable> </math>Therefore, the analytical solution of Equation (85) is <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> <mi> u </mi> <mo> = </mo> <mi> f </mi> <mrow> <mo> ( </mo> <mrow> <mi> v </mi> <mn> , </mn> <mi> w </mi> </mrow> <mo> ) </mo> </mrow> <mn> . </mn> </mrow> </math>The theorem is proven. <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mo> □ </mo> </math>Next, we use Theorem 10 to analyze two definite solution problems.Example 8. In <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> <msup> <mi> ℝ </mi> <mn> 3 </mn> </msup> </mrow> </math>, use Theorem 10 to obtain the analytical solution of

$u_{x}^{3} + u_{y}^{3} + u_{t}^{2} u_{x} + u_{t}^{2} u_{y} - u_{x}^{2} u_{t} + u_{x}^{2} u_{y} + u_{y}^{2} u_{t} + u_{y}^{2} u_{x} = 0,$ (90)

in the condition of $u (t,0, y) = g (t, y)$ , $g$ is an arbitrary known first differentiable function.

Solution. According to Theorem 10, the general solution of (90) is

$u = f (t + x - y, t - x + y) .$ (91)

Then

$u (t,0, y) = f (t - y, t + y) = g (t, y) .$

Set

$t - y = β, t + y = γ .$

We obtain

$t = \frac{β + γ}{2}, y = \frac{- β + γ}{2} .$

Namely

$u (t, 0, y) = f (t - y, t + y) = g (\frac{β + γ}{2}, \frac{- β + γ}{2}) .$

Set

$t + x - y = β, t - x + y = γ .$

We get

$\frac{β + γ}{2} = \frac{t + x - y + t - x + y}{2} = t,$

$\frac{- β + γ}{2} = \frac{- t - x + y + t - x + y}{2} = - x + y .$

So the analytical solution of the definite solution problem is

$u (t, x, y) = f (t + x - y, t - x + y) = g (t, - x + y) .$ (92)

Example 9. In $ℝ^{3}$ , prove that the exact solution of

$u_{t}^{3} + 2 u_{x}^{3} + 2 u_{y}^{3} + 4 u_{t}^{2} u_{x} + 4 u_{t}^{2} u_{y} + 5 u_{t} u_{x}^{2} + 7 u_{x}^{2} u_{y} + 5 u_{t} u_{y}^{2} + 7 u_{x} u_{y}^{2} + 11 u_{t} u_{x} u_{y} = 0,$ (93)

in the condition of $u (0, x, y) = g (x, y)$ is

$u = g (- t + x, - t + y),$ (94)

$u = g (- t + x, - 2 t + y),$ (95)

$u = g (- 2 t + x, - t + y),$ (96)

where $g$ is an arbitrary known first differentiable function

Proof. According to Theorem 10, the general solution of (93) is

$u = f ((- c_{1} - c_{2}) t + c_{1} x + c_{2} y, (- c_{3} - c_{4}) t + c_{3} x + c_{4} y),$ (97)

$u = f ((- c_{1} - 2 c_{2}) t + c_{1} x + c_{2} y, (- c_{3} - 2 c_{4}) t + c_{3} x + c_{4} y),$ (98)

$u = f ((- 2 c_{1} - c_{2}) t + c_{1} x + c_{2} y, (- 2 c_{3} - c_{4}) t + c_{3} x + c_{4} y) .$ (99)

If $u = f ((- c_{1} - c_{2}) t + c_{1} x + c_{2} y, (- c_{3} - c_{4}) t + c_{3} x + c_{4} y)$ , then

$u (0, x, y) = f (c_{1} x + c_{2} y, c_{3} x + c_{4} y) = g (x, y) .$

Set

$c_{1} x + c_{2} y = β, c_{3} x + c_{4} y = γ .$

We obtain

$x = \frac{β c_{4} - γ c_{2}}{c_{1} c_{4} - c_{2} c_{3}}, y = \frac{γ c_{1} - β c_{3}}{c_{1} c_{4} - c_{2} c_{3}} .$

That is

$u (0, x, y) = f (c_{1} x + c_{2} y, c_{3} x + c_{4} y) = g (\frac{β c_{4} - γ c_{2}}{c_{1} c_{4} - c_{2} c_{3}}, \frac{γ c_{1} - β c_{3}}{c_{1} c_{4} - c_{2} c_{3}}) .$

Set

$(- c_{1} - c_{2}) t + c_{1} x + c_{2} y = β, (- c_{3} - c_{4}) t + c_{3} x + c_{4} y = γ .$

Then

$\frac{β c_{4} - γ c_{2}}{c_{1} c_{4} - c_{2} c_{3}} = \frac{((- c_{1} - c_{2}) t + c_{1} x + c_{2} y) c_{4} - ((- c_{3} - c_{4}) t + c_{3} x + c_{4} y) c_{2}}{c_{1} c_{4} - c_{2} c_{3}} = - t + x,$

$\frac{γ c_{1} - β c_{3}}{c_{1} c_{4} - c_{2} c_{3}} = \frac{((- c_{3} - c_{4}) t + c_{3} x + c_{4} y) c_{1} - ((- c_{1} - c_{2}) t + c_{1} x + c_{2} y) c_{3}}{c_{1} c_{4} - c_{2} c_{3}} = - t + y .$

So the analytical solution of the definite solution problem is

$u (t, x, y) = f ((- c_{1} - c_{2}) t + c_{1} x + c_{2} y, (- c_{3} - c_{4}) t + c_{3} x + c_{4} y) = g (- t + x, - t + y) .$

If $u = f ((- c_{1} - 2 c_{2}) t + c_{1} x + c_{2} y, (- c_{3} - 2 c_{4}) t + c_{3} x + c_{4} y)$ , or $u = f ((- 2 c_{1} - c_{2}) t + c_{1} x + c_{2} y, (- 2 c_{3} - c_{4}) t + c_{3} x + c_{4} y)$ , similar to the above method, we can obtain

$\begin{matrix} u (t, x, y) = f ((- c_{1} - c_{2}) t + c_{1} x + c_{2} y, (- c_{3} - c_{4}) t + c_{3} x + c_{4} y) \\ = g (- t + x, - 2 t + y), \end{matrix}$

$\begin{matrix} u (t, x, y) = f ((- c_{1} - c_{2}) t + c_{1} x + c_{2} y, (- c_{3} - c_{4}) t + c_{3} x + c_{4} y) \\ = g (- 2 t + x, - t + y) . \end{matrix}$

That is, different exact solutions of the same definite solution problem may correspond to different general solutions! Such as

$u (0, x, y) = g (x, y) = \sin x y .$

Then

$g (- t + x, - t + y) = sin (- t + x) (- t + y),$

$g (- t + x, - 2 t + y) = sin (- t + x) (- 2 t + y),$

$g (- 2 t + x, - t + y) = sin (- 2 t + x) (- t + y),$

are the analytical solutions of (93) under $u (0, x, y) = \sin x y$ . For

$u (t, 0, y) = \sin (- t) (- t + y) = \sin (- t) (- 2 t + y) = \sin (- 2 t) (- t + y),$

$u (t, x, 0) = \sin (- t + x) (- t) = \sin (- t + x) (- 2 t) = \sin (- 2 t + x) (- t) .$

Therefore, for this case and other more complex cases of first-order equations, two definite solution conditions are generally required to specify the unique analytical solution.

Theorem 11. In $ℝ^{3}$ , if

where $a_{i}$ are any known constants ( $1 \leq i \leq 10$ ), then the general solution of Equation (100) is

$u = f (q, r) + \int \sqrt[3]{\frac{A (t, x, y)}{B_{1}}} d p,$ (101)

$\begin{matrix} B_{1} = a_{1} k_{1}^{3} + a_{2} k_{2}^{3} + a_{3} k_{3}^{3} + a_{4} k_{1}^{2} k_{2} + a_{5} k_{1}^{2} k_{3} + a_{6} k_{1} k_{2}^{2} + a_{7} k_{2}^{2} k_{3} \\ + a_{8} k_{1} k_{3}^{2} + a_{9} k_{2} k_{3}^{2} + a_{10} k_{1} k_{2} k_{3}, \end{matrix}$ (102)

where $f$ is an arbitrary first differentiable function, and

$p = k_{1} t + k_{2} x + k_{3} y, q = k_{4} t + k_{5} x + k_{6} y, r = k_{7} t + k_{8} x + k_{9} y,$

the constants $k_{1}, k_{2}, \dots, k_{9}$ need satisfy

$- k_{3} k_{5} k_{7} + k_{2} k_{6} k_{7} + k_{3} k_{4} k_{8} - k_{1} k_{6} k_{8} - k_{2} k_{4} k_{9} + k_{1} k_{5} k_{9} \neq 0,$

$\begin{array}{l} 3 a_{1} k_{1}^{2} k_{4} + 3 a_{2} k_{2}^{2} k_{5} + 3 a_{3} k_{3}^{2} k_{6} + a_{4} (2 k_{1} k_{2} k_{4} + k_{1}^{2} k_{5}) + a_{5} (2 k_{1} k_{3} k_{4} + k_{1}^{2} k_{6}) \\ + a_{6} (k_{2}^{2} k_{4} + 2 k_{1} k_{2} k_{5}) + a_{7} (2 k_{2} k_{3} k_{5} + k_{2}^{2} k_{6}) + a_{8} (k_{3}^{2} k_{4} + 2 k_{1} k_{3} k_{6}) \\ + a_{9} (k_{3}^{2} k_{5} + 2 k_{2} k_{3} k_{6}) + a_{10} (k_{2} k_{3} k_{4} + k_{1} k_{3} k_{5} + k_{1} k_{2} k_{6}) = 0, \end{array}$ (103)

$\begin{array}{l} 3 a_{1} k_{1} k_{4}^{2} + 3 a_{2} k_{2} k_{5}^{2} + 3 a_{3} k_{3} k_{6}^{2} + a_{4} (k_{2} k_{4}^{2} + 2 k_{1} k_{4} k_{5}) + a_{5} (k_{3} k_{4}^{2} + 2 k_{1} k_{4} k_{6}) \\ + a_{6} (2 k_{2} k_{4} k_{5} + k_{1} k_{5}^{2}) + a_{7} (k_{3} k_{5}^{2} + 2 k_{2} k_{5} k_{6}) + a_{8} (2 k_{3} k_{4} k_{6} + k_{1} k_{6}^{2}) \\ + a_{9} (2 k_{3} k_{5} k_{6} + k_{2} k_{6}^{2}) + a_{10} (k_{3} k_{4} k_{5} + k_{2} k_{4} k_{6} + k_{1} k_{5} k_{6}) = 0, \end{array}$ (104)

$\begin{array}{l} a_{1} k_{4}^{3} + a_{2} k_{5}^{3} + a_{3} k_{6}^{3} + a_{4} k_{4}^{2} k_{5} + a_{5} k_{4}^{2} k_{6} + a_{6} k_{4} k_{5}^{2} + a_{7} k_{5}^{2} k_{6} \\ + a_{8} k_{4} k_{6}^{2} + a_{9} k_{5} k_{6}^{2} + a_{10} k_{4} k_{5} k_{6} = 0, \end{array}$ (105)

$\begin{array}{l} 3 a_{1} k_{1}^{2} k_{7} + 3 a_{2} k_{2}^{2} k_{8} + 3 a_{3} k_{3}^{2} k_{9} + a_{4} (2 k_{1} k_{2} k_{7} + k_{1}^{2} k_{8}) + a_{5} (2 k_{1} k_{3} k_{7} + k_{1}^{2} k_{9}) \\ + a_{6} (k_{2}^{2} k_{7} + 2 k_{1} k_{2} k_{8}) + a_{7} (2 k_{2} k_{3} k_{8} + k_{2}^{2} k_{9}) + a_{8} (k_{3}^{2} k_{7} + 2 k_{1} k_{3} k_{9}) \\ + a_{9} (k_{3}^{2} k_{8} + 2 k_{2} k_{3} k_{9}) + a_{10} (k_{2} k_{3} k_{7} + k_{1} k_{3} k_{8} + k_{1} k_{2} k_{9}) = 0, \end{array}$ (106)

$\begin{array}{l} 6 a_{1} k_{1} k_{4} k_{7} + 6 a_{2} k_{2} k_{5} k_{8} + 6 a_{3} k_{3} k_{6} k_{9} + 2 a_{4} (k_{2} k_{4} k_{7} + k_{1} k_{5} k_{7} + k_{1} k_{4} k_{8}) \\ + 2 a_{5} (k_{3} k_{4} k_{7} + k_{1} k_{6} k_{7} + k_{1} k_{4} k_{9}) + 2 a_{6} (k_{2} k_{5} k_{7} + k_{2} k_{4} k_{8} + k_{1} k_{5} k_{8}) \\ + 2 a_{7} (k_{3} k_{5} k_{8} + k_{2} k_{6} k_{8} + k_{2} k_{5} k_{9}) + 2 a_{8} (k_{3} k_{6} k_{7} + k_{3} k_{4} k_{9} + k_{1} k_{6} k_{9}) \\ + 2 a_{9} (k_{3} k_{6} k_{8} + k_{3} k_{5} k_{9} + k_{2} k_{6} k_{9}) \\ + a_{10} (k_{3} k_{5} k_{7} + k_{2} k_{6} k_{7} + k_{3} k_{4} k_{8} + k_{1} k_{6} k_{8} + k_{2} k_{4} k_{9} + k_{1} k_{5} k_{9}) = 0, \end{array}$ (107)

$\begin{array}{l} 3 a_{1} k_{4}^{2} k_{7} + 3 a_{2} k_{5}^{2} k_{8} + 3 a_{3} k_{6}^{2} k_{9} + a_{4} (2 k_{4} k_{5} k_{7} + k_{4}^{2} k_{8}) + a_{5} (2 k_{4} k_{6} k_{7} + k_{4}^{2} k_{9}) \\ + a_{6} (k_{5}^{2} k_{7} + 2 k_{4} k_{5} k_{8}) + a_{7} (2 k_{5} k_{6} k_{8} + k_{5}^{2} k_{9}) + a_{8} (k_{6}^{2} k_{7} + 2 k_{4} k_{6} k_{9}) \\ + a_{9} (k_{6}^{2} k_{8} + 2 k_{5} k_{6} k_{9}) + a_{10} (k_{5} k_{6} k_{7} + k_{4} k_{6} k_{8} + k_{4} k_{5} k_{9}) = 0, \end{array}$ (108)

$\begin{array}{l} 3 a_{1} k_{1} k_{7}^{2} + 3 a_{2} k_{2} k_{8}^{2} + 3 a_{3} k_{3} k_{9}^{2} + a_{4} (k_{2} k_{7}^{2} + 2 k_{1} k_{7} k_{8}) + a_{5} (k_{3} k_{7}^{2} + 2 k_{1} k_{7} k_{9}) \\ + a_{6} (2 k_{2} k_{7} k_{8} + k_{1} k_{8}^{2}) + a_{7} (k_{3} k_{8}^{2} + 2 k_{2} k_{8} k_{9}) + a_{8} (2 k_{3} k_{7} k_{9} + k_{1} k_{9}^{2}) \\ + a_{9} (2 k_{3} k_{8} k_{9} + k_{2} k_{9}^{2}) + a_{10} (k_{3} k_{7} k_{8} + k_{2} k_{7} k_{9} + k_{1} k_{8} k_{9}) = 0, \end{array}$ (109)

$\begin{array}{l} 3 a_{1} k_{4} k_{7}^{2} + 3 a_{2} k_{5} k_{8}^{2} + 3 a_{3} k_{6} k_{9}^{2} + a_{4} (k_{5} k_{7}^{2} + 2 k_{4} k_{7} k_{8}) + a_{5} (k_{6} k_{7}^{2} + 2 k_{4} k_{7} k_{9}) \\ + a_{6} (2 k_{5} k_{7} k_{8} + k_{4} k_{8}^{2}) + a_{7} (k_{6} k_{8}^{2} + 2 k_{5} k_{8} k_{9}) + a_{8} (2 k_{6} k_{7} k_{9} + k_{4} k_{9}^{2}) \\ + a_{9} (2 k_{6} k_{8} k_{9} + k_{5} k_{9}^{2}) + a_{10} (k_{6} k_{7} k_{8} + k_{5} k_{7} k_{9} + k_{4} k_{8} k_{9}) = 0, \end{array}$ (110)

$\begin{array}{l} a_{1} k_{7}^{3} + a_{2} k_{8}^{3} + a_{3} k_{9}^{3} + a_{4} k_{7}^{2} k_{8} + a_{5} k_{7}^{2} k_{9} + a_{6} k_{7} k_{8}^{2} + a_{7} k_{8}^{2} k_{9} \\ + a_{8} k_{7} k_{9}^{2} + a_{9} k_{8} k_{9}^{2} + a_{10} k_{7} k_{8} k_{9} = 0. \end{array}$ (111)

$- k_{3} k_{5} k_{7} + k_{2} k_{6} k_{7} + k_{3} k_{4} k_{8} - k_{1} k_{6} k_{8} - k_{2} k_{4} k_{9} + k_{1} k_{5} k_{9} \neq 0,$

and

Figure 11 <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> <mtr> <mtd> <mtext> </mtext> <mtext> </mtext> <mtext> </mtext> <mo> + </mo> <msub> <mi> a </mi> <mn> 8 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msubsup> <mi> k </mi> <mn> 6 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <msubsup> <mi> u </mi> <mi> q </mi> <mn> 2 </mn> </msubsup> <msub> <mi> u </mi> <mi> r </mi> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 9 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msubsup> <mi> k </mi> <mn> 6 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <msubsup> <mi> u </mi> <mi> q </mi> <mn> 2 </mn> </msubsup> <msub> <mi> u </mi> <mi> r </mi> </msub> <mo> + </mo> <msub> <mi> a </mi> <mrow> <mn> 10 </mn> </mrow> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <msubsup> <mi> u </mi> <mi> q </mi> <mn> 2 </mn> </msubsup> <msub> <mi> u </mi> <mi> r </mi> </msub> </mtd> </mtr> <mtr> <mtd> <mtext> </mtext> <mtext> </mtext> <mtext> </mtext> <mo> + </mo> <mrow> <mo> ( </mo> <mrow> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 7 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 8 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 9 </mn> <mn> 2 </mn> </msubsup> </mrow> <mo> ) </mo> </mrow> <msub> <mi> u </mi> <mi> p </mi> </msub> <msubsup> <mi> u </mi> <mi> r </mi> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 7 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <msub> <mi> u </mi> <mi> p </mi> </msub> <msubsup> <mi> u </mi> <mi> r </mi> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 7 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <msub> <mi> u </mi> <mi> p </mi> </msub> <msubsup> <mi> u </mi> <mi> r </mi> <mn> 2 </mn> </msubsup> </mtd> </mtr> <mtr> <mtd> <mtext> </mtext> <mtext> </mtext> <mtext> </mtext> <mo> + </mo> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 8 </mn> <mn> 2 </mn> </msubsup> </mrow> <mo> ) </mo> </mrow> <msub> <mi> u </mi> <mi> p </mi> </msub> <msubsup> <mi> u </mi> <mi> r </mi> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 7 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 8 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <msub> <mi> u </mi> <mi> p </mi> </msub> <msubsup> <mi> u </mi> <mi> r </mi> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 8 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 9 </mn> <mn> 2 </mn> </msubsup> </mrow> <mo> ) </mo> </mrow> <msub> <mi> u </mi> <mi> p </mi> </msub> <msubsup> <mi> u </mi> <mi> r </mi> <mn> 2 </mn> </msubsup> </mtd> </mtr> <mtr> <mtd> <mtext> </mtext> <mtext> </mtext> <mtext> </mtext> <mo> + </mo> <msub> <mi> a </mi> <mn> 9 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 9 </mn> <mn> 2 </mn> </msubsup> </mrow> <mo> ) </mo> </mrow> <msub> <mi> u </mi> <mi> p </mi> </msub> <msubsup> <mi> u </mi> <mi> r </mi> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mrow> <mn> 10 </mn> </mrow> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <msub> <mi> u </mi> <mi> p </mi> </msub> <msubsup> <mi> u </mi> <mi> r </mi> <mn> 2 </mn> </msubsup> </mtd> </mtr> <mtr> <mtd> <mtext> </mtext> <mtext> </mtext> <mtext> </mtext> <mo> + </mo> <mrow> <mo> ( </mo> <mrow> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msubsup> <mi> k </mi> <mn> 7 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msubsup> <mi> k </mi> <mn> 8 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msubsup> <mi> k </mi> <mn> 9 </mn> <mn> 2 </mn> </msubsup> </mrow> <mo> ) </mo> </mrow> <msub> <mi> u </mi> <mi> q </mi> </msub> <msubsup> <mi> u </mi> <mi> r </mi> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msubsup> <mi> k </mi> <mn> 7 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <msub> <mi> u </mi> <mi> q </mi> </msub> <msubsup> <mi> u </mi> <mi> r </mi> <mn> 2 </mn> </msubsup> </mtd> </mtr> <mtr> <mtd> <mtext> </mtext> <mtext> </mtext> <mtext> </mtext> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msubsup> <mi> k </mi> <mn> 7 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <msub> <mi> u </mi> <mi> q </mi> </msub> <msubsup> <mi> u </mi> <mi> r </mi> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msubsup> <mi> k </mi> <mn> 8 </mn> <mn> 2 </mn> </msubsup> </mrow> <mo> ) </mo> </mrow> <msub> <mi> u </mi> <mi> q </mi> </msub> <msubsup> <mi> u </mi> <mi> r </mi> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 7 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msubsup> <mi> k </mi> <mn> 8 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <msub> <mi> u </mi> <mi> q </mi> </msub> <msubsup> <mi> u </mi> <mi> r </mi> <mn> 2 </mn> </msubsup> </mtd> </mtr> <mtr> <mtd> <mtext> </mtext> <mtext> </mtext> <mtext> </mtext> <mo> + </mo> <msub> <mi> a </mi> <mn> 8 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msubsup> <mi> k </mi> <mn> 9 </mn> <mn> 2 </mn> </msubsup> </mrow> <mo> ) </mo> </mrow> <msub> <mi> u </mi> <mi> q </mi> </msub> <msubsup> <mi> u </mi> <mi> r </mi> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 9 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msubsup> <mi> k </mi> <mn> 9 </mn> <mn> 2 </mn> </msubsup> </mrow> <mo> ) </mo> </mrow> <msub> <mi> u </mi> <mi> q </mi> </msub> <msubsup> <mi> u </mi> <mi> r </mi> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mrow> <mn> 10 </mn> </mrow> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <msub> <mi> u </mi> <mi> q </mi> </msub> <msubsup> <mi> u </mi> <mi> r </mi> <mn> 2 </mn> </msubsup> </mtd> </mtr> <mtr> <mtd> <mtext> </mtext> <mtext> </mtext> <mtext> </mtext> <mo> + </mo> <mrow> <mo> ( </mo> <mrow> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 7 </mn> <mn> 3 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 8 </mn> <mn> 3 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 9 </mn> <mn> 3 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <msubsup> <mi> k </mi> <mn> 7 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <msubsup> <mi> k </mi> <mn> 7 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 9 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msubsup> <mi> k </mi> <mn> 8 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 7 </mn> </msub> <msubsup> <mi> k </mi> <mn> 8 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 9 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 8 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msubsup> <mi> k </mi> <mn> 9 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 9 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <msubsup> <mi> k </mi> <mn> 9 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mrow> <mn> 10 </mn> </mrow> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <msubsup> <mi> u </mi> <mi> r </mi> <mn> 3 </mn> </msubsup> </mtd> </mtr> <mtr> <mtd> <mo> = </mo> <mi> A </mi> <mrow> <mo> ( </mo> <mrow> <mi> t </mi> <mo> , </mo> <mi> x </mi> <mo> , </mo> <mi> y </mi> </mrow> <mo> ) </mo> </mrow> <mo> . </mo> </mtd> </mtr> </mtable> </math> (112)Set <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> <mtr> <mtd> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <mo> + </mo> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 5 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 6 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 7 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <mo> + </mo> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 6 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 8 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <msub> <mi> a </mi> <mn> 9 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mrow> <mn> 10 </mn> </mrow> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> = </mo> <mn> 0, </mn> </mtd> </mtr> </mtable> </math> <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> <mtr> <mtd> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 5 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 6 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 5 </mn> <mn> 2 </mn> </msubsup> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 7 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 5 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 8 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 6 </mn> <mn> 2 </mn> </msubsup> </mrow> <mo> ) </mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <msub> <mi> a </mi> <mn> 9 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 6 </mn> <mn> 2 </mn> </msubsup> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mrow> <mn> 10 </mn> </mrow> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> = </mo> <mn> 0, </mn> </mtd> </mtr> </mtable> </math> <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> <mtr> <mtd> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 3 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 5 </mn> <mn> 3 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 6 </mn> <mn> 3 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msubsup> <mi> k </mi> <mn> 5 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 7 </mn> </msub> <msubsup> <mi> k </mi> <mn> 5 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 6 </mn> </msub> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <msub> <mi> a </mi> <mn> 8 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msubsup> <mi> k </mi> <mn> 6 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 9 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msubsup> <mi> k </mi> <mn> 6 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mrow> <mn> 10 </mn> </mrow> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <mo> = </mo> <mn> 0, </mn> </mtd> </mtr> </mtable> </math> <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> <mtr> <mtd> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 9 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 8 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 7 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 8 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <msub> <mi> a </mi> <mn> 9 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mrow> <mn> 10 </mn> </mrow> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> = </mo> <mn> 0, </mn> </mtd> </mtr> </mtable> </math> <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> <mtr> <mtd> <mn> 6 </mn> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <mn> 6 </mn> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <mn> 6 </mn> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> <mo> + </mo> <mn> 2 </mn> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <mn> 2 </mn> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <mn> 2 </mn> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <mn> 2 </mn> <msub> <mi> a </mi> <mn> 7 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <mn> 2 </mn> <msub> <mi> a </mi> <mn> 8 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <mn> 2 </mn> <msub> <mi> a </mi> <mn> 9 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <msub> <mi> a </mi> <mrow> <mn> 10 </mn> </mrow> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> = </mo> <mn> 0, </mn> </mtd> </mtr> </mtable> </math> <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> <mtr> <mtd> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 5 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 6 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 9 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 8 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msubsup> <mi> k </mi> <mn> 5 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 7 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <msubsup> <mi> k </mi> <mn> 5 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 8 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msubsup> <mi> k </mi> <mn> 6 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <msub> <mi> a </mi> <mn> 9 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msubsup> <mi> k </mi> <mn> 6 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mrow> <mn> 10 </mn> </mrow> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> = </mo> <mn> 0, </mn> </mtd> </mtr> </mtable> </math> <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> <mtr> <mtd> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 7 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 8 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 9 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 7 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 7 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 8 </mn> <mn> 2 </mn> </msubsup> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 7 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 8 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 8 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 9 </mn> <mn> 2 </mn> </msubsup> </mrow> <mo> ) </mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <msub> <mi> a </mi> <mn> 9 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 9 </mn> <mn> 2 </mn> </msubsup> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mrow> <mn> 10 </mn> </mrow> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> = </mo> <mn> 0, </mn> </mtd> </mtr> </mtable> </math> <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> <mtr> <mtd> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msubsup> <mi> k </mi> <mn> 7 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msubsup> <mi> k </mi> <mn> 8 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 3 </mn> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msubsup> <mi> k </mi> <mn> 9 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msubsup> <mi> k </mi> <mn> 7 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msubsup> <mi> k </mi> <mn> 7 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msubsup> <mi> k </mi> <mn> 8 </mn> <mn> 2 </mn> </msubsup> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 7 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msubsup> <mi> k </mi> <mn> 8 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 8 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msubsup> <mi> k </mi> <mn> 9 </mn> <mn> 2 </mn> </msubsup> </mrow> <mo> ) </mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <msub> <mi> a </mi> <mn> 9 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msubsup> <mi> k </mi> <mn> 9 </mn> <mn> 2 </mn> </msubsup> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mrow> <mn> 10 </mn> </mrow> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 7 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 8 </mn> </msub> <msub> <mi> k </mi> <mn> 9 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> = </mo> <mn> 0, </mn> </mtd> </mtr> </mtable> </math>

We get

$\begin{array}{l} a_{1} u_{t}^{3} + a_{2} u_{x}^{3} + a_{3} u_{y}^{3} + a_{4} u_{t}^{2} u_{x} + a_{5} u_{t}^{2} u_{y} + a_{6} u_{x}^{2} u_{t} \\ + a_{7} u_{x}^{2} u_{y} + a_{8} u_{y}^{2} u_{t} + a_{9} u_{y}^{2} u_{x} + a_{10} u_{t} u_{x} u_{y} \\ = (a_{1} k_{1}^{3} + a_{2} k_{2}^{3} + a_{3} k_{3}^{3} + a_{4} k_{1}^{2} k_{2} + a_{5} k_{1}^{2} k_{3} + a_{6} k_{1} k_{2}^{2} \\ + a_{7} k_{2}^{2} k_{3} + a_{8} k_{1} k_{3}^{2} + a_{9} k_{2} k_{3}^{2} + a_{10} k_{1} k_{2} k_{3}) u_{p}^{3} \\ = A (t, x, y) . \end{array}$

Namely

$u_{p} = \sqrt[3]{\frac{A (t, x, y)}{B_{1}}},$

$\begin{matrix} B_{1} = a_{1} k_{1}^{3} + a_{2} k_{2}^{3} + a_{3} k_{3}^{3} + a_{4} k_{1}^{2} k_{2} + a_{5} k_{1}^{2} k_{3} + a_{6} k_{1} k_{2}^{2} u_{p}^{3} \\ + a_{7} k_{2}^{2} k_{3} + a_{8} k_{1} k_{3}^{2} u_{p}^{3} + a_{9} k_{2} k_{3}^{2} + a_{10} k_{1} k_{2} k_{3} . \end{matrix}$

So the general solution of (100) is

$u = f (q, r) + \int \sqrt[3]{\frac{A (t, x, y)}{B_{1}}} d p .$

The theorem is proved. $□$

Theorem 12. In $ℝ^{2}$ , if

$a_{1} u_{t}^{4} + a_{2} u_{x}^{4} + a_{3} u_{t}^{3} u_{x} + a_{4} u_{t}^{2} u_{x}^{2} + a_{5} u_{t} u_{x}^{3} = A (t, x),$ (113)

where $a_{i}$ are any known constants ( $1 \leq i \leq 5$ ), then the general solution of Equation (113) is

$u = f (q) + \int \sqrt[4]{\frac{A (p, q)}{a_{1} k_{1}^{4} + a_{2} k_{2}^{4} + a_{3} k_{1}^{3} k_{2} + a_{4} k_{1}^{2} k_{2}^{2} + a_{5} k_{1} k_{2}^{3}}} d p,$ (114)

where $f$ is an arbitrary first differentiable function, and

$p = k_{1} t + k_{2} x, q = k_{3} t + k_{4} x,$

the constants $k_{1}, k_{2}, k_{3}, k_{4}$ need satisfy

$k_{1} k_{4} - k_{2} k_{3} \neq 0,$

$\begin{array}{l} 4 a_{1} k_{1}^{3} k_{3} + 4 a_{2} k_{2}^{3} k_{4} + a_{3} (3 k_{1}^{2} k_{2} k_{3} + k_{1}^{3} k_{4}) + a_{4} (2 k_{1} k_{2}^{2} k_{3} + 2 k_{1}^{2} k_{2} k_{4}) \\ + a_{5} (k_{2}^{3} k_{3} + 3 k_{1} k_{2}^{2} k_{4}) = 0, \end{array}$ (115)

$\begin{array}{l} 6 a_{1} k_{1}^{2} k_{3}^{2} + 6 a_{2} k_{2}^{2} k_{4}^{2} + a_{3} (3 k_{1} k_{2} k_{3}^{2} + 3 k_{1}^{2} k_{3} k_{4}) + a_{4} (k_{2}^{2} k_{3}^{2} + 4 k_{1} k_{2} k_{3} k_{4} + k_{1}^{2} k_{4}^{2}) \\ + a_{5} (3 k_{2}^{2} k_{3} k_{4} + 3 k_{1} k_{2} k_{4}^{2}) = 0, \end{array}$ (116)

$\begin{array}{l} 4 a_{1} k_{1} k_{3}^{3} + 4 a_{2} k_{2} k_{4}^{3} + a_{3} (k_{2} k_{3}^{3} + 3 k_{1} k_{3}^{2} k_{4}) + a_{4} (2 k_{2} k_{3}^{2} k_{4} + 2 k_{1} k_{3} k_{4}^{2}) \\ + a_{5} (3 k_{2} k_{3} k_{4}^{2} + k_{1} k_{4}^{3}) = 0, \end{array}$ (117)

$a_{1} k_{3}^{4} + a_{2} k_{4}^{4} + a_{3} k_{3}^{3} k_{4} + a_{4} k_{3}^{2} k_{4}^{2} + a_{5} k_{3} k_{4}^{3} = 0.$ (118)

Proof. By $Z_{1}$ transformation, set

$u (t, x) = u (p, q),$

$p = k_{1} t + k_{2} x, q = k_{3} t + k_{4} x,$

and

$t = \frac{p k_{4} - q k_{2}}{k_{1} k_{4} - k_{2} k_{3}}, x = \frac{q k_{1} - p k_{3}}{k_{1} k_{4} - k_{2} k_{3}},$

$k_{1} k_{4} - k_{2} k_{3} \neq 0.$

Then

(119)

Set

$a_{1} k_{3}^{4} + a_{2} k_{4}^{4} + a_{3} k_{3}^{3} k_{4} + a_{4} k_{3}^{2} k_{4}^{2} + a_{5} k_{3} k_{4}^{3} = 0.$

$\begin{array}{l} a_{1} u_{t}^{4} + a_{2} u_{x}^{4} + a_{3} u_{t}^{3} u_{x} + a_{4} u_{t}^{2} u_{x}^{2} + a_{5} u_{t} u_{x}^{3} \\ = (a_{1} k_{1}^{4} + a_{2} k_{2}^{4} + a_{3} k_{1}^{3} k_{2} + a_{4} k_{1}^{2} k_{2}^{2} + a_{5} k_{1} k_{2}^{3}) u_{p}^{4} = A (p, q) . \end{array}$ (120)

So the general solution of (113) is

$u = f (q) + \int \sqrt[4]{\frac{A (p, q)}{a_{1} k_{1}^{4} + a_{2} k_{2}^{4} + a_{3} k_{1}^{3} k_{2} + a_{4} k_{1}^{2} k_{2}^{2} + a_{5} k_{1} k_{2}^{3}}} d p .$

The theorem is proved. $□$

In the following, we use $Z_{1}$ transformation to study the general solutions of some second-order nonlinear partial differential equations.

Theorem 13. In $ℝ^{2}$ , if

$a_{1} u_{t t}^{2} + a_{2} u_{x x}^{2} + a_{3} u_{t x}^{2} + a_{4} u_{t t} u_{x x} + a_{5} u_{t t} u_{t x} + a_{6} u_{x x} u_{t x} = A (t, x),$ (121)

where $a_{i}$ are any known constants ( $1 \leq i \leq 6$ ), then the general solution of Equation (121) is

$u = f (q) + p g (q) + \iint \sqrt{B_{1}^{- 1} A (p, q)} d p d p,$ (122)

where $f$ and $g$ are arbitrary second differentiable functions, and

$p = k_{1} t + k_{2} x, q = k_{3} t + k_{4} x,$

$k_{1} k_{4} - k_{2} k_{3} \neq 0,$

$B_{1} = a_{1} k_{1}^{4} + a_{2} k_{2}^{4} + a_{3} k_{1}^{2} k_{2}^{2} + a_{4} k_{1}^{2} k_{2}^{2} + a_{5} k_{1}^{3} k_{2} + a_{6} k_{1} k_{2}^{3},$ (123)

the constants $k_{1}, k_{2}, k_{3}, k_{4}$ need satisfy

$a_{1} k_{3}^{4} + a_{2} k_{4}^{4} + a_{3} k_{3}^{2} k_{4}^{2} + a_{4} k_{3}^{2} k_{4}^{2} + a_{5} k_{3}^{3} k_{4} + a_{6} k_{3} k_{4}^{3} = 0,$ (124)

$\begin{array}{l} 4 a_{1} k_{1}^{2} k_{3}^{2} + 4 a_{2} k_{2}^{2} k_{4}^{2} + a_{3} (k_{1}^{2} k_{4}^{2} + 2 k_{1} k_{2} k_{3} k_{4} + k_{2}^{2} k_{3}^{2}) + 4 a_{4} k_{1} k_{2} k_{3} k_{4} \\ + 2 a_{5} k_{1} k_{3} (k_{1} k_{4} + k_{2} k_{3}) + 2 a_{6} k_{2} k_{4} (k_{1} k_{4} + k_{2} k_{3}) = 0, \end{array}$ (125)

$\begin{array}{l} 2 a_{1} k_{1}^{2} k_{3}^{2} + 2 a_{2} k_{2}^{2} k_{4}^{2} + 2 a_{3} k_{1} k_{2} k_{3} k_{4} + a_{4} (k_{1}^{2} k_{4}^{2} + k_{2}^{2} k_{3}^{2}) \\ + a_{5} (k_{1} k_{2} k_{3}^{2} + k_{1}^{2} k_{3} k_{4}) + a_{6} (k_{1} k_{2} k_{4}^{2} + k_{2}^{2} k_{3} k_{4}) = 0, \end{array}$ (126)

$\begin{array}{l} 4 a_{1} k_{1}^{3} k_{3} + 4 a_{2} k_{2}^{3} k_{4} + 2 a_{3} k_{1} k_{2} (k_{1} k_{4} + k_{2} k_{3}) + 2 a_{4} (k_{1}^{2} k_{2} k_{4} + k_{2}^{2} k_{1} k_{3}) \\ + a_{5} (2 k_{1}^{2} k_{2} k_{3} + k_{1}^{2} (k_{1} k_{4} + k_{2} k_{3})) + a_{6} (2 k_{1} k_{2}^{2} k_{4} + k_{2}^{2} (k_{1} k_{4} + k_{2} k_{3})) = 0, \end{array}$ (127)

$\begin{array}{l} 4 a_{1} k_{1} k_{3}^{3} + 4 a_{2} k_{2} k_{4}^{3} + 2 a_{3} k_{3} k_{4} (k_{1} k_{4} + k_{2} k_{3}) + 2 a_{4} (k_{3}^{2} k_{2} k_{4} + k_{4}^{2} k_{1} k_{3}) \\ + a_{5} (2 k_{1} k_{3}^{2} k_{4} + k_{3}^{2} (k_{1} k_{4} + k_{2} k_{3})) + a_{6} (2 k_{2} k_{3} k_{4}^{2} + k_{4}^{2} (k_{1} k_{4} + k_{2} k_{3})) = 0. \end{array}$ (128)

Proof. By $Z_{1}$ transformation, set $u = f (p, q)$ , $p = k_{1} t + k_{2} x$ , $q = k_{3} t + k_{4} x$ , and $k_{1} k_{4} - k_{2} k_{3} \neq 0$ , so

Figure 12 <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> <mtr> <mtd> <mtext> </mtext> <mtext> </mtext> <mtext> </mtext> <mo> + </mo> <mn> 2 </mn> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <msub> <mi> f </mi> <mrow> <mi> q </mi> <mi> q </mi> </mrow> </msub> <msub> <mi> f </mi> <mrow> <mi> p </mi> <mi> q </mi> </mrow> </msub> <mo> + </mo> <mn> 2 </mn> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <msub> <mi> f </mi> <mrow> <mi> q </mi> <mi> q </mi> </mrow> </msub> <msub> <mi> f </mi> <mrow> <mi> p </mi> <mi> q </mi> </mrow> </msub> </mtd> </mtr> <mtr> <mtd> <mtext> </mtext> <mtext> </mtext> <mtext> </mtext> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mrow> <mo> ) </mo> </mrow> <msub> <mi> f </mi> <mrow> <mi> q </mi> <mi> q </mi> </mrow> </msub> <msub> <mi> f </mi> <mrow> <mi> p </mi> <mi> q </mi> </mrow> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mrow> <mo> ) </mo> </mrow> <msub> <mi> f </mi> <mrow> <mi> q </mi> <mi> q </mi> </mrow> </msub> <msub> <mi> f </mi> <mrow> <mi> p </mi> <mi> q </mi> </mrow> </msub> </mtd> </mtr> <mtr> <mtd> <mo> = </mo> <mi> A </mi> <mrow> <mo> ( </mo> <mrow> <mi> p </mi> <mn> , </mn> <mi> q </mi> </mrow> <mo> ) </mo> </mrow> <mn> . </mn> </mtd> </mtr> </mtable> </math>(129)Set <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 4 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 4 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 3 </mn> </msubsup> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 3 </mn> </msubsup> <mo> = </mo> <mn> 0, </mn> </mrow> </math> <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> <mtr> <mtd> <mn> 4 </mn> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 2 </mn> </msubsup> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 4 </mn> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 2 </mn> </msubsup> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 2 </mn> </msubsup> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 2 </mn> </msubsup> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <mn> 4 </mn> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <mn> 2 </mn> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <mn> 2 </mn> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> = </mo> <mn> 0, </mn> </mtd> </mtr> </mtable> </math> <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> <mtr> <mtd> <mn> 2 </mn> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 2 </mn> </msubsup> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 2 </mn> </msubsup> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 2 </mn> </msubsup> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 2 </mn> </msubsup> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> </mrow> <mo> ) </mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> = </mo> <mn> 0, </mn> </mtd> </mtr> </mtable> </math> <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> <mtr> <mtd> <mn> 4 </mn> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 3 </mn> </msubsup> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <mo> + </mo> <mn> 4 </mn> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 3 </mn> </msubsup> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <mn> 2 </mn> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <mn> 2 </mn> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <mo> + </mo> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 2 </mn> </msubsup> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 2 </mn> </msubsup> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mrow> <mo> ) </mo> </mrow> <mo> = </mo> <mn> 0, </mn> </mtd> </mtr> </mtable> </math> <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> <mtr> <mtd> <mn> 4 </mn> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 3 </mn> </msubsup> <mo> + </mo> <mn> 4 </mn> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 3 </mn> </msubsup> <mo> + </mo> <mn> 2 </mn> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <mn> 2 </mn> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mo> + </mo> <mtext> </mtext> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msubsup> <mi> k </mi> <mn> 3 </mn> <mn> 2 </mn> </msubsup> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mrow> <mo> ) </mo> </mrow> <mo> + </mo> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <mrow> <mo> ( </mo> <mrow> <mn> 2 </mn> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msubsup> <mi> k </mi> <mn> 4 </mn> <mn> 2 </mn> </msubsup> <mrow> <mo> ( </mo> <mrow> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msub> <mi> k </mi> <mn> 4 </mn> </msub> <mo> + </mo> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <msub> <mi> k </mi> <mn> 3 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mrow> <mo> ) </mo> </mrow> <mo> = </mo> <mn> 0. </mn> </mtd> </mtr> </mtable> </math>Then <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> <mtr> <mtd> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msubsup> <mi> u </mi> <mrow> <mi> t </mi> <mi> t </mi> </mrow> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msubsup> <mi> u </mi> <mrow> <mi> x </mi> <mi> x </mi> </mrow> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msubsup> <mi> u </mi> <mrow> <mi> t </mi> <mi> x </mi> </mrow> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <msub> <mi> u </mi> <mrow> <mi> t </mi> <mi> t </mi> </mrow> </msub> <msub> <mi> u </mi> <mrow> <mi> x </mi> <mi> x </mi> </mrow> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <msub> <mi> u </mi> <mrow> <mi> t </mi> <mi> t </mi> </mrow> </msub> <msub> <mi> u </mi> <mrow> <mi> t </mi> <mi> x </mi> </mrow> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <msub> <mi> u </mi> <mrow> <mi> x </mi> <mi> x </mi> </mrow> </msub> <msub> <mi> u </mi> <mrow> <mi> t </mi> <mi> x </mi> </mrow> </msub> </mtd> </mtr> <mtr> <mtd> <mo> = </mo> <mrow> <mo> ( </mo> <mrow> <msub> <mi> a </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 4 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 2 </mn> </msub> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 4 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 3 </mn> </msub> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 2 </mn> </msubsup> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 4 </mn> </msub> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 2 </mn> </msubsup> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 2 </mn> </msubsup> <mo> + </mo> <msub> <mi> a </mi> <mn> 5 </mn> </msub> <msubsup> <mi> k </mi> <mn> 1 </mn> <mn> 3 </mn> </msubsup> <msub> <mi> k </mi> <mn> 2 </mn> </msub> <mo> + </mo> <msub> <mi> a </mi> <mn> 6 </mn> </msub> <msub> <mi> k </mi> <mn> 1 </mn> </msub> <msubsup> <mi> k </mi> <mn> 2 </mn> <mn> 3 </mn> </msubsup> </mrow> <mo> ) </mo> </mrow> <msubsup> <mi> u </mi> <mrow> <mi> p </mi> <mi> p </mi> </mrow> <mn> 2 </mn> </msubsup> <mo> = </mo> <mi> A </mi> <mrow> <mo> ( </mo> <mrow> <mi> p </mi> <mn> , </mn> <mi> q </mi> </mrow> <mo> ) </mo> </mrow> <mn> . </mn> </mtd> </mtr> </mtable> </math>(130)Namely

$u_{p p} = \sqrt{B_{1}^{- 1} A (p, q)},$

$B_{1} = a_{1} k_{1}^{4} + a_{2} k_{2}^{4} + a_{3} k_{1}^{2} k_{2}^{2} + a_{4} k_{1}^{2} k_{2}^{2} + a_{5} k_{1}^{3} k_{2} + a_{6} k_{1} k_{2}^{3} .$

So the general solution of (121) is

$u = f (q) + p g (q) + \iint \sqrt{B_{1}^{- 1} A (p, q)} d p d p .$

The theorem is proved. $□$

A similar proof of Theorem 13 leads us to Theorem 14.

Theorem 14. In $ℝ^{2}$ , if

$a_{1} u_{t t}^{2} + a_{2} u_{x x}^{2} + a_{3} u_{t x}^{2} + a_{4} u_{t t} u_{x x} + a_{5} u_{t t} u_{t x} + a_{6} u_{x x} u_{t x} = A (t, x),$

the general solution of Equation (131) is

$u = f (p) + g (q) + \iint \sqrt{B_{2}^{- 1} A (p, q)} d p d q,$ (131)

where $f$ and $g$ are arbitrary second differentiable functions, and

$p = k_{1} t + k_{2} x, q = k_{3} t + k_{4} x,$

$k_{1} k_{4} - k_{2} k_{3} \neq 0,$

$\begin{matrix} B_{2} = 4 a_{1} k_{1}^{2} k_{3}^{2} + 4 a_{2} k_{2}^{2} k_{4}^{2} + a_{3} (k_{1}^{2} k_{4}^{2} + 2 k_{1} k_{2} k_{3} k_{4} + k_{2}^{2} k_{3}^{2}) + 4 a_{4} k_{1} k_{2} k_{3} k_{4} \\ + 2 a_{5} k_{1} k_{3} (k_{1} k_{4} + k_{2} k_{3}) + 2 a_{6} k_{2} k_{4} (k_{1} k_{4} + k_{2} k_{3}), \end{matrix}$

the constants $k_{1}, k_{2}, k_{3}, k_{4}$ need satisfy

$a_{1} k_{1}^{4} + a_{2} k_{2}^{4} + a_{3} k_{1}^{2} k_{2}^{2} + a_{4} k_{1}^{2} k_{2}^{2} + a_{5} k_{1}^{3} k_{2} + a_{6} k_{1} k_{2}^{3} = 0,$

$a_{1} k_{3}^{4} + a_{2} k_{4}^{4} + a_{3} k_{3}^{2} k_{4}^{2} + a_{4} k_{3}^{2} k_{4}^{2} + a_{5} k_{3}^{3} k_{4} + a_{6} k_{3} k_{4}^{3} = 0,$

Next, we use Theorem 14 to analyze a definite solution problem.

Example 10. In $ℝ^{2}$ , use Theorem 10 to obtain the analytical solution of

$u_{t t}^{2} + 6 u_{x x}^{2} - 7 u_{t t} u_{x x} + u_{t t} u_{t x} - u_{x x} u_{t x} = 0,$ (132)

in the conditions of $u (0, x) = Φ (x)$ and $u_{t} (0, x) = Ψ (x)$ . $Φ$ is an arbitrary known second differentiable function, $Ψ$ is an arbitrary known first differentiable function.

Solution. According to Theorem 14, the general solution of (132) is

$u = f (t + x) + g (t - x),$ (133)

$u = f (2 t + x) + g (3 t - x) .$ (134)

If $u = f (t + x) + g (t - x)$ , then

$u (0, x) = f (x) + g (- x) = Φ (x),$

$u_{t} (0, x) = f_{p} (x) + g_{q} (- x) = Ψ (x) .$

When $t = 0, p = x, q = - x$ , so

$f_{p} (x) - g_{q} (- x) = Φ^{'} (x) .$

Therefore

$2 f_{p} (x) = Ψ (x) + Φ^{'} (x),$

$f (x) = \frac{1}{2} (Φ (x) + \int_{x_{0}}^{x} ψ (ξ) d ξ),$

$\begin{matrix} g (- x) = Φ (x) - f (x) = Φ (x) - \frac{1}{2} (Φ (x) + \int_{x_{0}}^{x} ψ (ξ) d ξ) \\ = \frac{1}{2} (Φ (x) - \int_{x_{0}}^{x} ψ (ξ) d ξ), \end{matrix}$

$g (x) = \frac{1}{2} (Φ (- x) - \int_{x_{0}}^{- x} ψ (ξ) d ξ) .$

Whereupon

$f (t + x) = \frac{1}{2} (Φ (t + x) + \int_{x_{0}}^{t + x} ψ (ξ) d ξ),$

$g (t - x) = \frac{1}{2} (Φ (- (t - x)) - \int_{x_{0}}^{- (t - x)} ψ (ξ) d ξ) = \frac{1}{2} (Φ (x - t) - \int_{x_{0}}^{x - t} ψ (ξ) d ξ),$

$\begin{matrix} u = f (t + x) + g (t - x) \\ = \frac{1}{2} (Φ (t + x) + \int_{x_{0}}^{t + x} ψ (ξ) d ξ) + \frac{1}{2} (Φ (x - t) - \int_{x_{0}}^{x - t} ψ (ξ) d ξ) \\ = \frac{1}{2} (Φ (t + x) + Φ (x - t) + \int_{x - t}^{t + x} ψ (ξ) d ξ) . \end{matrix}$

So the analytical solution of the definite solution problem is

$u = \frac{1}{2} (Φ (t + x) + Φ (x - t) + \int_{x - t}^{t + x} ψ (ξ) d ξ) .$ (135)

If $u = f (2 t + x) + g (3 t - x)$ , then

$u (0, x) = f (x) + g (- x) = Φ (x),$

$u_{t} (0, x) = 2 f_{p} (x) + 3 g_{q} (- x) = Ψ (x) .$

When $t = 0, p = x, q = - x$ , then

$f_{p} (x) - g_{q} (- x) = Φ^{'} (x) .$

Thereupon

$5 f_{p} (x) = Ψ (x) + 3 Φ^{'} (x),$

$f (x) = \frac{1}{5} (3 Φ (x) + \int_{x_{0}}^{x} ψ (ξ) d ξ),$

$\begin{matrix} g (- x) = Φ (x) - f (x) = Φ (x) - \frac{1}{5} (3 Φ (x) + \int_{x_{0}}^{x} ψ (ξ) d ξ) \\ = \frac{2}{5} Φ (x) - \frac{1}{5} \int_{x_{0}}^{x} ψ (ξ) d ξ, \end{matrix}$

$g (x) = \frac{2}{5} Φ (- x) - \frac{1}{5} \int_{x_{0}}^{- x} ψ (ξ) d ξ .$

$f (2 t + x) = \frac{1}{5} (3 Φ (2 t + x) + \int_{x_{0}}^{2 t + x} ψ (ξ) d ξ),$

$\begin{matrix} g (3 t - x) = \frac{2}{5} Φ (- (3 t - x)) - \frac{1}{5} \int_{x_{0}}^{- (3 t - x)} ψ (ξ) d ξ \\ = \frac{2}{5} Φ (x - 3 t) - \frac{1}{5} \int_{x_{0}}^{x - 3 t} ψ (ξ) d ξ, \end{matrix}$

$\begin{matrix} u = f (2 t + x) + g (3 t - x) \\ = \frac{3}{5} Φ (2 t + x) + \frac{1}{5} \int_{x_{0}}^{2 t + x} ψ (ξ) d ξ + \frac{2}{5} Φ (x - 3 t) - \frac{1}{5} \int_{x_{0}}^{x - 3 t} ψ (ξ) d ξ \\ = \frac{3}{5} Φ (2 t + x) + \frac{2}{5} Φ (x - 3 t) + \frac{1}{5} \int_{x - 3 t}^{2 t + x} ψ (ξ) d ξ . \end{matrix}$

Then the analytical solution of the definite solution problem is

$u = \frac{3}{5} Φ (2 t + x) + \frac{2}{5} Φ (x - 3 t) + \frac{1}{5} \int_{x - 3 t}^{2 t + x} ψ (ξ) d ξ .$ (136)

Example 10 illustrates that the analytical solution to this definite solution problem is not unique. If one needs to determine exactly which analytical solution is the case, more conditions are needed. For example, if

$u (t,0) = \frac{1}{2} (Φ (t) + Φ (- t) + \int_{- t}^{t} ψ (ξ) d ξ)$ is also known, then the analytical solution of this definite solution problem can be determined as $u = \frac{1}{2} (Φ (t + x) + Φ (x - t) + \int_{x - t}^{t + x} ψ (ξ) d ξ)$ .

Theorem 15. In $ℝ^{2}$ , if

$\begin{array}{l} a_{1} u_{t t t}^{2} + a_{2} u_{x x x}^{2} + a_{3} u_{t t x}^{2} + a_{4} u_{t x x}^{2} + a_{5} u_{t t t} u_{x x x} + a_{6} u_{t t t} u_{t t x} + a_{7} u_{t t t} u_{t x x} \\ + a_{8} u_{x x x} u_{t t x} + a_{9} u_{x x x} u_{t x x} + a_{10} u_{t t x} u_{t x x} = A (t, x), \end{array}$ (137)

where $a_{i}$ are any known constants ( $1 \leq i \leq 10$ ), then the general solution of Equation (137) is

$u = f (q) + p g (q) + p^{2} h (q) + ∭ \sqrt{B_{1}^{- 1} A (p, q)} d p^{3},$ (138)

where $f, g, h$ are arbitrary third differentiable functions, and

$p = k_{1} t + k_{2} x, q = k_{3} t + k_{4} x,$

$k_{1} k_{4} - k_{2} k_{3} \neq 0,$

$\begin{matrix} B_{1} = a_{1} k_{1}^{6} + a_{2} k_{2}^{6} + a_{3} k_{1}^{4} k_{2}^{2} + a_{4} k_{1}^{2} k_{2}^{4} + a_{5} k_{1}^{3} k_{2}^{3} + a_{6} k_{1}^{5} k_{2} \\ + a_{7} k_{1}^{4} k_{2}^{2} + a_{8} k_{1}^{2} k_{2}^{4} + a_{9} k_{1} k_{2}^{5} + a_{10} k_{1}^{3} k_{2}^{3}, \end{matrix}$ (139)

the constants $k_{1}, k_{2}, k_{3}, k_{4}$ need satisfy

$\begin{array}{l} a_{1} k_{3}^{6} + a_{2} k_{4}^{6} + a_{3} k_{3}^{4} k_{4}^{2} + a_{4} k_{3}^{2} k_{4}^{4} + a_{5} k_{3}^{3} k_{4}^{3} + a_{6} k_{3}^{5} k_{4} \\ + a_{7} k_{3}^{4} k_{4}^{2} + a_{8} k_{3}^{2} k_{4}^{4} + a_{9} k_{3} k_{4}^{5} + a_{10} k_{3}^{3} k_{4}^{3} = 0, \end{array}$ (140)

$\begin{array}{l} 6 a_{1} k_{1}^{5} k_{3} + 6 a_{2} k_{2}^{5} k_{4} + 4 a_{3} k_{1}^{3} k_{2}^{2} k_{3} + 2 a_{3} k_{1}^{4} k_{2} k_{4} + 2 a_{4} k_{1} k_{2}^{4} k_{3} + 4 a_{4} k_{1}^{2} k_{2}^{3} + 3 a_{5} k_{1}^{2} k_{2}^{3} k_{3} \\ + 3 a_{5} k_{1}^{3} k_{2}^{2} k_{4} + 5 a_{6} k_{1}^{4} k_{2} k_{3} + a_{6} k_{1}^{5} k_{4} + 4 a_{7} k_{1}^{3} k_{2}^{2} k_{3} + 2 a_{7} k_{1}^{4} k_{2} k_{4} + 2 a_{8} k_{1} k_{2}^{4} k_{3} \\ + 4 a_{8} k_{1}^{2} k_{2}^{3} k_{4} + a_{9} k_{2}^{5} k_{3} u_{p^{3}} u_{p^{2} q} + 5 a_{9} k_{1} k_{2}^{4} k_{4} + 3 a_{10} k_{1}^{2} k_{2}^{3} k_{3} + 3 a_{10} k_{1}^{3} k_{2}^{2} k_{4} = 0, \end{array}$ (141)

$\begin{array}{l} 9 a_{1} k_{1}^{4} k_{3}^{2} + 9 a_{2} k_{2}^{4} k_{4}^{2} + 4 a_{3} k_{1}^{2} k_{2}^{2} k_{3}^{2} + 4 a_{3} k_{1}^{3} k_{2} k_{3} k_{4} + a_{3} k_{1}^{4} k_{4}^{2} + a_{4} k_{2}^{4} k_{3}^{2} \\ + 4 a_{4} k_{1} k_{2}^{3} k_{3} k_{4} + 4 a_{4} k_{1}^{2} k_{2}^{2} k_{4}^{2} + 9 a_{5} k_{1}^{2} k_{2}^{2} k_{3} k_{4} + 6 a_{6} k_{1}^{3} k_{2} k_{3}^{2} + 3 a_{6} k_{1}^{4} k_{3} k_{4} \\ + 3 a_{7} k_{1}^{2} k_{2}^{2} k_{3}^{2} + 6 a_{7} k_{1}^{3} k_{2} k_{3} k_{4} + 6 a_{8} k_{1} k_{2}^{3} k_{3} k_{4} + 3 a_{8} k_{1}^{2} k_{2}^{2} k_{4}^{2} + 3 a_{9} k_{2}^{4} k_{3} k_{4} \\ + 6 a_{9} k_{1} k_{2}^{3} k_{4}^{2} + 2 a_{10} k_{1} k_{2}^{3} k_{3}^{2} + 5 a_{10} k_{1}^{2} k_{2}^{2} k_{3} k_{4} + 2 a_{10} k_{1}^{3} k_{2} k_{4}^{2} = 0, \end{array}$ (142)

$\begin{array}{l} 6 a_{1} k_{1}^{4} k_{3}^{2} + 6 a_{2} k_{2}^{4} k_{4}^{2} + 2 a_{3} k_{1}^{2} k_{2}^{2} k_{3}^{2} + 4 a_{3} k_{1}^{3} k_{2} k_{3} k_{4} + 4 a_{4} k_{1} k_{2}^{3} k_{3} k_{4} + 2 a_{4} k_{1}^{2} k_{2}^{2} k_{4}^{2} \\ + 3 a_{5} k_{1} k_{2}^{3} k_{3}^{2} + 3 a_{5} k_{1}^{3} k_{2} k_{4}^{2} + 4 a_{6} k_{1}^{3} k_{2} k_{3}^{2} + 2 a_{6} k_{1}^{4} k_{3} k_{4} + 3 a_{7} k_{1}^{2} k_{2}^{2} k_{3}^{2} + 2 a_{7} k_{1}^{3} k_{2} k_{3} k_{4} \\ + a_{7} k_{1}^{4} k_{4}^{2} + a_{8} k_{2}^{4} k_{3}^{2} + 2 a_{8} k_{1} k_{2}^{3} k_{3} k_{4} + 3 a_{8} k_{1}^{2} k_{2}^{2} k_{4}^{2} + 2 a_{9} k_{2}^{4} k_{3} k_{4} u_{p^{3}} u_{p q^{2}} + 4 a_{9} k_{1} k_{2}^{3} k_{4}^{2} \\ + a_{10} k_{1} k_{2}^{3} k_{3}^{2} + 4 a_{10} k_{1}^{2} k_{2}^{2} k_{3} k_{4} + a_{10} k_{1}^{3} k_{2} k_{4}^{2} = 0, \end{array}$ (143)

$\begin{array}{l} 18 a_{1} k_{1}^{3} k_{3}^{3} + 18 a_{2} k_{2}^{3} k_{4}^{3} + 4 a_{3} k_{1} k_{2}^{2} k_{3}^{3} + 10 a_{3} k_{1}^{2} k_{2} k_{3}^{2} k_{4} + 4 a_{3} k_{1}^{3} k_{3} k_{4}^{2} + 4 a_{4} k_{2}^{3} k_{3}^{2} k_{4} \\ + 10 a_{4} k_{1} k_{2}^{2} k_{3} k_{4}^{2} + 4 a_{4} k_{1}^{2} k_{2} k_{4}^{3} + 9 a_{5} k_{1} k_{2}^{2} k_{3}^{2} k_{4} + 9 a_{5} k_{1}^{2} k_{2} k_{3} k_{4}^{2} + 9 a_{6} k_{1}^{2} k_{2} k_{3}^{3} \\ + 9 a_{6} k_{1}^{3} k_{3}^{2} k_{4} + 3 a_{7} k_{1} k_{2}^{2} k_{3}^{3} + 12 a_{7} k_{1}^{2} k_{2} k_{3}^{2} k_{4} + 3 a_{7} k_{1}^{3} k_{3} k_{4}^{2} + 3 a_{8} k_{2}^{3} k_{3}^{2} k_{4} \\ + 12 a_{8} k_{1} k_{2}^{2} k_{3} k_{4}^{2} + 3 a_{8} k_{1}^{2} k_{2} k_{4}^{3} + 9 a_{9} k_{2}^{3} k_{3} k_{4}^{2} + 9 a_{9} k_{1} k_{2}^{2} k_{4}^{3} + a_{10} k_{2}^{3} k_{3}^{3} \\ + 8 a_{10} k_{1} k_{2}^{2} k_{3}^{2} k_{4} + 8 a_{10} k_{1}^{2} k_{2} k_{3} k_{4}^{2} + a_{10} k_{1}^{3} k_{4}^{3} = 0, \end{array}$ (144)

$\begin{array}{l} 9 a_{1} k_{1}^{2} k_{3}^{4} + 9 a_{2} k_{2}^{2} k_{4}^{4} + a_{3} k_{2}^{2} k_{3}^{4} + 4 a_{3} k_{1} k_{2} k_{3}^{3} k_{4} + 4 a_{3} k_{1}^{2} k_{3}^{2} k_{4}^{2} + 4 a_{4} k_{2}^{2} k_{3}^{2} k_{4}^{2} \\ + 4 a_{4} k_{1} k_{2} k_{3} k_{4}^{3} + a_{4} k_{1}^{2} k_{4}^{4} + 9 a_{5} k_{1} k_{2} k_{3}^{2} k_{4}^{2} + 3 a_{6} k_{1} k_{2} k_{3}^{4} + 6 a_{6} k_{1}^{2} k_{3}^{3} k_{4} + 6 a_{7} k_{1} k_{2} k_{3}^{3} k_{4} \\ + 3 a_{7} k_{1}^{2} k_{3}^{2} k_{4}^{2} + 3 a_{8} k_{2}^{2} k_{3}^{2} k_{4}^{2} + 6 a_{8} k_{1} k_{2} k_{3} k_{4}^{3} + 6 a_{9} k_{2}^{2} k_{3} k_{4}^{3} + 3 a_{9} k_{1} k_{2} k_{4}^{4} + 2 a_{10} k_{2}^{2} k_{3}^{3} k_{4} \\ + 5 a_{10} k_{1} k_{2} k_{3}^{2} k_{4}^{2} + 2 a_{10} k_{1}^{2} k_{3} k_{4}^{3} = 0, \end{array}$ (145)

$\begin{array}{l} 2 a_{1} k_{1}^{3} k_{3}^{3} + 2 a_{2} k_{2}^{3} k_{4}^{3} + 2 a_{3} k_{1}^{2} k_{2} k_{3}^{2} k_{4} + 2 a_{4} k_{1} k_{2}^{2} k_{3} k_{4}^{2} + a_{5} k_{2}^{3} k_{3}^{3} + a_{5} k_{1}^{3} k_{4}^{3} + a_{6} k_{1}^{2} k_{2} k_{3}^{3} \\ + a_{6} k_{1}^{3} k_{3}^{2} k_{4} + a_{7} k_{1} k_{2}^{2} k_{3}^{3} + a_{7} k_{1}^{3} k_{3} k_{4}^{2} + a_{8} k_{2}^{3} k_{3}^{2} k_{4} + a_{8} k_{1}^{2} k_{2} k_{4}^{3} + a_{9} k_{2}^{3} k_{3} k_{4}^{2} + a_{9} k_{1} k_{2}^{2} k_{4}^{3} \\ + a_{10} k_{1} k_{2}^{2} k_{3}^{2} k_{4} + a_{10} k_{1}^{2} k_{2} k_{3} k_{4}^{2} = 0, \end{array}$ (146)

$\begin{array}{l} 6 a_{1} k_{1}^{2} k_{3}^{4} + 6 a_{2} k_{2}^{2} k_{4}^{4} + 4 a_{3} k_{1} k_{2} k_{3}^{3} k_{4} + 2 a_{3} k_{1}^{2} k_{3}^{2} k_{4}^{2} + 2 a_{4} k_{2}^{2} k_{3}^{2} k_{4}^{2} + 4 a_{4} k_{1} k_{2} k_{3} k_{4}^{3} \\ + 3 a_{5} k_{2}^{2} k_{3}^{3} k_{4} + 3 a_{5} k_{1}^{2} k_{3} k_{4}^{3} + 2 a_{6} k_{1} k_{2} k_{3}^{4} + 4 a_{6} k_{1}^{2} k_{3}^{3} k_{4} + a_{7} k_{2}^{2} k_{3}^{4} + 2 a_{7} k_{1} k_{2} k_{3}^{3} k_{4} \\ + 3 a_{7} k_{1}^{2} k_{3}^{2} k_{4}^{2} + 3 a_{8} k_{2}^{2} k_{3}^{2} k_{4}^{2} + 2 a_{8} k_{1} k_{2} k_{3} k_{4}^{3} + a_{8} k_{1}^{2} k_{4}^{4} + 4 a_{9} k_{2}^{2} k_{3} k_{4}^{3} + 2 a_{9} k_{1} k_{2} k_{4}^{4} \\ + a_{10} k_{2}^{2} k_{3}^{3} k_{4} + 4 a_{10} k_{1} k_{2} k_{3}^{2} k_{4}^{2} + a_{10} k_{1}^{2} k_{3} k_{4}^{3} = 0, \end{array}$ (147)

$\begin{array}{l} 6 a_{1} k_{1} k_{3}^{5} + 6 a_{2} k_{2} k_{4}^{5} + 2 a_{3} k_{2} k_{3}^{4} k_{4} + 4 a_{3} k_{1} k_{3}^{3} k_{4}^{2} + 4 a_{4} k_{2} k_{3}^{2} k_{4}^{3} + 2 a_{4} k_{1} k_{3} k_{4}^{4} \\ + 3 a_{5} k_{2} k_{3}^{3} k_{4}^{2} + 3 a_{5} k_{1} k_{3}^{2} k_{4}^{3} + a_{6} k_{2} k_{3}^{5} + 5 a_{6} k_{1} k_{3}^{4} k_{4} + 2 a_{7} k_{2} k_{3}^{4} k_{4} + 4 a_{7} k_{1} k_{3}^{3} k_{4}^{2} \\ + 4 a_{8} k_{2} k_{3}^{2} k_{4}^{3} + 2 a_{8} k_{1} k_{3} k_{4}^{4} + 5 a_{9} k_{2} k_{3} k_{4}^{4} + a_{9} k_{1} k_{4}^{5} + 3 a_{10} k_{2} k_{3}^{3} k_{4}^{2} + 3 a_{10} k_{1} k_{3}^{2} k_{4}^{3} = 0. \end{array}$ (148)

Proof. By $Z_{1}$ transformation, set $u = u (p, q)$ , and $p = k_{1} t + k_{2} x$ , $q = k_{3} t + k_{4} x$ , then

Figure 13 <img width="644.0972222222222" src="https://html.scirp.org/file/1723970-rId1406.svg?20250120032929"> </img><img width="628.4722222222222" src="https://html.scirp.org/file/1723970-rId1408.svg?20250120032929"> </img><img width="616.3194444444445" src="https://html.scirp.org/file/1723970-rId1410.svg?20250120032929">(149)</img>Set<img width="326.3888888888889" src="https://html.scirp.org/file/1723970-rId1412.svg?20250120032929" /><img width="527.7777777777778" src="https://html.scirp.org/file/1723970-rId1414.svg?20250120032929" /><img width="453.125" src="https://html.scirp.org/file/1723970-rId1416.svg?20250120032929" /><img width="524.3055555555555" src="https://html.scirp.org/file/1723970-rId1418.svg?20250120032929" /><img width="498.2638888888889" src="https://html.scirp.org/file/1723970-rId1420.svg?20250120032929" /><img width="460.0694444444444" src="https://html.scirp.org/file/1723970-rId1422.svg?20250120032929" /> Figure 14 <img width="500.0" src="https://html.scirp.org/file/1723970-rId1426.svg?20250120032929" /><img width="513.8888888888888" src="https://html.scirp.org/file/1723970-rId1428.svg?20250120032929" />Thereupon<img width="354.1666666666667" src="https://html.scirp.org/file/1723970-rId1430.svg?20250120032929" /><img width="302.0833333333333" src="https://html.scirp.org/file/1723970-rId1432.svg?20250120032929"> (150)</img>Namely<img width="140.625" src="https://html.scirp.org/file/1723970-rId1434.svg?20250120032929" /><img width="361.1111111111111" src="https://html.scirp.org/file/1723970-rId1436.svg?20250120032929" />So the general solution of (137) is<img width="355.74837310195227" src="https://html.scirp.org/file/1723970-rId1438.svg?20250120032929" />

The theorem is proved.

A similar proof of Theorem 15 leads to other general solutions of (137) as

(151)

(152)

(153)

(154)

(155)

(156)

3. Discussion and Summary

In this paper, we demonstrate through specific cases that transformation is an important method for obtaining analytical solutions and general solutions of nonlinear partial differential equations, and that using such solutions to gain analytical solutions of definite solution problems is also a very effective method. In practical cases, we find that the analytical solutions of some definite solution problems of first- and second-order nonlinear partial differential equations may not be unique, and more definite solution conditions are needed to make the analytical solutions of these definite solution problems unique.

The transformation is a completely new method that we have proposed to obtain general solutions to linear partial differential equations. Having successfully used it to obtain general solutions to a wide variety of linear partial differential equations, this paper is the first to use the transformation to study the current hot topic of nonlinear partial differential equations. A large number of new laws have been discovered and a large number of new cases have been solved, demonstrating the novelty and importance of this approach.

For methods capable of studying both linear and non-linear partial differential equations, analytical solutions are not available for qualitative analysis, and numerical methods are often only capable of studying local behaviour, and it is virtually impossible to obtain solutions involving arbitrary functions. The analytical solutions obtained by various existing analytical methods generally do not contain arbitrary functions, which makes it difficult to study definite solution problems and does not explain the infinitely variable physical phenomena in nature. The ability of the transformation to obtain analytical solutions containing arbitrary functions for many kinds of linear and nonlinear partial differential equations demonstrates its unique importance.

Now we all know that the universe is moving and changing. Physicists have discovered that the physical laws behind many natural phenomena are differential equations, especially infinitely variable physical phenomena such as light waves, sound waves, water waves and so on. In mathematics, perhaps only arbitrary functions can accurately describe physical phenomena with infinite variations, so proposing correct differential equations and obtaining analytical solutions of these equations containing arbitrary functions are of great theoretical and practical significance for human beings to understand, use and transform nature. The unveiling of the transformation has opened this door, and we can expect even greater progress and success to follow!

References 1

Polyanin, A.D. and Zaitsev, V.F. (2003) Handbook of Exact Solutions for Ordinary Differential Equations. CRC Press.

Giné, J. and Santallusia, X. (2010) Abel Differential Equations Admitting a Certain First Integral. Journal of Mathematical Analysis and Applications, 370, 187-199. >https://doi.org/10.1016/j.jmaa.2010.04.046

Mancas, S.C. and Rosu, H.C. (2013) Integrable Dissipative Nonlinear Second Order Differential Equations via Factorizations and Abel Equations. Physics Letters A, 377, 1434-1438. >https://doi.org/10.1016/j.physleta.2013.04.024

Bougoffa, L. (2010) New Exact General Solutions of Abel Equation of the Second Kind. Applied Mathematics and Computation, 216, 689-691. >https://doi.org/10.1016/j.amc.2010.01.114

Mak, M.K. and Harko, T. (2002) New Method for Generating General Solution of Abel Differential Equation. Computers&Mathematics with Applications, 43, 91-94. >https://doi.org/10.1016/s0898-1221(01)00274-7

Mak, M.K. and Harko, T. (2012) New Integrability Case for the Riccati Equation. Applied Mathematics and Computation, 218, 10974-10981. >https://doi.org/10.1016/j.amc.2012.04.058

Polyanin, A.D. (2016) Handbook of Linear Partial Differential Equations for Engineers and Scientists. CRC Press.

Polyanin, A.D., Zaitsev, V.F. and Moussiaux, A. (2001) Handbook of First Order Partial Differential Equations. CRC Press.

Polyanin, A.D. and Zaitsev, V.F. (2012) Handbook of Nonlinear Partial Differential Equations. CRC Press.

Chen, Y. and Yan, X. (2022) Inverse Scattering and Soliton Solutions of High-Order Matrix Nonlinear Schrödinger Equation. Nonlinear Dynamics, 108, 4057-4067. >https://doi.org/10.1007/s11071-022-07363-0

Barannyk, A.F., Barannyk, T.A. and Yuryk, I.I. (2018) Exact Solutions of the Nonlinear Equation . Ukrainian Mathematical Journal, 69, 1370-1378.

Zhang, L., Yu, J., Ma, W., Khalique, C.M. and Sun, Y. (2021) Localized Solutions of (5+1)-Dimensional Evolution Equations. Nonlinear Dynamics, 104, 4317-4327. >https://doi.org/10.1007/s11071-021-06541-w

Gusev, V.A. and Makov, Y.N. (2010) Spectral Representation of Solution of Cubically Nonlinear Equation for the Riemann Simple Wave. Acoustical Physics, 56, 626-631. >https://doi.org/10.1134/s1063771010050040

Kai, Y., Ji, J. and Yin, Z. (2022) Study of the Generalization of Regularized Long-Wave Equation. Nonlinear Dynamics, 107, 2745-2752. >https://doi.org/10.1007/s11071-021-07115-6

Alquran, M., Jaradat, H.M. and Syam, M.I. (2017) A Modified Approach for a Reliable Study of New Nonlinear Equation: Two-Mode Korteweg-de Vries-Burgers Equation. Nonlinear Dynamics, 91, 1619-1626. >https://doi.org/10.1007/s11071-017-3968-1

Ma, W., Huang, T. and Zhang, Y. (2010) A Multiple Exp-Function Method for Nonlinear Differential Equations and Its Application. Physica Scripta, 82, Article 065003. >https://doi.org/10.1088/0031-8949/82/06/065003

Inan, I.E. and Ugurlu, Y. (2010) Exp-Function Method for the Exact Solutions of Fifth Order KdV Equation and Modified Burgers Equation. Applied Mathematics and Computation, 217, 1294-1299. >https://doi.org/10.1016/j.amc.2009.07.009

Wen, Y. and Zhou, X. (2009) Exact Solutions for the Generalized Nonlinear Heat Conduction Equations Using the Exp-Function Method. Computers&Mathematics with Applications, 58, 2464-2467. >https://doi.org/10.1016/j.camwa.2009.03.037

Jaradat, H.M., Alquran, M. and Syam, M.I. (2018) A Reliable Study of New Nonlinear Equation: Two-Mode Kuramoto-Sivashinsky. International Journal of Applied and Computational Mathematics, 4, Article No. 64. >https://doi.org/10.1007/s40819-018-0497-7

Wang, M. (1995) Solitary Wave Solutions for Variant Boussinesq Equations. Physics Letters A, 199, 169-172. >https://doi.org/10.1016/0375-9601(95)00092-h

Fan, E. (2000) Two New Applications of the Homogeneous Balance Method. Physics Letters A, 265, 353-357. >https://doi.org/10.1016/s0375-9601(00)00010-4

Khalfallah, M. (2009) New Exact Traveling Wave Solutions of the (3+1) Dimensional Kadomtsev-Petviashvili (KP) Equation. Communications in Nonlinear Science and Numerical Simulation, 14, 1169-1175. >https://doi.org/10.1016/j.cnsns.2007.11.010

Rincon, M.A. and Quintino, N.P. (2016) Numerical Analysis and Simulation for a Nonlinear Wave Equation. Journal of Computational and Applied Mathematics, 296, 247-264. >https://doi.org/10.1016/j.cam.2015.09.024

Tabarintseva, E.V. (2018) Estimating the Accuracy of a Method of Auxiliary Boundary Conditions in Solving an Inverse Boundary Value Problem for a Nonlinear Equation. Numerical Analysis and Applications, 11, 236-255. >https://doi.org/10.1134/s1995423918030059

Deng, D. and Zhang, C. (2012) A New Fourth-Order Numerical Algorithm for a Class of Nonlinear Wave Equations. Applied Numerical Mathematics, 62, 1864-1879. >https://doi.org/10.1016/j.apnum.2012.07.004

Messaoudi, S.A., Talahmeh, A.A. and Al-Smail, J.H. (2017) Nonlinear Damped Wave Equation: Existence and Blow-Up. Computers&Mathematics with Applications, 74, 3024-3041. >https://doi.org/10.1016/j.camwa.2017.07.048

Deng, D., Wu, H., Sun, P., Wang, R., Shi, Z. and Luo, X. (2018) A New Geometric Modeling Approach for Woven Fabric Based on Frenet Frame and Spiral Equation. Journal of Computational and Applied Mathematics, 329, 84-94. >https://doi.org/10.1016/j.cam.2017.04.051

Wang, Y., Liu, S., Shao, K., Yang, C., Huang, S. and Li, W. (2020) Global Strong Solution of Fourth Order Nonlinear Wave Equation. Nonlinear Analysis, 197, Article 111854. >https://doi.org/10.1016/j.na.2020.111854

Wu, S. (2012) On Decay and Blow-Up of Solutions for a System of Nonlinear Wave Equations. Journal of Mathematical Analysis and Applications, 394, 360-377. >https://doi.org/10.1016/j.jmaa.2012.04.054

Gao, M. (2014) Quasi-Periodic Solutions for 1D Wave Equation with the Nonlinearity . Journal of Mathematical Analysis and Applications, 410, 783-806.

Feng, H. and Li, S. (2012) Global Nonexistence for a Semilinear Wave Equation with Nonlinear Boundary Dissipation. Journal of Mathematical Analysis and Applications, 391, 255-264. >https://doi.org/10.1016/j.jmaa.2012.02.013

Long, N.T. and Ngoc, L.T.P. (2012) On a Nonlinear Wave Equation with Boundary Conditions of Two-Point Type. Journal of Mathematical Analysis and Applications, 385, 1070-1093. >https://doi.org/10.1016/j.jmaa.2011.07.034

Wu, S. (2012) Asymptotic Behavior of Solutions for Nonlinear Wave Equations of Kirchhoff Type with a Positive-Negative Damping. Applied Mathematics Letters, 25, 1082-1086. >https://doi.org/10.1016/j.aml.2012.03.022

Guo, J. and Ling, C. (2013) Dynamics for a Complex-Valued Heat Equation with an Inverse Nonlinearity. Journal of Mathematical Analysis and Applications, 400, 153-160. >https://doi.org/10.1016/j.jmaa.2012.11.035

Ambrosio, V. (2020) Concentration Phenomena for a Class of Fractional Kirchhoff Equations in R ^N with General Nonlinearities. Nonlinear Analysis, 195, Article 111761. >https://doi.org/10.1016/j.na.2020.111761

Zhu, H.L. (2022) General Solutions of the Laplace Equation. Partial Differential Equations in Applied Mathematics, 5, Article 100302. >https://doi.org/10.1016/j.padiff.2022.100302

Zhu, H.L. (2022) General Solutions’ Laws of Linear Partial Differential Equations I. Partial Differential Equations in Applied Mathematics, 6, Article 100418. >https://doi.org/10.1016/j.padiff.2022.100418

Zhu, H.L. (2023) General Solutions’ Laws of Linear Partial Differential Equations II. Partial Differential Equations in Applied Mathematics, 7, Article 100526. >https://doi.org/10.1016/j.padiff.2023.100526

Zhu, H.L. (2023) The Transformation for solving Quasi-Linear Partial Differential Equations. Partial Differential Equations in Applied Mathematics, 8, Article 100574.

Zhu, H.L. (2025) Laws of General Solutions of Mathematical Physics Equations. Partial Differential Equations in Applied Mathematics, 13, Article 101025. >https://doi.org/10.1016/j.padiff.2024.101025

Zhu, H.L. (2025) A New Method for Researching Differential Equations. Partial Differential Equations in Applied Mathematics, 13, Article 101050. >https://doi.org/10.1016/j.padiff.2024.101050