- Research
- Open access
- Published:

# An overdetermined problem of the biharmonic operator on Riemannian manifolds

*Boundary Value Problems*
**volume 2023**, Article number: 14 (2023)

## Abstract

Let \((M,g)\) be an *n*-dimensional complete Riemannian manifold with nonnegative Ricci curvature. In this paper, we consider an overdetermined problem of the biharmonic operator on a bounded smooth domain Ω in *M*. We deduce that the overdetermined problem has a solution only if Ω is isometric to a ball in \(\mathbb{R}^{n}\). Our method is based on using a *P*-function and the maximum principle argument. This result is a generalization of the overdetermined problem for the biharmonic equation in Euclidean space.

## 1 Introduction and main results

Let \((M,g)\) be an *n*-dimensional complete Riemannian manifold with nonnegative Ricci curvature. In this paper, we consider an overdetermined boundary value problem for the biharmonic operator. The overdetermined problem of partial differential equations usually contains too many prescribed boundary conditions. In general, these types of problems are not well posed, and the existence of solutions imposes strong constraints on the shape of the domain.

When \(M=\mathbb{R}^{n}\), we know that the Ricci curvature is equal to zero. Let Ω be a bounded domain in \(\mathbb{R}^{n}\) having a smooth boundary *∂*Ω. It is well known that there exists a solution of Poisson’s equation with the Dirichlet condition or the Neumann condition. However, both the Dirichlet condition and the Neumann condition cannot be imposed simultaneously. In general, the resulting problem does not admit a solution unless the domain Ω has a special shape. Indeed, in a celebrated paper [14], Serrin proved that there exists a solution of the following overdetermined problem:

if and only if Ω is a ball and \(u=\frac{n^{2}c^{2}-r^{2}}{2n}\) is a radial function, where *ν* denotes the unit outer normal of *∂*Ω, *c* is a constant, and *r* is the distance from the center of the ball. The main tool of Serrin’s proof is a technique known as the moving-planes method. Later, Weinberger [15] used some integral identities and some basic inequalities to give a very simple proof. This result has an associated physical model: the associated Dirichlet problem describes a viscous incompressible fluid moving in straight parallel streamlines through a straight pipe of given cross-sectional form (see [13] for more detail). The literature about overdetermined problems of second-order elliptic equations is so wide that it is impossible to report it exhaustively.

Some authors have extended Serrin’s result to higher-order elliptic equations. In [9], Payne and Schaefer considered a fourth-order overdetermied problem, that is

where *ν* and *c* denote a unit outer normal vector and a constant, respectively. They obtained the following result.

### Theorem 1.1

*If* *u* *satisfies* (1.2) *for* \(\Omega \subset \mathbb{R}^{2}\), *where* Ω *is star*-*shaped with respect to the origin and* \(\partial \Omega \in C^{2+\varepsilon}\), *then* Ω *is a disk*.

### Remark 1.1

They conjectured that Theorem 1.1 holds for \(n>2\) and the more general domain.

Later, Philippin and Ragoub [10] proved the above conjecture based on Serrin’s reflection method. Recently, Goyal and Schaefer [5] gave a new proof of \(n\geq 2\) by using the *P*-function and the maximum principle argument.

In 1986, Benett [2] considered another fourth-order overdetermined problem

Bennett modified Weinberger’s method of the maximum principle to show that Ω must be an open ball. Later, Dalmasso [3] used Serrin’s method of moving planes to show that Ω in (1.3) is a ball. In [1], Barkatou used the method of the shape derivative to provide another proof. An alternative method for determining the shape of the domain in fourth-order overdetermined problems was introduced in [8]. The technique in [8] did not use a maximum principle argument but depended on the establishment of an integral identity in the proof of the overdetermined problem. This method was applicable to some high-order elliptic overdetermined problems as well as to some problems involving the Green’s function for the Laplacian and biharmonic operators.

In [9], Payne and Schaefer also studied the following fourth-order overdetermined problem

They obtained that if the problem (1.4) has a classical solution, then Ω is a ball. In [4], Fromm and McDonald studied the boundary condition \(u_{\nu}=c\) in (1.2), which is replaced by the other boundary condition of \(u_{\nu}(\Delta u)_{\nu}=-c\), that is

