Finite time blow-up and global existence of solutions for semilinear parabolic equations with nonlinear dynamical boundary condition

Mingyou Zhang; Qingsong Zhao; Yu Liu; Wenke Li; Mingyou Zhang; Qingsong Zhao; Yu Liu; Wenke Li

doi:10.3934/era.2020021

Electronic Research Archive

2020, Volume 28, Issue 1: 369-381. doi: 10.3934/era.2020021

Previous Article Next Article

Special Issues

Finite time blow-up and global existence of solutions for semilinear parabolic equations with nonlinear dynamical boundary condition

Mingyou Zhang ^{1
,},
Qingsong Zhao ^{2
,},
Yu Liu ^{3
,},
Wenke Li ^{4
,
,}

1.
College of Science, Northwest A&F University, Yangling, Shaanxi 712100, China
2.
School of Mathematics and Statistics, Wuhan University, Wuhan, Hubei 430000, China
3.
College of Mathematical Sciences, Harbin Engineering University, Harbin, Heilongjiang 150001, China
4.
College of Power and Energy Engineering, Harbin Engineering University, Harbin, Heilongjiang 150001, China

Received: 01 December 2019
Primary: 35K58; Secondary: 35K60

For a class of semilinear parabolic equations under nonlinear dynamical boundary conditions in a bounded domain, we obtain finite time blow-up solutions when the initial data varies in the phase space $H_0^1(\Omega)$ at positive initial energy level and get global solutions with the initial data at low and critical energy level. Our main tools are potential well method and concavity method.

Keywords:

Citation: Mingyou Zhang, Qingsong Zhao, Yu Liu, Wenke Li. Finite time blow-up and global existence of solutions for semilinear parabolic equations with nonlinear dynamical boundary condition[J]. Electronic Research Archive, 2020, 28(1): 369-381. doi: 10.3934/era.2020021

Related Papers:

[1]	Xiaodie Luo, Kaimin Cheng . Counting solutions to a system of quadratic form equations over finite fields. AIMS Mathematics, 2025, 10(6): 13741-13754. doi: 10.3934/math.2025619
[2]	Yan Ma, Di Han . On the high-th mean of one special character sums modulo a prime. AIMS Mathematics, 2023, 8(11): 25804-25814. doi: 10.3934/math.20231316
[3]	Robert Reynolds, Allan Stauffer . Extended Prudnikov sum. AIMS Mathematics, 2022, 7(10): 18576-18586. doi: 10.3934/math.20221021
[4]	Junyong Zhao, Yang Zhao, Yujun Niu . On the number of solutions of two-variable diagonal quartic equations over finite fields. AIMS Mathematics, 2020, 5(4): 2979-2991. doi: 10.3934/math.2020192
[5]	Shuangnian Hu, Rongquan Feng . On the number of solutions of two-variable diagonal sextic equations over finite fields. AIMS Mathematics, 2022, 7(6): 10554-10563. doi: 10.3934/math.2022588
[6]	Mohra Zayed, Maged G. Bin-Saad, Waleed K. Mohammed . On Mittag-Leffler-Gegenbauer polynomials arising by the convolution of Mittag-Leffler function and Hermite polynomials. AIMS Mathematics, 2025, 10(7): 16642-16663. doi: 10.3934/math.2025746
[7]	Jinmin Yu, Renjie Yuan, Tingting Wang . The fourth power mean value of one kind two-term exponential sums. AIMS Mathematics, 2022, 7(9): 17045-17060. doi: 10.3934/math.2022937
[8]	Zhuoyu Chen, Wenpeng Zhang . A new reciprocity formula of Dedekind sums and its applications. AIMS Mathematics, 2024, 9(5): 12814-12824. doi: 10.3934/math.2024626
[9]	Wenpeng Zhang, Jiafan Zhang . The hybrid power mean of some special character sums of polynomials and two-term exponential sums modulo $p$ . AIMS Mathematics, 2021, 6(10): 10989-11004. doi: 10.3934/math.2021638
[10]	Shuangnian Hu, Rongquan Feng . The number of solutions of cubic diagonal equations over finite fields. AIMS Mathematics, 2023, 8(3): 6375-6388. doi: 10.3934/math.2023322

Abstract

1. Introduction

Let $p$ be a prime, $f$ be a polynomial with k variable and $\mathbf{F}_p = \mathbf{Z}/(p)$ be the finite field, where $\mathbf{Z}$ is the integer ring, and let

$N(f;p) = \#\{(x_1, x_2, \cdots, x_k)\in\mathbf{F}_p^k|f(x_1, x_2, \cdots, x_k) = 0\}.$

Many scholars studied the exact formula (including upper bound and lower bound) for $N(f; p)$ for many years, it is one of the main topics in the finite field theory, the most elementary upper bounds was given as follows (see ^[14])

$N(f;p)\leq p^{k-1}deg f.$

Let $ord_p$ denote the p-adic additive valuation normalized such that $ord_pp = 1$ . The famous Chevalley-Warning theorem shows that $ord_pN(f; p) > 0$ if $n > deg f$ . Let [x] denote the least integer $\geq x$ and $e$ denote the extension degree of $\mathbf{F}_q /\mathbf{F}_p$ . Ax (see ^[2]) showed that

