Wulff shape symmetry of solutions to overdetermined problems for Finsler Monge-Ampère equations (Q6175741)

Let \(\Omega\) be a convex bounded open set in \(\mathbb{R}^n\) and \(H:\mathbb{R}^n\rightarrow[0,\infty)\) be a Finsler norm in \(\mathbb{R}^n\) (a convex function which vanishes only at \(0\) and is positively homogeneous of degree \(1\)), such that \(H^2\in C_2^+(\mathbb{R}^n\setminus\{0\})\). Denote by \(H_0\) the dual Finsler norm of \(H\), that is \[ H_0(x):=\sup_{\xi\in\mathbb{R}^n\setminus\{0\}}\frac{x\cdot\xi}{H(\xi)}\qquad\mbox{for }x\in\mathbb{R}^n. \] Assume that there exists an Alexandrov convex solution \(u\) to the problem \[ \left\{ \begin{array}{lll} M_Hu:= \det\Big(\nabla\big(\nabla_\xi E(\nabla u)\big)\Big) = 1 & \mbox{ in }\Omega\\ u = 0 & \mbox{ on }\partial\Omega \\ H(\nabla u)=c & \mbox{ on }\partial\Omega, \end{array}\right. \] for some constant \(c>0\), where \(E(\xi):=\frac12 H^2(\xi)\) for \(\xi\in\mathbb{R}^n\). This means that \(u:\Omega\rightarrow\mathbb{R}\) is convex and satisfies the first equation above in the following sense: \[ \mathcal{L}^n\Big(\nabla_\xi E\big(\nabla u(\omega)\big)\Big) = \mathcal{L}^n(\omega)\qquad\mbox{for every Borel set }\omega\subset\Omega. \] (\(\mathcal{L}^n\) denotes the Lebesgue measure in \(\mathbb{R}^n\), and \(\nabla u\) and \(\nabla_\xi E\) are well defined as multi-valued maps since both \(u\) and \(E\) are convex functions.) The authors prove that \(\Omega=B_{H_0}\) and \(u(x)=\frac12(H_0(x)^2-1)\) for \(x\in B_{H_0}\), up to translations and dilations. Here, \(B_{H_0}\) stands for the unit ball with center at \(0\), in the metric of \(H_0\). This result is a generalization to the Finsler norm case of the result of \textit{B. Brandolini} et al. [Arch. Ration. Mech. Anal. 190, No. 2, 267--280 (2008; Zbl 1161.35025)] for the Euclidean norm, and also an extension to the Finsler Monge-Ampére operator \(M_H\) of the result of the authors [Math. Ann. 345, No. 4, 859--881 (2009; Zbl 1179.35107)] for the Finsler Laplacian operator.