They used the method of moving planes to obtain the same conclusion.

In this paper, we consider the overdetermined problem (1.2) on Riemannian manifolds. We obtain the following theorem:

### Theorem 1.2

*Let* \((M,g)\) *be an* *n*-*dimensional complete Riemannian manifold with nonnegative Ricci curvature and* \(\Omega \subset M\) *be a smooth bounded domain*. *Suppose the mean curvature* *H* *of the boundary* *∂*Ω *is positive*. *Then*, *the overdetermined problem* (1.2) *has a solution only if* Ω *is isometric to a ball in* \(\mathbb{R}^{n}\).

There are results involving overdetermined boundary value problems in the context of constant-curvature space forms (see [6, 7] more detail).

In this paper, we use Weinberger’s argument to solve the Riemannian analog of the overdetermined problem (1.2). Our method of the proof was mainly motivated by Goyal and Schaefer’s [5] nice result.

### Remark 1.2

It is worth noting that we believe that one can use Weinberger’s argument to study the overdetermined problems (1.3), (1.4), and (1.5) on Riemannian manifolds. However, we cannot find some suitable *P*-functions to these fourth-order overdetermined problems.

Finally, we recall a well-known result of Reilly (see Lemma 3 of [12]), which is important in our proof. Our rigidity theorems are based on this result.

### Lemma 1.1

([12])

*Let* \((M,g)\) *be an* *n*-*dimensional complete Riemannian manifold with nonnegative Ricci curvature and* \(\Omega \subset M\) *be a smooth bounded domain*. *Suppose that* Ω *admits a function* \(f:\Omega \rightarrow \mathbb{R}\) *and nonzero constant* *L* *such that*

*where* \(\nabla ^{2}f\) *denotes the Hessian matrix of* *f* *and* *g* *denotes the Riemannian metric on M*. *Then*, Ω *is isometric to a ball in* \(\mathbb{R}^{n}\).

## 2 Proof of Theorem 1.2

The fourth-order overdetermined problem (1.2) is equivalent to the following second-order overdetermined problem:

where *φ* is the torsion function satisfying that

Using the maximum principle, we know that \(\varphi \geq 0\).

### Lemma 2.1

*If* *u* *satisfies* (1.2), *then* \(c=-\frac{1}{\vert \partial \Omega \vert} \int _{\Omega}\varphi \,dx\), *where* \(\vert \partial \Omega \vert \) *denotes the* \((n-1)\)-*dimensional measure of* *∂*Ω.

### Proof

Using the formula of integration by parts, we have that

This completes the proof of this lemma. □

We now consider the function *ϕ* defined by

A straightforward computation shows that

and

From (2.4), (2.5), and (2.6), we note that *ϕ* satisfies the overdetermined problem

By the maximum principle, we know that \(\phi \geq 0\).

We define an auxiliary function *P* by

where \(m^{2}=\max_{\overline{\Omega}}(\Delta \phi )^{2}\). We obtain the following lemma.

### Lemma 2.2

*If* *u* *satisfies* (1.2), *then*

*where* \(\nabla ^{2}\varphi \) *denotes the Hessian matrix of* *φ* *and* \(\Vert \nabla ^{2}\varphi \Vert \) *denotes its Hilbert–Schmidt norm defined to be*

### Proof

From the Bochner formula, we have that

Then, we compute the Laplacian of Δ*ϕ* as follows

Thus, the Laplacian of *P* is

Substituting (2.10) into (2.11), we obtain that

These complete the proof of this lemma. □

Now, we are ready to prove Theorem 1.2.

### Proof

Since the Ricci curvature is assumed to be nonnegative, then by the Cauchy–Schwarz inequality

and Lemma 2.2, we obtain that *P* is subharmonic.

From the following boundary conditions

it follows that *P* satisfies

By the maximum principle, we have that

By the Hopf Lemma [11], we know that either

Suppose case (*i*) holds, then the Laplacian of *P* vanishes, that is, all the equalities of the above inequalities hold. This implies that the Ricci curvature is equal to zero and \(\nabla ^{2}\varphi \) is proportional to the metric everywhere. As \(\Delta \varphi =-1\), we conclude that

