特異な異方性不等式で最大値が実現する境界を探る

Let $N\ge2$, $q>1$, and $0<\beta<N$, we study extremals for the critical singular anisotropic Moser--Trudinger functional under \[ \lVert{F(\nabla u)}\rVert_N^a+\lVert{u}\rVert_q^b\le1,\qquad a>0,\qquad 0<b\le N. \] For $b<N$, the supremum is attained. At $b=N$, put \[ q_-:=\frac{N^2(N-2)}{(N-1)(N-\beta)},\qquad q_+:=\frac{N^2}{N-\beta}. \] For $q<q_-$, the supremum is attained for every $a>0$. For $q_-\le q<q_+$, there exists $a_c\in(N,\infty]$ such that the supremum is attained for $0<a<a_c$ and is not attained for $a>a_c$ if $a_c<\infty$. The argument does not determine attainment at $a=a_c$. Radial blow-up analysis gives a concentration bound in terms of a nonlinear Green function. The first nonzero Taylor term determines the strict comparison, an exact Euclidean reduction shows that the threshold is independent of $F$, a separate supplement gives an alternative proof for $q=N$ using the classical Green function and compact Taylor terms.