🔢 mathematics

A solution to Morrey's problem in $\mathbb{R}^{2\times m}$

이 논문은 충분히 큰 $m$ 에 대하여 $\mathbb{R}^{2\times m}$ 상에서 어디에서도 준볼록(quasiconvex)하지 않은 동차 랭크-1 볼록(rank-one convex) 적분들을 구성함으로써, 이 특정 차원에서 모리(Morrey)의 문제에 대한 해답을 제공한다.

원저자: Gabriele Cassese

게시일 2026-08-05

📖 5 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Gabriele Cassese

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

당신이 기묘하고 유연한 재료 더미로 가장 효율적이고 안정적인 구조물을 만들려는 건축가라고 상상해 보십시오. 수학의 세계에서 이것은 **변분법(Calculus of Variations)**의 역할입니다. 변분법은 비누 방울이 표면 장력을 최소화하거나 다리가 응력을 최소화하는 것처럼, 시스템의 최적의 형태나 경로를 찾는 데 전념하는 수학의 한 분야입니다. 이를 위해 수학자들은 **피적분 함수(integrand)**라는 거대한 공식을 사용합니다. 이 피적분 함수는 재료가 휘어지거나 늘어나는 모든 가능한 방식에 대해 '비용' 또는 '에너지'를 할당하는 규칙 책이라고 생각하면 됩니다. 목표는 총비용이 가능한 한 낮아지는 형태를 찾는 것입니다.

하지만 여기 함정이 있습니다. 완벽한 형태를 찾는 것은 믿을 수 없을 정도로 어렵습니다. 솔루션이 존재함을 보장하려면, 이 규칙 책(피적분 함수)은 **준볼록성(quasiconvexity)**이라는 매우 엄격하고 거의 마법에 가까운 성질을 따라야 합니다. 이 성질은 형태를 약간 흔들었을 때 에너지가 갑자기 떨어져서 수학적 체계를 무너뜨리지 않도록 보장합니다. 그러나 이 규칙 책이 이 성질을 가지고 있는지 확인하는 것은, 해변의 모든 모래알을 맛보며 소금기가 있는지 확인하는 것과 같이 실질적으로 불가능합니다. 그래서 수십 년 동안 수학자들은 더 간단하고 확인하기 쉬운 성질인 계수-1 볼록성(rank-one convexity)—이는 재료를 단 하나의 특정 방향으로 잡아당겼을 때 안정적인지 확인하는 것과 같습니다—이 준볼록성을 보장할 수 있는 지름길이 되기를 바랐습니다. 만약 이것이 사실이라면, 물리학에서 공학에 이르기까지 모든 것을 해결할 수 있는 엄청난 시간 절약이자 "마법의 열쇠"가 될 것이었습니다.

"Morrey의 문제에 대한 해법: $\mathbb{R}^{2 \times m}$ 에서"라는 제목의 이 논문은, 가브리엘레 카세세(Gabriele Cassese)라는 수학자가 마침 그 마법의 열쇠를 사용해 보았으나 그것이 작동하지 않는다는 것을 밝혀낸 이야기입니다. 1950년대 천재 찰스 모리(Charles Morrey)가 던진 질문은 이것이었습니다: "만약 어떤 재료가 모든 직선형 당김에 대해 안정적이라면, 그것은 자동으로 모든 복잡하고 꿈틀거리는 뒤틀림에 대해서도 안정적인가?" 오랫동안 사람들은 그 답이 "예"라고 믿었습니다. 하지만 카세세는 재료의 차원이 충분히 높을 때(구체적으로 재료가 충분히 "넓을" 때), 그 답이 단호하게 "아니오"임을 증명합니다. 그는 직선형 테스트는 완적으로 통과하지만, 복잡한 꿈틀거림 테스트에는 실패하는 특정한 기묘한 규칙 책을 만들어 냅니다. 이는 단순한 지름길에 대한 희망을 산산조와 조각내는 반례이며, 이러한 수학적 재료의 세계가 우리가 기대했던 것보다 훨씬 더 뒤틀려 있고 예측 불가능하다는 것을 보여줍니다.

