변동 부등식
"오늘의AI위키" 는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다."오늘의AI위키" 의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
목차 보기/숨기기
1. 개요
변동 부등식은 주어진 집합에서 특정 부등식을 만족하는 해를 찾는 수학적 문제이다. 1959년 안토니오 시뇨리니가 처음 관련 문제를 제기했고, 1963년 가에타노 피케라가 시뇨리니 문제를 해결하며 이론의 기초를 마련했다. 귀도 스탐파키아가 편미분 방정식의 정칙성 문제를 연구하기 위해 Lax–Milgram 정리를 일반화하여 "변동 부등식"이라는 용어를 처음 사용했다. 변동 부등식은 해의 존재성, 유일성, 정규성 증명 및 해를 찾는 세 단계를 거쳐 연구되며, 실수 함수의 최소값 문제 및 시뇨리니 문제와 같은 다양한 문제들을 변동 부등식으로 표현할 수 있다.
2. 역사
변동 부등식 이론은 20세기 중반 이탈리아 의 수학자들에 의해 시작되었다. 특히 안토니오 시뇨리니가 제기하고 가에타노 피케라가 해결한 시뇨리니 문제는 이 분야 연구의 중요한 계기가 되었다. 이후 귀도 스탐파키아는 관련 문제들을 포괄하는 '변동 부등식'이라는 용어를 도입하며 이론의 기초를 다졌고, 자크 루이 리옹, 조르주 뒤보 등 다른 수학자들의 기여를 통해 이론이 더욱 발전하고 프랑스 등지로 확산되었다.
2. 1. 초기 연구 (1959년 ~ 1964년)
변동 부등식과 관련된 첫 번째 문제는 1959년 안토니오 시뇨리니가 제기하고 1963년 가에타노 피케라가 해결한 시뇨리니 문제였다. 이 이론에 대한 첫 번째 논문들은 피케라에 의해 1963년과 1964년에 발표되었다. 이후 귀도 스탐파키아는 편미분 방정식 의 정칙성 문제를 연구하기 위해 1964년 논문에서 Lax–Milgram 정리를 일반화했으며, 이러한 종류의 부등식과 관련된 문제들에 대해 "변동 부등식"이라는 이름을 처음 사용했다.2. 2. 이론의 확장 (1964년 이후)
귀도 스탐파키아(Guido Stampacchia)는 1964년에 편미분 방정식 의 정칙성 문제를 연구하기 위해 Lax–Milgram 정리를 일반화하였고, 이러한 종류의 부등식 문제에 대해 '변동 부등식'이라는 용어를 처음 사용했다.이탈리아 브릭센 에서 열린 학회에서 가에타노 피케라(Gaetano Fichera)가 시뇨리니 문제에 대한 연구를 발표하는 것을 들은 조르주 뒤보(Georges Duvaut)는 자신의 대학원생들에게 피케라의 연구를 확장하도록 권장했다. 이는 변동 부등식 이론이 프랑스 학계에 널리 퍼지는 계기가 되었다.
3. 정의
변동 부등식은 어떤 주어진 집합 U 에서 특정 부등식을 만족하는 해 u^* \in U 를 찾는 문제이다.유한 또는 무한 -차원 바나흐 공간 에서 공식화될 수 있다. 이 문제 연구의 세 가지 명백한 단계는 다음과 같다.
3. 1. 일반적인 정의
변동 부등식은 어떤 주어진 집합 U 에서 다음 부등식을 만족하는 u^* \in U 를 찾는 문제이다.\langle F(u^*), u-u^* \rangle \geq 0 \qquad \forall u \in U 바나흐 공간 \boldsymbol{E} 와 \boldsymbol{E} 의 부분 집합 \boldsymbol{K} , 그리고 \boldsymbol{K} 에서 공간 \boldsymbol{E} 의 쌍대 공간 \boldsymbol{E}^{\ast} 로의 함수 F\colon \boldsymbol{K}\to \boldsymbol{E}^{\ast} 가 주어졌을 때, 변동 부등식 문제는 다음의 부등식을 \boldsymbol{K} 에 속하는 변수 x 에 대해 푸는 문제이다.\langle F(x), y-x \rangle \geq 0\qquad\forall y \in \boldsymbol{K} \langle\cdot,\cdot\rangle\colon \boldsymbol{E}^{\ast}\times\boldsymbol{E}\to \mathbb{R} 는 쌍대 쌍이다.3. 2. 유한 차원 변동 부등식
\mathbb{R}^n 에서의 일반적인 문제 공식화는 다음과 같다. 부분 집합 K \subseteq \mathbb{R}^n 와 사상 F\colon K\to\mathbb{R}^{n} 이 주어졌을 때, K 와 관련된 유한 차원 변동 부등식 문제는 다음 조건을 만족하는 K 안의 n 차원벡터 x 를 찾는 것이다.\langle F(x), y-x \rangle \geq 0\qquad\forall y \in K \langle\cdot,\cdot\rangle\colon\mathbb{R}^{n}\times\mathbb{R}^{n}\to\mathbb{R} 은 벡터 공간 \mathbb{R}^{n} 에서의 표준 내적이다.
4. 변동 부등식 문제 연구 단계
변동 부등식 문제 연구는 일반적으로 다음 세 단계를 거친다.
5. 예시
변동 부등식은 다양한 수학 및 물리 문제에서 나타난다. 주요 예시로는 실수 함수의 최소값 문제와 시뇨리니 문제가 있다.
'''실수 함수의 최소값 문제''': 폐구간에서 미분 가능한 함수의 최소값을 찾는 문제는 변동 부등식의 간단한 예시로 볼 수 있다. '''시뇨리니 문제''': 연속체 역학 에서 탄성 물체의 접촉 문제를 다루는 시뇨리니 문제는 변동 부등식의 고전적인 예시이다. 5. 1. 실수 함수의 최소값 문제
이것은 표준적인 예제 문제로, 미분 가능한 함수 f 의 최소값을 폐구간 I = [a,b] 에서 찾는 문제를 고려한다. x^{\ast} 를 최소값이 발생하는 I 의 점이라고 하자. 세 가지 경우가 발생할 수 있다.a인 경우, f^{\prime}(x^{\ast}) = 0; x^{\ast}=a 인 경우, f^{\prime}(x^{\ast}) \ge 0; x^{\ast}=b 인 경우, f^{\prime}(x^{\ast}) \le 0. x^{\ast}\in I 를 찾는 문제로 요약될 수 있으며, 다음과 같다.f^{\prime}(x^{\ast})(y-x^{\ast}) \geq 0\quad for \quad\forall y \in I. 부등식 의 해(여러 개가 있는 경우) 사이에서 찾아야 한다. 해는 실수 이므로, 이것은 유한 차원 변분 부등식이다.5. 2. 시뇨리니 문제 (Signorini Problem)
고전적인 Signorini 문제: 파란색 강체 의 마찰이 없는 평면 위에 놓인 주황색 구형 물체 의 평형 구성은 무엇일까? 강체 의 마찰이 없는 표면 위에 놓여 자신의 질량력 만을 받는 이방성 비균질 물체 의 탄성 평형 구성, 즉 변위 \boldsymbol{u}(\boldsymbol{x}) 를 찾는 문제이다. 시뇨리니 문제는 변동 부등식 이론의 대표적인 예시 중 하나로 꼽힌다. 문제의 해 \boldsymbol{u} 는 특정 조건 하에서 '허용 변위'의 집합 내에서 존재하며 유일함이 증명되었고, 이는 변동 부등식의 형태로 표현된다.5. 2. 1. 문제 정의
경계 \partial A 를 가지는 3차원 유클리드 공간 의 부분 집합 A 에 놓인 물체 가 있다. 이 물체는 이방성이고 비균질하며, 강체 의 마찰이 없는 표면 위에 놓여 자신의 질량력 만을 받는다. 이 물체의 변위 벡터 \boldsymbol{u}(\boldsymbol{x}) = \left(u_1(\boldsymbol{x}),u_2(\boldsymbol{x}),u_3(\boldsymbol{x})\right) 를 찾는 것이 문제이다.\boldsymbol{u} 는 특정 조건 하에서 '허용 변위'의 집합 \mathcal{U}_\Sigma 내에서 존재하며 유일하다. 허용 변위 집합은 다음의 모호한 경계 조건을 만족하는 변위 벡터들의 모임이다. 이 조건은 변동 부등식의 형태로 표현된다.B(\boldsymbol{u},\boldsymbol{v} - \boldsymbol{u}) - F(\boldsymbol{v} - \boldsymbol{u}) \geq 0 \qquad \forall \boldsymbol{v} \in \mathcal{U}_\Sigma B(\boldsymbol{u},\boldsymbol{v}) 와 F(\boldsymbol{v}) 는 다음과 같이 정의되는 범함수이다. 아인슈타인 표기법 을 사용하여 나타내면 다음과 같다.B(\boldsymbol{u},\boldsymbol{v}) = -\int_A \sigma_{ik}(\boldsymbol{u})\varepsilon_{ik}(\boldsymbol{v})\,\mathrm{d}x , F(\boldsymbol{v}) = \int_A v_i f_i\,\mathrm{d}x + \int_{\partial A\setminus\Sigma}\!\!\!\!\! v_i g_i \,\mathrm{d}\sigma , \boldsymbol{u},\boldsymbol{v} \in \mathcal{U}_\Sigma \boldsymbol{x}\in A 에 대해):\Sigma : 접촉 표면 (또는 더 일반적으로 접촉 집합). 물체가 마찰 없는 평면과 닿는 부분이다.\boldsymbol{f}(\boldsymbol{x}) = \left( f_1(\boldsymbol{x}), f_2(\boldsymbol{x}), f_3(\boldsymbol{x}) \right) : 물체 전체에 작용하는 힘, 즉 체적력 (예: 중력).\boldsymbol{g}(\boldsymbol{x})=\left(g_1(\boldsymbol{x}),g_2(\boldsymbol{x}),g_3(\boldsymbol{x})\right) : 접촉면을 제외한 경계(\partial A\!\setminus\!\Sigma )에 작용하는 표면력 (예: 외부 압력).\boldsymbol{\varepsilon}=\boldsymbol{\varepsilon}(\boldsymbol{u})=\left(\varepsilon_{ik}(\boldsymbol{u})\right)=\left(\frac{1}{2} \left( \frac{\partial u_i}{\partial x_k} + \frac{\partial u_k}{\partial x_i} \right)\right) : 미소 변형 텐서. 물체의 각 부분이 얼마나 변형되었는지를 나타낸다.\boldsymbol{\sigma}=\left(\sigma_{ik}\right) : 코시 응력 텐서. 물체 내부에 작용하는 힘의 분포, 즉 응력 상태를 나타내며, 다음과 같이 정의된다.\sigma_{ik}= - \frac{\partial W}{\partial \varepsilon_{ik}} \qquad\forall i,k=1,2,3 W(\boldsymbol{\varepsilon})=a_{ikjh}(\boldsymbol{x})\varepsilon_{ik}\varepsilon_{jh} 는 변형에 따른 탄성 포텐셜 에너지이고, \boldsymbol{a}(\boldsymbol{x})=\left(a_{ikjh}(\boldsymbol{x})\right) 는 물질의 탄성적 성질(단단함, 방향에 따른 변형 특성 등)을 나타내는 탄성 텐서이다. 이 텐서는 물체가 이방성이고 비균질하다는 특성을 반영한다.5. 2. 2. 변동 부등식 표현
\boldsymbol{u} 는 (적절한 가정 하에) '''허용 변위'''의 집합 \mathcal{U}_\Sigma 에서 존재하며 유일하다. 이 해 \boldsymbol{u} 는 다음의 변동 부등식을 만족한다.B(\boldsymbol{u},\boldsymbol{v} - \boldsymbol{u}) - F(\boldsymbol{v} - \boldsymbol{u}) \geq 0 \qquad \forall \boldsymbol{v} \in \mathcal{U}_\Sigma B(\boldsymbol{u},\boldsymbol{v}) 와 F(\boldsymbol{v}) 는 다음의 범함수이며, 아인슈타인 표기법 을 사용하여 정의된다.B(\boldsymbol{u},\boldsymbol{v}) = -\int_A \sigma_{ik}(\boldsymbol{u})\varepsilon_{ik}(\boldsymbol{v})\,\mathrm{d}x F(\boldsymbol{v}) = \int_A v_i f_i\,\mathrm{d}x + \int_{\partial A\setminus\Sigma}\!\!\!\!\! v_i g_i \,\mathrm{d}\sigma \boldsymbol{x}\in A 에 대해 각 기호는 다음을 의미한다.\Sigma : 접촉 표면 (또는 더 일반적으로 접촉 집합)\boldsymbol{f}(\boldsymbol{x}) = \left( f_1(\boldsymbol{x}), f_2(\boldsymbol{x}), f_3(\boldsymbol{x}) \right) : 물체에 가해지는 ''체적력''\boldsymbol{g}(\boldsymbol{x})=\left(g_1(\boldsymbol{x}),g_2(\boldsymbol{x}),g_3(\boldsymbol{x})\right) : 경계의 일부인 \partial A\!\setminus\!\Sigma 에 가해지는 표면력\boldsymbol{\varepsilon}=\boldsymbol{\varepsilon}(\boldsymbol{u})=\left(\varepsilon_{ik}(\boldsymbol{u})\right)=\left(\frac{1}{2} \left( \frac{\partial u_i}{\partial x_k} + \frac{\partial u_k}{\partial x_i} \right)\right) : 미소 변형 텐서\boldsymbol{\sigma}=\left(\sigma_{ik}\right) : 코시 응력 텐서. 이는 탄성 포텐셜 에너지 W(\boldsymbol{\varepsilon})=a_{ikjh}(\boldsymbol{x})\varepsilon_{ik}\varepsilon_{jh} 와 탄성 텐서 \boldsymbol{a}(\boldsymbol{x})=\left(a_{ikjh}(\boldsymbol{x})\right) 를 이용하여 다음과 같이 정의된다.\sigma_{ik}= - \frac{\partial W}{\partial \varepsilon_{ik}} \qquad\forall i,k=1,2,3
CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.help@durumis.com