$ord_pN(f;q)\geq e\left[\frac{n-deg f}{deg f}\right].$

In 1977, S. Chowla et al. (see ^[7]) investigated a problem about the number of solutions of a equation in finite field $\mathbf{F}_p$ as follow,

$x_1^3+x_2^3+\cdot\cdot\cdot+x_k^3\equiv0,$

where $p$ is a prime with $p\equiv1\bmod\ 3$ and $x_i\in \mathbf{F}_p$ , $1\leq i\leq k$ .

Let $M_k$ denotes the number of solutions of the above equation. They proved that

$\begin{eqnarray} M_3 = p^2+d(p-1), M_4 = p^2+6(p^2-p), \\ \sum\limits_{s = 1}^{\infty}M_sx^s = \frac{x}{1-px}+\frac{x^2(p-1)(2+dx)}{1-3px^2-pdx^3}, \\ \end{eqnarray}$

where $d$ is uniquely determined by $4p = d^2+27y^2$ and $d\equiv1\ mod\ 3$ .

Myerson ^[12] extended the result in ^[2] to the field $\mathbf{F}_q$ and first studied the following equation over $\mathbf{F}_q$ ,

$x_1^3+x_2^3+\cdot\cdot\cdot+x_k^3\equiv0.$

Recently J. Zhao et al. (see ^[17]) investigated the following equations over field $\mathbf{F}_p$ ,

$\begin{eqnarray} &&\ \ \ f_1 = x_1^4+x_2^4+x_3^4, \\ &&f_2 = x_1^4+x_2^4+x_3^4+x_4^4. \end{eqnarray}$

And they give exact value of $N(f_1;p)$ and $N(f_2;p)$ . For more general problem about this issue interested reader can see ^[6,9,10,11].

In this paper, let $A(k, p)$ denotes the number of solutions of the following equation in $\mathbf{F}_p$ ,

$x_1^6+x_2^6+\cdot\cdot\cdot+x_k^6\equiv0,$

where $p$ is a prime with $p\equiv1\bmod\ 3$ and $x_i\in \mathbf{F}_p$ , $1\leq i\leq k$ , and for simplicity, in the rest of this paper, we assume there exists an integer $z$ such that $z^3\equiv2\bmod\ p$ , we use analytic methods to give a recurrence formula for the number of solutions of the above equation. And our method is based on the properties of Gauss sum. It is worth noting that we used a novel method to simplify the steps and avoid a lot of complicated calculations. We proved the following:

Theorem 1. For any positive integer $k\geq1$ , we have the recurrence formula

$\begin{eqnarray} A(k+6, p)& = &5pA(k+4, p)+10dpA(k+3, p)\\&&+(46p^2+5d^2p+dp)A(k+2, p)\\ &&+(2p^2+120dp^2+3d^3p+d^2p+dp)A(k+1, p)\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}\\ &&+(129d^2+11d+6)p^2+d^4p)A(k, p)\\ &&+p^{k+5}-p^{k+4}-(10dp+2d^2)p^{k+3}-64p^{k+5/2}\\&&-(429+121d+5d^2)p^{k+2}\\ &&-2d^2p^{k+3/2}-(3d^3+130d^2+12d+6)p^{k+1}-d^4p^k, \end{eqnarray}$

with the initial condition

$\begin{eqnarray} &&A(1, p) = 1, A(2, p) = 4(p-1)+p, A(3, p) = 10d(p-1)+p^2, \\ &&A(4, p) = 56p(p-1)+10d^2(p-1)+p^3, \\ &&A(5, p) = 188dp(p-1)+5d^3(p-1)+16dC(p)(p-1)+p^4, \\ &&A(6, p) = p^5+1400p^2(p-1)+(388d^2+8d-576)p(p-1)+d^2p-d^2, \end{eqnarray}$

where $d$ is uniquely determined by $4p = d^2+27y^2$ and $d\equiv1\ mod\ 3$ , and $C(p) = \sum\limits_{a = 1}^{p}e_p(a^3)$ .

Remark. Our method is suitable to calculus the number of solutions of the following equation in $\mathbf{F}_p$ ,

$x_1^t+x_2^t+\cdot\cdot\cdot+x_k^t\equiv0,$

where $p$ satisfied a certain congruence conditions, and $t$ is any nature number.

Our Theorem 2 can be deduced from Theorem 1 and the theory of the Difference equations.

Theorem 2. Let $t_i$ ( $1\leq i\leq k$ ) be the real root of the below equation with multiplicity $s_i$ ( $1\leq i\leq k$ ) respectively, and $\rho_je^{\pm iw_j}$ ( $1\leq j\leq h$ ) be the complex root of the below equation with multiplicity $r_j$ ( $1\leq j\leq h$ ) respectively,

$\begin{eqnarray} x^6& = &5px^4+10dpx^3+(46p^2+5d^2p+dp)x^2\\ &&+(2p^2+120dp^2+3d^3p+d^2p+dp)x\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}\\ &&+(129d^2+11d+6)p^2+d^4p). \end{eqnarray}$

We have

$\begin{eqnarray*} A(n, p)& = &\sum\limits_{i = 1}^k\sum\limits_{a = 1}^{s_i}C_{ia}n^{s_i-a}t_i^n+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}D_{jb}n^{r_j-b}\rho_j^n\cos nw_j+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}E_{jb}n^{r_j-b}\rho_j^n\sin nw_j, \end{eqnarray*}$