작동하지 않은 위대한 지름길

이 수학적 재료의 세계에는 규칙 책이 "좋은지" 확인하는 두 가지 방법이 있습니다. 첫 번째인 계수-1 볼록성은 고무줄을 직선으로 잡아당겨 테스트하는 것과 같습니다. 만약 그 방향에서 끊어지지 않고 제대로 작동한다면 테스트를 통과한 것입니다. 두 번째인 준볼록성은 진짜 최종 보스전입니다. 이것은 다음과 같이 묻습니다: "만약 당신이 이 재료의 덩어리를 가져와서 가능한 모든 혼란스러운 방식으로 흔든다면, 그것은 여전히 형태를 유지하겠는가?"

수십 년 동안 수학자들은 직선형 테스트를 통과하는 것(계수-1 볼록성)이 혼란스러운 꿈틀거림 테스트(준볼록성)를 통과하는 것을 보장하기에 충분하다고 의심했습니다. 논리적으로 보였습니다. 모든 직선에서 강하다면, 모든 곳에서도 강해야 한다는 것이죠. 이것이 바로 **모리의 문제(Morrey's Problem)**였습니다. 만 만약 이것이 사실이라면, 우리는 모든 꿈틀거림을 확인하는 불가능한 수학을 건너뛰고 직선만을 확인하면 된다는 뜻이었습니다.

하지만 이 논문에서 카세세는 그들이 틀렸음을 증명하기 위해 "프랑켄슈타인의 괴물" 같은 규칙 책을 만듭니다. 그는 모든 직선 방향으로 잡아당길 때는 완벽하게 안정적이지만(계수-1 볼록성), 조금만 꿈틀거려도 무너져 버리는(어디에서도 준볼록성이 아닌) 수학적 대상을 구축합니다.

"마법 같은" 구성

그는 어떻게 해냈을까요? 거대한 다차원 격자가 있다고 상상해 보십시오. 카세세는 단순히 무작위로 규칙 책을 고른 것이 아닙니다. 그는 마팅게일(martingales)(술 취한 사람의 걸음걸이처럼 무작위 단계의 연속을 뜻하는 세련된 용어)과 바나흐 공간(Banach spaces)(우리가 보통 사용하는 것만큼 매끄럽고 둥글지 않은 추상적인 수학적 놀이터)을 이용한 영리한 트릭을 사용하여 하나를 구축했습니다.

그는 다음과 같은 형태의 공식을 만들었습니다:
$\text{비용} = C \times (\text{부분 A})^p - (\text{부분 B})^p$
여기서 "부분 A"와 "부분 B"는 재료의 형태를 측정하는 두 가지 서로 다른 방식입니다. 숫자 $C$ 는 "조절 노브(tuning knob)"입니다.

직선형 테스트 (계수-1 볼록성): 카세세는 재료를 직선으로 잡아당기면 부분 A와 부분 B가 엄격한 수학적 규칙에 의해 결합되어 있음을 보여주었습니다. 둘은 완벽하게 동기화되어 움직입니다. 이 때문에 노브 $C$ 를 충분히 높게 설정하면 공식은 항상 양수를 유지합니다. 따라서 쉬운 테스트를 통과합니다.
꿈틀거림 테스트 (준볼록성): 그다음, 그는 재료를 꿈틀거릴 때 어떤 일이 일어나는지 살펴보았습니다. 그는 부분 B가 부분 A에 비해 갑자기 거대해지는 특정하고 매우 꿈틀거리는 형태(테스트 함수)를 찾아냈습니다. 만약 노브 $C$ 가 무한히 높지 않다면, 공식은 음수가 됩니다. 재료는 붕괴합니다.

이 논문의 천재성은 노브 $C$ 의 "골디락스 존(Goldilocks zone, 딱 적당한 구간)"을 찾아낸 데 있습니다. 그는 재료의 폭이 충분히 넓을 때(구체적으로 차원 $m$ 이 충분히 클 때), 직선형 테스트를 통과할 만큼 노브가 높으면서도 꿈틀거림 테스트를 통과하기에는 너무 낮은 지점이 존재함을 증명했습니다.

결과: 많은 차원에서의 "아니오"

이 논문은 단 하나의 이상한 예시만을 찾는 것이 아니라, 전체 가족(family)을 찾아냅니다.

큰 차원들: 어떤 "거듭제곱" $p$ (비용이 어떻게 규모를 갖는지 제어함)에 대해서도, 카세세는 재료가 충분히 넓다면(차원 $m$ 이 크다면) 항상 이 반례를 만들 수 있음을 증명합니다. 논문은 즉시 구체적인 "충분히 큰" 숫자를 제시하지는 않지만, 그러한 숫자가 존재함을 증명합니다.
정사각형의 경우: 그는 또한 정사각형 재료(폭이 높이와 같은 $d \times d$ )에 대해서도, 정사각형이 충분히 크다면 이 현상이 작동함을 보여줍니다.
4x2의 경우: 그는 심지어 $p$ 가 정확히 2가 아닌 경우, 4-by-2 격지 안에도 반례를 밀어 넣는 데 성공했습니다.

이것이 왜 중요한가 (그리고 왜 아쉬운가)

이 결과는 간단한 지름길을 바랐던 이들에게는 다소 허탈한 소식입니다. 이는 계수-1 볼록성이 준볼록성을 함의하지 않는다는 것을 의미합니다. 단순히 직선만을 확인하고 나머지도 괜찮을 것이라고 가정할 수 없습니다. "마법의 열쇠"는 가짜였습니다.

하지만 이것은 수학적 진리에 있어 거대한 승리입니다. 이는 1950년대부터 열려 있던 질문을 종결지었습니다. 이는 이러한 변분 적분의 세계가 우리가 생각했던 것보다 훨씬 더 복잡하고 "비선형적"이라는 것을 알려줍니다. 또한 이 논문은 **이와니에츠 추측(Iwaniec Conjecture)**이라 불리는 유명한 미해결 난제(2-by-2의 특정 사례에 관한 것)를 언급합니다. 카세세의 연구는 만약 그 퍼즐에 대한 해답이 존재한다면, 그것은 매우 구체적이고 독특한 2-by-2 케이스만의 특징에 의존해야 함을 시사합니다. 왜냐하면 그의 일반적인 방법(더 큰 차원에서 작동하는)은 거기서는 실패하기 때문입니다.

요약하자면, 카세세는 수학적 "불가능한 물체"를 만들어 냈습니다. 모든 직선 각도에서는 완벽하게 안정적으로 보이지만, 비밀리에 무너지기를 기다리는 카드 집과 같은 재료 말입니다. 이는 수학의 깊은 세계에서 사물은 결코 보이는 것만큼 단순하지 않으며, 때로는 진실을 아는 유일한 방법은 스스로 반례를 직접 구축하는 것뿐임을 상기시켜 줍니다.

기술 요약: $\mathbb{R}^{2\times m}$ 에서의 모리 문제(Morrey's Problem)에 대한 해법

문제 정의
본 논문은 1952년 변분법에서 제기된 중심 질문인 모리의 문제(Morrey's problem)를 다룬다: 피적분 함수 $f: \mathbb{R}^{d\times m} \to \mathbb{R}$ 에 대하여, 랭크-원 볼록성(rank-one convexity)이 준볼록성(quasiconvexity)을 함의하는가? 슈베락(Šverák, 1992)은 $d \ge 3$ 및 $m \ge 2$ 인 차원 $d \times m$ 에서 반례를 제시하였으나, $d=2$ (구체적으로 $2 \times m$ )의 경우는 미해결 상태로 남아 있었다. 나아가, 본 논문은 $p$ -동차 피적분 함수( $f(tA) = |t|^p f(A)$ )에 대하여 랭크-원 볼록성이 원점에서의 준볼록성을 함의하는지를 묻는 "동차 모리 문제(homogeneous Morrey problem)"를 조사한다. 키르히마이어-크리스텐슨(Kirchheim–Kristensen)의 정리와 같은 기존 결과들은 $p=1$ 일 때 랭크-원 볼록성이 원점에서의 준볼록성을 함의함을 확립하였으나, $p \in (1, \infty)$ 인 경우는 해결되지 않은 채 남아 있었다.

방법론
저자는 다음과 같은 형태의 피적분 함수를 기반으로 한 "임계값 분리 기법(threshold-separation scheme)"을 사용하여 반례를 구성한다:
$f_{C,p}(A) = C^p \|P(A)\|_X^p - \|Q(A)\|_X^p$
여기서 $P$ 와 $Q$ 는 $\mathbb{R}^{d\times m}$ 에서 바나흐 공간 $X$ 로 가는 선형 사상이며, $C$ 는 상수이다. 전략은 랭크-원 볼록성의 임계값( $C_{rc}$ )과 원점에서의 준볼록성 임계값( $C_{qc}$ )을 분리하는 것이다.

랭크-원 볼록성 ( $C_{rc}$ ): 저자는 랭크-원 볼록성과 마팅게일 변환(martingale transforms) 사이의 대응 관계를 활용한다. 구체적으로, 0에서의 랭크-원 볼록성은 $f(0) \le \mathbb{E}[f(M_n)]$ 가 모든 랭크-원 라데마허 마팅게일(rank-one Rademacher martingales) $M_n$ 에 대해 성립하는 조건과 동치이다. $C_{rc}$ 의 경계는 UMD (Unconditional Martingale Difference) 공간 이론과 버크홀더(Burkholder) 부등식을 사용하여 제어된다. 이 구성은 타겟 공간 $X$ (구체적으로 $q \neq 2$ 인 $\ell_q$ 공간)의 비-힐베르트 기하학적 구조를 이용하여 $C_{rc}$ 를 유계로 유지한다.
준볼록성 ( $C_{qc}$ ): $C_{qc}$ 의 하한은 토러스(torus) 또는 큐브(cube) 상의 명시적인 테스트 맵(벡터장) $u$ 를 구성함으로써 추정된다. 저자는 특정 진동 테스트 함수(예: 복소 공액의 곱 또는 삼각함수 합)를 사용하여 $\|Q(\nabla u)\| / \|P(\nabla u)\|$ 의 비율이 차원 $m$ (또는 $d$ )에 따라 증가하여 결국 $C_{rc}$ 의 경계를 초과함을 보여준다.
포락선 구성 (Envelope Construction): 일단 $C_{rc} < C < C_{qc}$ 를 만족하는 상수 $C$ 가 선택되면, 해당 피적분 함수는 0에서 준볼록하지 않다. 최종적인 피적분 함수가 모든 곳에서 랭크-원 볼록성을 갖도록 하기 위해, 저자는 구성된 함수의 랭크-원 볼록 포락선(rank-one convex envelope)을 취한다. 명제 2.3은 동차 피적분 함수의 경우, 포락선이 0에서 준볼록하지 않다면 그 함수는 어디에서도 준볼록하지 않음을 보장한다.

주요 기여 및 결과

본 논문은 고차원에서 두 가지 모리 문제에 대한 부정적인 해답을 제공한다:

정리 1.2 ( $2 \times m$ 케이스): 임의의 $p \in (1, \infty)$ 에 대하여, 모든 $m \ge m_0(p)$ 를 만족하는 차원 $m_0(p)$ 가 존재하여, 랭크-원 볼록하지만 어디에서도 준볼록하지 않은 $p$ -동차 피적분 함수 $f: \mathbb{R}^{2\times m} \to \mathbb{R}$ 가 존재한다. 이 구성은 "블록별 비르팅거 쌍(blockwise Wirtinger pair)"과 $\ell_q^n$ 의 비-힐베르트 구조에 의존한다.
정리 1.3 (정방 행렬 $d \times d$ 케이스): 임의의 $p \in (1, \infty)$ 에 대하여, 모든 $d \ge d_0(p)$ 를 만족하는 차원 $d_0(p)$ 가 존재하여, 랭크-원 볼록하지만 어디에서도 준볼록하지 않은 공액 및 전치 불변(conjugation- and transposition-invariant) $p$ -동차 피적분 함수가 $\mathbb{R}^{d\times d}$ 상에 존재한다. 이는 그래디언트의 대칭 부분과 반대칭 부분 사이의 차이를 Schatten $q$ -노름에서 활용함으로써 달성된다.
정리 1.4 ( $4 \times 2$ 케이스): 임의의 $p \in (1, \infty) \setminus \{2\}$ 에 대하여, 랭크-원 볼록하지만 어디에서도 준볼록하지 않은 $p$ -동차 피적분 함수가 $\mathbb{R}^{4\times 2}$ 상에 존재한다. 이 결과는 뵈를링-아흘포스 변환(Beurling-Ahlfors transform)과 관련된 선형 사상을 포함하는 특정 구성을 통해 얻어진다.

명시적 구성
본 논문은 특정 파라미터에 대한 명시적인 예시를 제공한다:

$p=3$ 인 경우, $\ell_6$ 노름을 포함하는 특정 피적분 함수의 랭크-원 볼록성에 대한 기초적인 증명이 주어진다.
$p=q=4$ 인 정방 행렬 케이스의 경우, 저자는 충분히 큰 $d$ 에 대해 0에서 준볼록하지 않은, 차수가 4인 전역적 랭크-원 볼록 동차 다항식을 구성한다.
$4 \times 2$ 및 $p=4$ 인 경우, 차수가 4인 동차 다항식 반례가 명시적으로 구성된다.

의의 및 주장
본 논문은 거대 차원( $2 \times m$ , $d \times d$ , $4 \times 2$ )에서 동차 모리 문제를 부정적으로 해결했다고 주장한다.

함의: 동차 모리 문제에 대한 긍정적인 답변은 컨포멀(conformal) 및 안티컨포멀(anticonformal) 부분과 관련된 특정 피적분 함수의 준볼록성에 관한 이와니에츠(Iwaniec)의 추측을 함의할 것이다. 이러한 반례를 제공함으로써, 본 논문은 모리 문제가 일반적인 랭크-원 볼록성으로부터 0에서의 준볼록성으로의 함의를 통해 증명될 수 없음을 보여준다. 즉, 어떤 증명은 이러한 반례에는 없는 이와니에츠 피적분 함수의 특정한 특징들에 의존해야 한다.
비국소성 (Non-locality): 이 결과들은 준볼록성이 $2 \times m$ 에서 비국소적인 조건임을 시사한다. 왜냐하면 구성된 피적분 함수들은 균등 레장드르-하다마르 부등식(uniform Legendre-Hadamard inequality, 강한 타원성)을 만족하면서도 전역적 준볼록성은 실패하기 때문이다.
대칭성: 정방 행렬 케이스의 반례는 공액 및 전치에 대해 불변하도록 구성되었으며, 이는 강력한 대칭성 가정이 고차원에서 준볼록성을 강제하지 못함을 보여준다.

한계 및 미해결 과제
저자는 자신의 결과가 $2 \times 2$ 케이스를 해결하지 못함을 명시적으로 밝힌다. 이 구성은 UMD 상수와 준볼록성 임계값을 분리하기 위해 차원 $m$ 이 충분히 커야 한다는 점에 의존한다. 저자는 $2 \times 2$ 에서의 동차 모리 문제가 긍정적인 답을 가질 가능성이 높다고 추측하며, 현재의 방법론으로는 UMD 상수와 준볼록성 임계값에 대한 훨씬 더 정교한 추정치 없이는 이를 부정할 수 없다고 본다. 또한, 이 논문은 등방적(isotropic, 회전 불변) 랭크-원 볼록 피적분 함수들이 여전히 0에서 준볼록할 것이라는 추측을 열린 과제로 남겨둔다.

작동하지 않은 위대한 지름길

"마법 같은" 구성

결과: 많은 차원에서의 "아니오"

이것이 왜 중요한가 (그리고 왜 아쉬운가)

기술 요약: R2×m\mathbb{R}^{2\times m}R2×m에서의 모리 문제(Morrey's Problem)에 대한 해법

유사한 논문

기술 요약: $\mathbb{R}^{2\times m}$ 에서의 모리 문제(Morrey's Problem)에 대한 해법