Processing math: 100%

평면에서 주어진 길이의 폐곡선으로 가둘 수 있는 최대의 면적은 얼마이고 그 모양은 어떤 것일까?

이 문제는 변분법을 이용하면 쉽게 해결할 수 있다. 평면에서 폐곡선은 매개변수 t의 함수로 표현된 좌표쌍 (x(t),y(t))로 나타낼 수 있다.

우선 폐곡선의 면적은 미소 삼각형의 합이므로

A=12(x˙yy˙x)dt이고 폐곡선의 둘레 길이는

=dx2+dy2=˙x2+˙y2dt로 표현된다. 이제 값이 고정될 때(=0) A를 최대로 하는 폐곡선은 아래의 action 

J=A+λ(0)=[12(x˙yy˙x)+λ˙x2+˙y2]dtλ0를 극대화시키는 해를 구하면 된다. 여기서 λ는 Lagrange multiplier이다. x에 대한 Euler-Lagrange 방정식

Lx=ddtL˙x 에서 

12˙y=ddt(12y+λ˙x˙x2+˙y2) 또, y에 대한 E-L 방정식

Ly=ddtL˙y에서 

12˙x=ddt(12x+λ˙y˙x2+˙y2)을 얻는다. 이 두 식을 적분하면 

x+λ˙y˙x2+˙y2=const=cx

yλ˙x˙x2+˙y2=const=cy을 얻을 수 있고, 정리하면

(xcx)2+(ycy)2=λ2이 되므로 최대면적을 갖는 폐곡선은 원임을 알 수 있다. 일반적으로 평면 폐곡선의 둘레의 길이가 L일 때 이 폐곡선이 가두는 면적  A는 다음의 부등식을 만족한다.

L24πA(isoperimetric inequality)

 

https://kipl.tistory.com/501

 

Fourier Series를 이용한 Isoperimetric Inequality 증명

면적이 A인 단순 평면 도형이 있을 때 그 둘레의 길이 L과의 사이에는 다음 부등식이 성립한다: L24πAn 각형에 대해서 이 부등식을 체크해보면 $$ \frac{L^2}{4\pi A} = \frac{\tan(\pi/n)}{\p

kipl.tistory.com

 
 
 
 
 
 
 
728x90

'Mathematics' 카테고리의 다른 글

Integration along a branch cut-007  (1) 2020.12.31
Integration along a branch cut-006  (1) 2020.02.28
Integration along a branch cut-005  (0) 2017.07.02
Integration along a branch cut-004  (0) 2017.06.29
Integration along a branch cut-003  (0) 2017.06.28
,