where $C_{ia}, D_{jb}, E_{jb}$ , are determined by

$\begin{eqnarray} A(6, p)& = &\sum\limits_{i = 1}^k\sum\limits_{a = 1}^{s_i}C_{ia}6^{s_i-a}t_i^6+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}D_{jb}6^{r_j-b}\rho_j^6\cos 6w_j+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}E_{jb}6^{r_j-b}\rho_j^6\sin 6w_j, \\ A(5, p)& = &\sum\limits_{i = 1}^k\sum\limits_{a = 1}^{s_i}C_{ia}5^{s_i-a}t_i^5+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}D_{jb}5^{r_j-b}\rho_j^5\cos 5w_j+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}E_{jb}5^{r_j-b}\rho_j^5\sin 5w_j, \\ A(4, p)& = &\sum\limits_{i = 1}^k\sum\limits_{a = 1}^{s_i}C_{ia}4^{s_i-a}t_i^4+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}D_{jb}4^{r_j-b}\rho_j^4\cos 4w_j+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}E_{jb}4^{r_j-b}\rho_j^4\sin 4w_j, \\ A(3, p)& = &\sum\limits_{i = 1}^k\sum\limits_{a = 1}^{s_i}C_{ia}3^{s_i-a}t_i^3+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}D_{jb}3^{r_j-b}\rho_j^3\cos 3w_j+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}E_{jb}3^{r_j-b}\rho_j^3\sin 3w_j, \\ A(2, p)& = &\sum\limits_{i = 1}^k\sum\limits_{a = 1}^{s_i}C_{ia}2^{s_i-a}t_i^2+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}D_{jb}2^{r_j-b}\rho_j^2\cos 2w_j+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}E_{jb}2^{r_j-b}\rho_j^2\sin 2w_j, \\ A(1, p)& = &\sum\limits_{i = 1}^k\sum\limits_{a = 1}^{s_i}C_{ia}t_i+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}D_{jb}\rho_j\cos w_j+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}E_{jb}\rho_j\sin w_j.\\ \end{eqnarray}$

(1.1)

2. Some Lemmas

Before we prove these lemmas, we give some notations, $\chi_2$ denotes the second-order character of $\mathbf{F}_p$ , $\chi$ denotes the third-order character of $\mathbf{F}_p$ , $\psi$ denotes the sixth order character of $\mathbf{F}_p$ .

$\begin{eqnarray} e_p(x) = e^{\frac{2\pi ix}{p}}, \tau(\chi) = \sum\limits_{m = 1}^{p}\chi(m)e_p(m), G(\chi, m) = \sum\limits_{a = 1}^{p}\chi(a)e_p(am). \end{eqnarray}$

We call $G(\chi, m)$ the Gauss sum, and we have the following:

$\begin{eqnarray} G(\chi, m) = \tau(\chi)\overline{\chi}(m), (m, p) = 1. \end{eqnarray}$

(2.1)

And also we have

$\begin{eqnarray} |\tau(\chi)| = \sqrt{p}, \end{eqnarray}$

(2.2)

where $\chi$ is a primitive character of $\mathbf{F}_p$ . And let $G(m, 6;p) = \sum\limits_{a = 0}^{p-1}e_p(ma^6)$ . For the property of the exponential sum and the general Gauss sum, interested readers can see ^{[1,4,5,8,13,15]}.

Lemma 1. Let $p$ be a prime with $p\equiv1\bmod\ 3$ . Then for any third-order character $\chi$ of $\mathbf{F}_p$ , we have the identity

$\tau^3(\chi)+\tau^3(\overline{\chi}) = dp,$

where $d$ is uniquely determined by $4p = d^2+27y^2$ and $d\equiv1\bmod\ 3$ .

Proof. For the proof of this lemma see ^[3].

Lemma 2. Let $\chi$ be a third-order character of $\mathbf{F}_p$ with $p\equiv1\bmod\ 3$ , and $C(p) = \tau(\chi)+\tau(\overline{\chi})$ , then $C(p) = \sum\limits_{a = 1}^{p}e_p(a^3)$ .

Proof.

$A = \tau(\chi)+\tau(\overline{\chi}) = \sum\limits_{a = 1}^p(1+\chi(a)+\overline{\chi}(a))e(\frac{a}{p}) = \sum\limits_{a = 1}^pe(\frac{a^3}{p}).$

Lemma 3. Let $p\equiv1\bmod\ 6$ , $2\equiv z^3\bmod\ p$ for some $z$ , and let $\chi$ be a third-order character of $\mathbf{F}_p$ , $\psi$ be a sixth-order character of $\mathbf{F}_p$ , then we have the identity

$\tau(\psi) = \frac{\tau^2(\chi)}{\sqrt{p}}.\\$

Proof. This is Lemma 3 in ^[16].

Lemma 4. As the definition above, we have the identity

$G(m, 6;p) = \sqrt{p}\chi_2(m)+\frac{\overline{x^2}}{\sqrt{p}}\psi(m)+\frac{x^2}{\sqrt{p}}\overline{\psi}(m)+\overline{x}\chi(m)+x\overline{\chi}(m),$

where $(m, p) = 1$ and $x = \tau(\chi)$ .

