Table of Contents
Fetching ...

Shape Optimization for the Principal Eigenvalue of the Pucci Operator in Three Dimensions

Mohan Mallick, Ram Baran Verma

Abstract

We investigate shape optimization for the principal eigenvalue of the Pucci extremal operator \[ \left\{ \begin{aligned} -\mathcal{M}^+_{λ,Λ}(D^{2}u)&=μ^{+}_{1}(Ω)u &&\text{in }Ω,\\ u &=0 &&\text{on }\partialΩ, \end{aligned} \right. \] in dimension three. Since $\mathcal{M}^+_{λ,Λ}$ is fully nonlinear, in non-divergence form, and non-variational, classical symmetrization and rearrangement methods are not available. We introduce a three-dimensional family of double--pyramidal domains $\{Ω^ω_{γ,a}\}$ parametrized by an anisotropy factor $γ\in \left[\frac{1}{\sqrtω},\sqrtω\right]$ and an affine shear parameter $a\in(-π,π)$, under fixed ellipticity ratio $ω=Λ/λ\ge 1$. Within this family and under a fixed-volume constraint, we prove that the volume-normalized principal eigenvalue is uniquely minimized at the symmetric unsheared configuration $(γ,a)=(1,0)$ among domains in the family $\{Ω^ω_{γ,a}\}$. The proof combines an explicit construction of positive eigenfunctions on seven patches with a lower bound under affine shear deformations. Using the homogeneity and orthogonal invariance of the Pucci operator, we identify an involutive symmetry $γ\mapsto γ^{-1}$ in the associated volume functional and establish strict monotonicity away from the self-dual point $γ=1$. In particular, for $ω>1$, any nontrivial anisotropy or shear strictly increases the normalized principal eigenvalue. This reveals a genuinely three-dimensional rigidity mechanism for a fully nonlinear spectral problem and extends to dimension three the symmetry-minimization phenomenon previously known in the planar case.

Shape Optimization for the Principal Eigenvalue of the Pucci Operator in Three Dimensions

Abstract

We investigate shape optimization for the principal eigenvalue of the Pucci extremal operator in dimension three. Since is fully nonlinear, in non-divergence form, and non-variational, classical symmetrization and rearrangement methods are not available. We introduce a three-dimensional family of double--pyramidal domains parametrized by an anisotropy factor and an affine shear parameter , under fixed ellipticity ratio . Within this family and under a fixed-volume constraint, we prove that the volume-normalized principal eigenvalue is uniquely minimized at the symmetric unsheared configuration among domains in the family . The proof combines an explicit construction of positive eigenfunctions on seven patches with a lower bound under affine shear deformations. Using the homogeneity and orthogonal invariance of the Pucci operator, we identify an involutive symmetry in the associated volume functional and establish strict monotonicity away from the self-dual point . In particular, for , any nontrivial anisotropy or shear strictly increases the normalized principal eigenvalue. This reveals a genuinely three-dimensional rigidity mechanism for a fully nonlinear spectral problem and extends to dimension three the symmetry-minimization phenomenon previously known in the planar case.

Paper Structure

This paper contains 20 sections, 20 theorems, 254 equations, 1 figure.

Key Result

Theorem 1.1

Fix $\omega\ge1$ and a target volume $V>0$. For each admissible pair let $\widetilde{\Omega}^{\,\omega}_{\gamma,a}$ denote the scaling of $\Omega^\omega_{\gamma,a}$ to volume $V$. Then the principal eigenvalue is uniquely minimized at the symmetric configuration $(\gamma,a)=(1,0)$. Equivalently, the scale-invariant quantity is uniquely minimized at $(\gamma,a)=(1,0)$. Moreover, for the referenc

Figures (1)

  • Figure 1: Seven--patch decomposition of $\Omega^{\omega,+}_{\gamma}$ in the first octant.

Theorems & Definitions (39)

  • Theorem 1.1: Symmetry and shear rigidity
  • Theorem 2.1: Non-separability on cubes
  • Lemma 2.2: Gluing principle
  • proof
  • Remark 3.1: Comparison with the planar construction
  • Proposition 4.1: Central cube
  • proof
  • Proposition 4.2: The $Z$--cap
  • proof
  • Proposition 4.3: The $X$--cap
  • ...and 29 more