From \(\varphi =0\) on *∂*Ω, and Lemma 1.1, then Ω is isometric to a ball in \(\mathbb{R}^{n}\).

Suppose case (*ii*) holds. As \(\phi \vert _{\partial \Omega}=0\), we can choose the external unit normal on *∂*Ω to be the following vector field

The mean curvature of the regular level sets of *ϕ* is given by \(H=-\frac{1}{n-1}\operatorname{div}\frac{\nabla \phi}{\vert \nabla \phi \vert}\). The Laplacian of *ϕ* can be expressed in terms of *H* as follows

where \(\phi _{\nu \nu}=\nabla ^{2}\phi (\nu ,\nu )\). We deduce that

Substituting (2.5) into (2.19), we have that

Combining (2.20) and (2.21), we obtain that

As a quadratic expression for \(\varphi _{\nu}\) that holds at each point of the boundary, we have that

It follows from Lemma 2.1 that \(c<0\). Then, we reach a contradiction, which implies that case (*ii*) cannot hold. These complete the proof of Theorem 1.2. □

## Availability of data and materials

Not applicable.

## References

Barkatou, M.: A symmetry result for a fourth order overdetermined boundary value problem. Appl. Math. E-Notes

**8**, 76–81 (2008)Bennett, A.: Symmetry in an overdetermined fourth order elliptic boundary value problem. SIAM J. Math. Anal.

**17**, 1354–1358 (1986)Dalmasso, R.: A problem of symmetry for a biharmonic equation. Ann. Fac. Sci. Toulouse Math.

**11**, 45–53 (1990)Fromm, S., McDonald, P.: A symmetry problem from probability. Proc. Am. Math. Soc.

**125**, 3293–3297 (1997)Goyal, V., Schaefer, P.W.: On a conjecture for an overdetermined problem for the biharmonic operator. Appl. Math. Lett.

**21**(4), 421–424 (2008)Kumaresan, S., Prajapat, J.: Serrin’s result for hyperbolic space and sphere. Duke Math. J.

**91**, 17–28 (1998)McDonald, P.: Isoperimetric conditions, Poisson problems, and diffusions in Riemannian manifolds. Potential Anal.

**16**, 115–138 (2002)Payne, L.E., Schaefer, P.W.: Duality theorems in some overdetermined boundary value problems. Math. Methods Appl. Sci.

**11**, 805–819 (1989)Payne, L.E., Schaefer, P.W.: On overdetermined boundary value problems for the biharmonic operator. J. Math. Anal. Appl.

**187**(2), 598–616 (1994)Philippin, G.A., Ragoub, L.: On some second order and fourth order elliptic overdetermined problems. Z. Angew. Math. Phys.

**46**, 188–197 (1995)Protter, M.H., Weinberger, H.F.: Maximum Principles in Differential Equations. Prentice Hall, Englewood Cliffs (1967)

Reilly, R.: Geometric applications of the solvability of Neumann problems on a Riemannian manifold. Arch. Ration. Mech. Anal.

**75**(1), 23–29 (1980)Ros, A., Sicbaldi, P.: Geometry and topology of some overdetermined elliptic problems. J. Differ. Equ.

**255**, 951–977 (2013)Serrin, J.: A symmetry problem in potential theory. Arch. Ration. Mech. Anal.

**43**, 304–318 (1971)Weinberger, H.F.: Remark on the preceding paper of Serrin. Arch. Ration. Mech. Anal.

**43**, 319–320 (1971)

## Acknowledgements

The authors wish to thank the editor and the anonymous reviewer for their very valuable comments and suggestions.

## Funding

This work is supported by the National Natural Science Foundation of China (No. 11971253) and the Fujian Provincial National Natural Science Foundation of China (No. 2021J011101).

## Author information

### Authors and Affiliations

### Contributions

The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.

### Corresponding author

## Ethics declarations

### Competing interests

The authors declare no competing interests.

## Additional information

### Abbreviations

Not applicable.

## Rights and permissions

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

## About this article

### Cite this article

Chen, F., Huang, Q. & Ruan, Q. An overdetermined problem of the biharmonic operator on Riemannian manifolds.
*Bound Value Probl* **2023**, 14 (2023). https://doi.org/10.1186/s13661-023-01701-w

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13661-023-01701-w