Proof. Firstly we have the identity

$\begin{eqnarray} 1+\chi_2\left(m\right)+\chi\left(m\right)+\overline{\chi}\left(m\right)+\psi\left(m\right)+\overline{\psi}\left(m\right) = \left\{ \begin{array}{ll} 6, & \text{ if }\ m\equiv a^6\ \text{mod}\ p; \\ 0, & \text{otherwise.}\end{array}\right. \end{eqnarray}$

So we have

$\begin{eqnarray} G(m, 6;p)& = &\sum\limits_{a = 0}^{p-1}(1+\chi_2\left(a\right)+\chi\left(a\right)+\overline{\chi}\left(a\right)+\psi\left(a\right)+\overline{\psi}\left(a\right))e_p(ma)\\ & = &G(\chi_2, m)+G(\psi, m)+G(\overline{\psi}, m)+G(\chi, m)+G(\overline{\chi}, m) \end{eqnarray}$

By (2.1) and Lemma 3, we have

$\begin{eqnarray} G(m, 6;p)& = &\tau(\chi_2)\chi_2(m)+\tau(\overline{\psi})\psi(m)+\tau(\psi)\overline{\psi}(m)+\tau(\overline{\chi})\chi(m)+\tau(\chi)\overline{\chi}(m)\\ & = &\sqrt{p}\chi_2(m)+\frac{\overline{x^2}}{\sqrt{p}}\psi(m)+\frac{x^2}{\sqrt{p}}\overline{\psi}(m)+\overline{x}\chi(m)+x\overline{\chi}(m).\\ \end{eqnarray}$

(2.3)

By (2.3), we complete the proof of our lemma.

Next we let,

$\begin{eqnarray} G^n(m, 6;p) = a_n+b_n\chi_2(m)+c_n\psi(m)+d_n\overline{\psi}(m)+e_n\chi(m)+f_n\overline{\chi}(m). \end{eqnarray}$

(2.4)

Then we have following Lemma 5.

Lemma 5. Let $a_n, b_n, c_n, d_n, e_n, f_n$ are defined as above, then we have that $a_n, b_n, c_n, d_n, e_n, f_n$ are uniquely determined by $n$ , where $n\geq1$ .

Proof. By the orthogonality of characters of $\mathbf{F}_p$ , we have

$\begin{eqnarray} \sum\limits_{a = 1}^{p-1}\chi\left(a\right) = \left\{ \begin{array}{ll} p-1, & \text{ if}\ χ = χ_0; \\ 0, & \text{otherwise.}\end{array}\right. \end{eqnarray}$

(2.5)

By (2.4) and (2.5) we have

$\begin{eqnarray} \sum\limits_{m = 1}^{p-1}G^n(m, 6;p)& = &(p-1)a_n+b_n\sum\limits_{m = 1}^{p-1}\chi_2\left(m\right)+c_n\sum\limits_{m = 1}^{p-1}\psi\left(m\right)+d_n\sum\limits_{m = 1}^{p-1}\overline{\psi}\left(m\right)\\ &&+e_n\sum\limits_{m = 1}^{p-1}\chi\left(m\right)+f_n\sum\limits_{m = 1}^{p-1}\overline{\chi}\left(m\right)\\ & = &(p-1)a_n. \end{eqnarray}$

So we have

$\begin{eqnarray} &&a_n = \frac{1}{p-1}\sum\limits_{m = 1}^{p-1}G^n(m, 6;p). \end{eqnarray}$

(2.6)

By the same method, we have

$\begin{eqnarray} &&b_n = \frac{1}{p-1}\sum\limits_{m = 1}^{p-1}\chi_2(m)G^n(m, 6;p), \\ &&c_n = \frac{1}{p-1}\sum\limits_{m = 1}^{p-1}\overline{\psi}(m)G^n(m, 6;p), \\ &&d_n = \frac{1}{p-1}\sum\limits_{m = 1}^{p-1}\psi(m)G^n(m, 6;p), \\ &&e_n = \frac{1}{p-1}\sum\limits_{m = 1}^{p-1}\overline{\chi}(m)G^n(m, 6;p), \\ &&f_n = \frac{1}{p-1}\sum\limits_{m = 1}^{p-1}\chi(m)G^n(m, 6;p). \end{eqnarray}$

So now it is easy to see the conclusion of the lemma.

Lemma 6. The sequences $\{a_n\}$ , $\{b_n\}$ , $\{c_n\}$ , $\{d_n\}$ , $\{e_n\}$ , $\{f_n\}$ are defined above, then they satisfied the following recurrence formulae ( $n\geq0$ ):

$\begin{eqnarray} &&a_{n+1} = \sqrt{p}b_n+\frac{\overline{x^2}}{\sqrt{p}}d_n+\frac{x^2}{\sqrt{p}}c_n+xe_n+\overline{x}f_n, \end{eqnarray}$

(2.7)

$\begin{eqnarray} &&b_{n+1} = \sqrt{p}a_n+\frac{\overline{x^2}}{\sqrt{p}}e_n+\frac{x^2}{\sqrt{p}}f_n+xd_n+\overline{x}c_n, \end{eqnarray}$

(2.8)

$\begin{eqnarray} &&c_{n+1} = \sqrt{p}f_n+\frac{\overline{x^2}}{\sqrt{p}}a_n+\frac{x^2}{\sqrt{p}}e_n+xb_n+\overline{x}d_n, \end{eqnarray}$

(2.9)

$\begin{eqnarray} &&d_{n+1} = \sqrt{p}e_n+\frac{\overline{x^2}}{\sqrt{p}}f_n+\frac{x^2}{\sqrt{p}}a_n+xc_n+\overline{x}b_n, \end{eqnarray}$

(2.10)

$\begin{eqnarray} &&e_{n+1} = \sqrt{p}d_n+\frac{\overline{x^2}}{\sqrt{p}}c_n+\frac{x^2}{\sqrt{p}}b_n+xf_n+\overline{x}a_n, \end{eqnarray}$

(2.11)

$\begin{eqnarray} &&f_{n+1} = \sqrt{p}c_n+\frac{\overline{x^2}}{\sqrt{p}}b_n+\frac{x^2}{\sqrt{p}}d_n+xa_n+\overline{x}e_n, \end{eqnarray}$

(2.12)

with the initial condition

$a_0 = 1, b_0 = c_0 = d_0 = e_0 = f_0 = 0.$

Proof. We only prove (2.7), the rest can be proved in the same way. By Lemma 5, we know $a_n$ is unique determined by $n$ . We can compare the coefficient of the equation

$G^{n+1}(m, 6;p) = G^{n}(m, 6;p)G(m, 6;p).$

We have

$a_{n+1} = \sqrt{p}b_n+\frac{\overline{x^2}}{\sqrt{p}}d_n+\frac{x^2}{\sqrt{p}}c_n+xe_n+\overline{x}f_n.$

So we complete the proof of the lemma.

Lemma 7. Let $a_n$ is defined as above, then we have

$\begin{eqnarray} &&a_0 = 1, a_1 = 0, a_2 = 5p, a_3 = 10dp, a_4 = 56p^2+10d^2p, \\&&a_5 = 188dp^2+5d^3p+16dpC(p). \end{eqnarray}$

Proof. By Lemma 4 and after some elementary calculations we have

$\begin{eqnarray} G^2(m, 6;p)& = &5p+2dp^{1/2}\chi_2(m)+4p^{1/2}x\psi(m)+4p^{1/2}\overline{x}\overline{\psi}(m)\\ &&+(p^{-1}\overline{x^4}+3x^2)\chi(m)+(p^{-1}x^4+3\overline{x^2})\overline{\chi}(m), \\ G^3(m, 6;p)& = &10dp+(16p^{3/2}+dp^{1/2})\chi_2(m)+(15p\overline{x}+2dx^2+p^{-1}x^5)\chi(m)\\ &&+(15px+2d\overline{x^2}+p^{-1}\overline{x^5})\overline{\chi}(m)\\ &&+(4p^{-1/2}x^4+12p^{1/2}\overline{x^2}+2dp^{1/2}x)\psi(m)\\ &&+(4p^{-1/2}\overline{x^4}+12p^{1/2}x^2+2dp^{1/2}\overline{x})\overline{\psi}(m), \\ G^4(m, 6;p)& = &60p^2+9d^2p+dp+48dp^{3/2}\chi_2(m)\\ &&+(p^{-2}x^8+17\overline{x^4}+46px^2+16dp)\chi(m)\\ &&+(p^{-2}\overline{x^8}+17x^4+46p\overline{x^2}+16dp)\overline{\chi}(m)\\ &&+(56p^{3/2}x+4dp^{-1/2}x^4+12dp^{1/2}\overline{x^2}+8p^{-1/2}\overline{x^5})\psi(m)\\ &&+(56p^{3/2}\overline{x}+4dp^{-1/2}\overline{x^4}+12dp^{1/2}x^2+8p^{-1/2}x^5)\overline{\psi}(m), \\ G^5(m, 6;p)& = &188dp^2+5d^3p+16dpC(p)\\ &&+(52d^2p^{3/2}+208p^{5/2}+16dp^{1/2}(x^2+\overline{x^2}))\chi_2(m)\\ &&+(p^{-2/5}x^{10}+p^{-3/2}\overline{x^8}+4dp^{-1/2}\overline{x^5}+71p^{1/2}x^4\\&&+(46p^{3/2}+16p^{1/2})x^2\\ &&+(129p^{3/2}+10d^2p^{1/2})\overline{x^2}+60dp^{3/2}x+16dp^{3/2})\psi(m)\\ &&+(p^{-2/5}\overline{x^{10}}+p^{-3/2}x^8+4dp^{-1/2}x^5+71p^{1/2}\overline{x^4}\\&&+(46p^{3/2}+16p^{1/2})\overline{x^2}\\ &&+(129p^{3/2}+10d^2p^{1/2})x^2+60dp^{3/2}\overline{x}+16dp^{3/2})\overline{\psi}(m)\\ &&+(8p^{-1}\overline{x^7}+p^{-1}x^7+25x^5+52dpx^2\\&&+(28dp+46p^2)x+16d\overline{x^4}+112p^2\overline{x})\chi(m)\\ &&+(8p^{-1}x^7+p^{-1}\overline{x^7}+25\overline{x^5}+52dp\overline{x^2}\\&&+(28dp+46p^2)\overline{x}+16dx^4+112p^2x)\overline{\chi}(m), \end{eqnarray}$

and comparing the above formulae with (2.6), we have

$a_0 = 1, a_1 = 0, a_2 = 5p, a_3 = 10dp, a_4 = 60p^2+9d^2p+dp, a_5 = 188dp^2+5d^3p+16dpC(p).\\$

Lemma 8. Let $a_n$ , $b_n$ , $c_n$ , $d_n$ , $e_n$ , $f_n$ are defined as above, then we have

$\begin{eqnarray} a_6& = &5pa_4+10dpa_3+(46p^2+5d^2p+dp)a_2+(2p^2+120dp^2+3d^3p+d^2p+dp)a_1\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}+(129d^2+11d+6)p^2+d^4p)a_0\\ b_6& = &5pb_4+10dpb_3+(46p^2+5d^2p+dp)b_2+(2p^2+120dp^2+3d^3p+d^2p+dp)b_1\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}+(129d^2+11d+6)p^2+d^4p)b_0\\ c_6& = &5pc_4+10dpc_3+(46p^2+5d^2p+dp)c_2+(2p^2+120dp^2+3d^3p+d^2p+dp)c_1\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}+(129d^2+11d+6)p^2+d^4p)c_0\\ d_6& = &5pd_4+10dpd_3+(46p^2+5d^2p+dp)d_2+(2p^2+120dp^2+3d^3p+d^2p+dp)d_1\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}+(129d^2+11d+6)p^2+d^4p)d_0\\ e_6& = &5pe_4+10dpe_3+(46p^2+5d^2p+dp)e_2+(2p^2+120dp^2+3d^3p+d^2p+dp)e_1\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}+(129d^2+11d+6)p^2+d^4p)e_0\\ f_6& = &5pf_4+10dpf_3+(46p^2+5d^2p+dp)f_2+(2p^2+120dp^2+3d^3p+d^2p+dp)f_1\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}+(129d^2+11d+6)p^2+d^4p)f_0 \end{eqnarray}$

