Is there a Maximum Principle for Biharmonic eigenvalue problem?

Question

Let $$\Delta^2 u-\lambda u =0$$ where $\lambda>0$ and

$$\Delta^2 u = \frac{\partial ^4 u }{\partial x^4} + 2 \frac{\partial^4 u }{\partial x^2 \partial y^2} + \frac{\partial ^4 u }{\partial y^4}$$

Is there a maximum principle for this equation in a rectangular domain $[-a,a]\times[-b,b]$ or any other domain?

Fact: it is known that there is a maximum principle for $$\Delta^2 u =0$$ but not in every domain.

ps: this question arises from another question, i.e. that question is solved if the maximum principle exists.

Answer 1

Let $f$ be the eigenfunction for Laplacian with eigenvalue $\mu$. Then

$$\Delta f + \mu f= 0 \Rightarrow \Delta ^2 f + \mu \Delta f =0 \Rightarrow \Delta^2 f - \mu^2 f = 0.$$

Thus if the biharmonic equation satisfy maximum principle with $\lambda >0$, then so is the Laplace equation with arbitrary $\mu \neq 0$.

Answer 2

I would be surprised if this equation had a maximum principle.

My intuition comes from the corresponding problem in one dimension, which is $$\tag{1}f^{(4)}(x) =f(x), \qquad x \in (0, 2\pi).$$ This problem fails to have a maximum principle, because it supports the oscillating solution $f(x)=\sin x$.

This solution satisfies Dirichlet's boundary conditions. If you want an example with Neumann's boundary conditions, consider the solution $f(x)=\cos x$.

Also, by translation and rescaling, all problems $$ u^{(4)}=\lambda u,\qquad x \in (a, b)$$ can be reduced to (1). So, in one dimension one never has a maximum principle.

Answer 3

What do you mean by a maximum principle here? There are lots of versions of this rule. I assume you mean that the absolute maximum and minimum of all functions defined on the same domain and satisfying the same differential equation will happen on the boundary of the domain. I don't think that such a thing exist for this eigenvalue problem. To give some supporting examples for my claim I challenge you to prove such a maximum principle exist for the following simple eigenvalue problems.

Eigenvalue Problem 1. Let $V$ be the set of all continuous functions $f(x)$ on $[a\,\,\,b]$ satisfying ${{{d^2}f} \over {d{x^2}}}(x) = \lambda f(x)$ on $(a\,\,\,b)$. Can one prove that for every function belonging to $V$, the absolute maximum and minimum will occur at $a$ or $b$? I don't think so!

Eigenvalue Problem 2. Let $V$ be the set of all continuous functions $f(x)$ on $[a\,\,\,b]$ satisfying ${{{d^4}f} \over {d{x^4}}}(x) = \lambda f(x)$ on $(a\,\,\,b)$. Can one prove that for every function belonging to $V$, the absolute maximum and minimum will occur at $a$ or $b$? I am afraid NO!

Also, I may say that you need such a maximum principle to truly prove the only solution to the biharmonic eigenvalue problem mentioned in this question is zero. Consequently, I can say that you cannot prove the only solution to the aforementioned biharmonic eigenvalue problem is zero since there is no maximum principle (with the definition I mentioned above) for this problem.

Answer 4

The first eigenvalue of the clamped square plate is sign-changing, for a reference see my answer here.