Proof. We only proof the first formula, the rest can be proof in the same way. By Lemma 6, we have

$\begin{eqnarray} a_6& = &\sqrt{p}b_5+\frac{\overline{x^2}}{\sqrt{p}}d_5+\frac{x^2}{\sqrt{p}}c_5+xe_5+\overline{x}f_5\\ & = &5pa_4+2dp^{1/2}b_4+4p^{1/2}\overline{x}c_4+4p^{1/2}xd_4\\&&+(3\overline{x^2}+p^{-1}x^4)e_4+(3x^2+p^{-1}\overline{x^4})f_4\\ & = &5pa_4+10dpa_3+(d^2p^{1/2}+12p^{3/2})b_3+(2dp^{1/2}\overline{x}\\&&+8p^{1/2}x^2+p^{-1/2}\overline{x^4})c_3\\ &&+(2dp^{1/2}x+8p^{1/2}\overline{x^2}+p^{-1/2}x^4)d_3+(11px+\overline{x^2}+p^{-1}\overline{x^5})e_3\\ &&+(11p\overline{x}+x^2+p^{-1}x^5)f_3\\ & = &5pa_4+10dpa_3+(46p^2+5d^2p+dp)a_2+(25dp^{3/2}+2p^{3/2})b_2\\ &&+(p^{-3/2}\overline{x^7}+2p^{-1/2}x^5+p^{-1/2}\overline{x^4}+42p^{3/2}\overline{x}+2dp^{1/2}x^2\\&&+(d^2+1)p^{1/2}\overline{x})c_2\\ &&+(p^{-3/2}x^7+2p^{-1/2}\overline{x^5}+p^{-1/2}x^4+42p^{3/2}x+2dp^{1/2}\overline{x^2}\\&&+(d^2+1)p^{1/2}x)d_2\\ &&+(10x^4+(32p+d^2)\overline{x^2}+(4dp+p)x)e_2\\&&+(10\overline{x^4}+(32p+d^2)x^2+(4dp+p)\overline{x})f_2\\ & = &5pa_4+10dpa_3+(46p^2+5d^2p+dp)a_2\\&&+(2p^2+120dp^2+3d^3p+d^2p+dp)a_1\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}\\&&+(129d^2+11d+6)p^2+d^4p)a_0. \end{eqnarray}$

So we complete the proof of this lemma.

Lemma 9. Let $a_n$ is defined as above, then for any integer $n\geq0$ , we have

$\begin{eqnarray} a_{n+6}& = &5pa_{n+4}+10dpa_{n+3}+(46p^2+5d^2p+dp)a_{n+2}\\&&+(2p^2+120dp^2+3d^3p+d^2p+dp)a_{n+1}\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}\\&&+(129d^2+11d+6)p^2+d^4p)a_n. \end{eqnarray}$

Proof. By (2.4) and Lemma 8, we have

$\begin{eqnarray} G^{6}(m, 6;p)& = &5pG^{4}(m, 6;p)+10dpG^{3}(m, 6;p)+(46p^2+5d^2p+dp)G^{2}(m, 6;p)\\ &&+(2p^2+120dp^2+3d^3p+d^2p+dp)G(m, 6;p)\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}\\&&+(129d^2+11d+6)p^2+d^4p). \end{eqnarray}$

We multiple $G^{n}(m, 6;p)$ to the both side of the above formula, we have

$\begin{eqnarray} G^{n+6}(m, 6;p)& = &5pG^{n+4}(m, 6;p)+10dpG^{n+3}(m, 6;p)\\&&+(46p^2+5d^2p+dp)G^{n+2}(m, 6;p)\\ &&+(2p^2+120dp^2+3d^3p+d^2p+dp)G^{n+1}(m, 6;p)\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}\\&&+(129d^2+11d+6)p^2+d^4p)G^n(m, 6;p). \end{eqnarray}$

By Lemma 5, we can compare the coefficient of the above equation, we have

3. Proof of the theorem 1

In the formula below, we always let $k\geq1$ . By the following formula,

$\begin{eqnarray} \sum\limits_{a = 0}^{p-1}e_p\left(ma\right) = \left\{ \begin{array}{ll} p, & \text{ if }\ p\mid m; \\ 0, & \text{ otherwise, }\end{array}\right. \end{eqnarray}$

we have

$\begin{eqnarray} A(k, p)& = &\frac{1}{p}\sum\limits_{m = 0}^{p-1}\sum\limits_{x_1 = 0, x_2 = 0, \cdot\cdot\cdot, x_k = 0}^{p-1}e_p(m(x_1^6+x_2^6+\cdot\cdot\cdot+x_k^6))\\& = &\frac{1}{p}\sum\limits_{m = 0}^{p-1}G^k(m, 6;p). \end{eqnarray}$

(3.1)

By (8), we have

$\begin{eqnarray} A(k, p)& = &\frac{1}{p}\sum\limits_{m = 0}^{p-1}G^k(m, 6;p)\\ & = &\frac{1}{p}(\sum\limits_{m = 1}^{p-1}G^k(m, 6;p)+p^k)\\ & = &\frac{1}{p}((p-1)a_k+p^k) = \frac{p-1}{p}a_k+p^{k-1}. \end{eqnarray}$

(3.2)

So by Lemma 9, we have

$\begin{eqnarray} A(k+6, p)-p^{k+5}& = &5p(A(k+4, p)-p^{k+3})+10dp(A(k+3, p)-p^{k+2})\\ &&+(46p^2+5d^2p+dp)(A(k+2, p)-p^{k+1})\\ &&+(2p^2+120dp^2+3d^3p+d^2p+dp)(A(k+1, p)-p^k)\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}\\ &&+(129d^2+11d+6)p^2+d^4p)(A(k, p)-p^{k-1}). \end{eqnarray}$

So we have

And by Lemma 7 and (3.2), we have the initial conditions

$\begin{eqnarray} &&A(1, p) = 1, A(2, p) = 4(p-1)+p, A(3, p) = 10d(p-1)+p^2, \\ &&A(4, p) = 56p(p-1)+10d^2(p-1)+p^3, \\ &&A(5, p) = 188dp(p-1)+5d^3(p-1)+16dC(p)(p-1)+p^4.\\ &&A(6, p) = p^5+1400p^2(p-1)+(388d^2+8d-576)p(p-1)+d^2p-d^2. \end{eqnarray}$

So we complete the proof of the theorem.

4. Conclusion

The main purpose of this paper is using analytic methods to give a recurrence formula of the number of solutions of an equation over finite field. And we give an expression of the number of solutions of the above equation by the root of sixth degree polynomial. We use analytic methods to give a recurrence formula for the number of solutions of the above equation. And our method is based on the properties of the Gauss sum. It is worth noting that we used a novel method to simplify the steps and avoid complicated calculations.

Acknowledgements

The author thanks to referees for very important recommendations and warnings which improved the paper.

Conflict of interest

The author declares that there is no competing interest.

References

[1]	(1975) Sobolev Spaces. New York-London: Pure and Applied Mathematics, Vol. 65, Academic Press.
[2]	J. M. Arrieta, P. Quittner and A. Rodríguez-Bernal, Parabolic problems with nonlinear dynamical boundary conditions and singular initial data, Differential Integral Equations, 14 (2001), no. 12, 1487–1510.
[3]	J. von Below and G. Pincet Mailly, Blow up for reaction diffusion equations under dynamical boundary conditions, Comm. Partial Differential Equations, 28 (2003), no 1-2,223–247. doi: 10.1081/PDE-120019380
[4]	M. Chipot, M. Fila and P. Quittner, Stationary solutions, blow up and convergence to stationary solutions for semilinear parabolic equations with nonlinear boundary conditions, Acta Math. Univ. Comenian. (N.S.), 60 (1991), no. 1, 35–103.
[5]	A. Constantin and J. Escher, Global solutions for quasilinear parabolic problems, J. Evol. Equ., 2 (2002), no. 1, 97–111. doi: 10.1007/s00028-002-8081-2
[6]	A. Constantin, J. Escher and Z. Yin, Global solutions for quasilinear parabolic systems, J. Differential Equations, 197 (2004), no. 1, 73–84. doi: 10.1016/S0022-0396(03)00165-7
[7]	J. Escher, Quasilinear parabolic systems with dynamical boundary conditions, Comm. Partial Differential Equations, 18 (1993), no. 7-8, 1309–1364. doi: 10.1080/03605309308820976
[8]	J. Escher, On quasilinear fully parabolic boundary value problems, Differential Integral Equations, 7 (1994), no. 5-6, 1325–1343.
[9]	J. Escher, On the qualitative behaviour of some semilinear parabolic problems, Differential Integral Equations, 8 (1995), no. 2,247–267.
[10]	Attractors for parabolic equations with dynamic boundary conditions. Nonlinear Anal. (2008) 68: 1723-1732.
[11]	M. Fila and P. Quittner, Large time behavior of solutions of a semilinear parabolic equation with a nonlinear dynamical boundary condition, in Topics in Nonlinear Analysis, Vol. 35, Birkhäuser, Basel, 1999,251–272. doi: 10.1007/978-3-0348-8765-6_12
[12]	F. Gazzola and M. Squassina, Global solutions and finite time blow up for damped semilinear wave equations, Ann. Inst. H. Poincaré Anal. Non Linéaire, 23 (2006), no. 2,185–207. doi: 10.1016/j.anihpc.2005.02.007
[13]	T. Hintermann, Evolution equations with dynamic boundary conditions, Proc. Roy. Soc. Edinburgh Sect. A, 113 (1989), no. 1-2, 43–60. doi: 10.1017/S0308210500023945
[14]	W. Lian and R. Xu, Global well-posedness of nonlinear wave equation with weak and strong damping terms and logarithmic source term, Adv. Nonlinear Anal., 9 (2020), no. 1,613–632. doi: 10.1515/anona-2020-0016
[15]	Y. Liu and R. Xu, Global existence and blow up of solutions for Cauchy problem of generalized Boussinesq equation, Phys. D., 237 (2008), no. 6,721–731. doi: 10.1016/j.physd.2007.09.028
[16]	Y. Liu, R. Xu and T. Yu, Global existence, nonexistence and asymptotic behavior of solutions for the Cauchy problem of semilinear heat equations, Nonlinear Anal., 68 (2008), no. 11, 3332–3348. doi: 10.1016/j.na.2007.03.029
[17]	L. E. Payne and D. H. Sattinger, Saddle points and instability of nonlinear hyperbolic equations, Israel J. Math., 22 (1975), no. 3-4,273–303. doi: 10.1007/BF02761595
[18]	J. F. Rodrigues, V. A. Solonnikov and F. Yi, On a parabolic system with time derivative in the boundary conditions and related free boundary problems, Math. Ann., 315 (1999), no. 1, 61–95. doi: 10.1007/s002080050318
[19]	E. Vitillaro, Global existence for the heat equation with nonlinear dynamical boundary conditions, Proc. Roy. Soc. Edinburgh Sect. A, 135 (2005), no. 1,175–207. doi: 10.1017/S0308210500003838
[20]	H. Wu, Convergence to equilibrium for the semilinear parabolic equation with dynamical boundary condition, Adv. Math. Sci. Appl., 17 (2007), no. 1, 67–88.
[21]	R. Xu, Initial boundary value problem for semilinear hyperbolic equations and parabolic equations with critical initial data, Quart. Appl. Math., 68 (2010), no. 3,459–468. doi: 10.1090/S0033-569X-2010-01197-0
[22]	R. Xu, W. Lian and Y. Niu, Global well-posedness of coupled parabolic systems, Sci. China Math., 63 (2020), no. 2,321–356. doi: 10.1007/s11425-017-9280-x
[23]	Global existence and finite time blow-up for a class of semilinear pseudo-parabolic equations. J. Funct. Anal. (2013) 264: 2732-2763.
[24]	Blowup and blowup time for a class of semilinear pseudo-parabolic equations with high initial energy. Appl. Math. Lett. (2018) 83: 176-181.
[25]	R. Xu, M. Zhang, S. Chen, Y. Yang and J. Shen, The initial-boundary value problems for a class of six order nonlinear wave equation, Discrete Contin. Dyn. Syst., 37 (2017), no. 11, 5631–5649. doi: 10.3934/dcds.2017244

Reader Comments

Your name:*

Email:*
© 2020 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)

通讯作者: 陈斌, bchen63@163.com

1.
沈阳化工大学材料科学与工程学院沈阳 110142

Electronic Research Archive

1.1 1.7

Metrics

Article views(4128) PDF downloads(406) Cited by(5)

Preview PDF

Download XML

Export Citation

Article outline

Show full outline

Electronic Research Archive

Finite time blow-up and global existence of solutions for semilinear parabolic equations with nonlinear dynamical boundary condition

Related Papers:

Abstract

1. Introduction

2. Some Lemmas

3. Proof of the theorem 1

4. Conclusion

Acknowledgements

Conflict of interest

References

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Other Articles By Authors

Catalog

Abstract

1. Introduction

2. Some Lemmas

3. Proof of the theorem 1

4. Conclusion

Acknowledgements

Conflict of interest

References

Electronic Research Archive

Finite time blow-up and global existence of solutions for semilinear parabolic equations with nonlinear dynamical boundary condition

Related Papers:

Abstract

1. Introduction

2. Some Lemmas

3. Proof of the theorem 1

4. Conclusion

Acknowledgements

Conflict of interest

References

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Other Articles By Authors

Related pages

Tools

Export File

Citation

Format

Content

Catalog

Abstract

1. Introduction

2. Some Lemmas

3. Proof of the theorem 1

4. Conclusion

Acknowledgements

Conflict of interest

References