맨위로가기

하르나크의 부등식

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
목차

1. 개요

하르나크의 부등식은 조화 함수와 편미분 방정식의 해에 대한 부등식이다. 복소 변수 함수 u(z)가 조화 함수이고 u(z)가 0보다 크거나 같을 경우, 특정 부등식이 성립하며, 이는 Rⁿ 공간에서도 확장된다. 이 부등식은 타원형 및 포물형 편미분 방정식의 해의 상한과 하한 사이의 관계를 나타내며, 해의 성질을 이해하는 데 중요한 도구로 사용된다.

더 읽어볼만한 페이지

  • 조화 함수 - 라플라스 방정식
    라플라스 방정식은 리만 다양체에서 라플라스-벨트라미 연산자의 2차 편미분 방정식이며, 조화 함수를 해로 갖고 유체 역학, 정전기학 등 다양한 분야에 응용된다.
  • 조화 함수 - 코시-리만 방정식
    코시-리만 방정식은 복소해석학에서 함수가 미분 가능하기 위한 조건을 제공하며, 복소 평면에서 정의된 함수가 정칙 함수가 되기 위한 필요충분조건과 관련된다.
  • 조화해석학 - 라플라스 방정식
    라플라스 방정식은 리만 다양체에서 라플라스-벨트라미 연산자의 2차 편미분 방정식이며, 조화 함수를 해로 갖고 유체 역학, 정전기학 등 다양한 분야에 응용된다.
  • 조화해석학 - 하르 측도
    하르 측도는 국소 콤팩트 하우스도르프 위상군에서 정의되고 군 연산에 불변하는 측도로, 하르 정리에 의해 곱셈 상수를 제외하고 유일하게 존재하며, 르베그 측도의 일반화로서 추상 조화 해석과 수리 통계학 등에 활용된다.
  • 부등식 - 구매력 평가
    구매력 평가는 일물일가의 법칙에 기반하여 국가 간 물가 수준을 비교하고 환율을 계산하는 경제 이론으로, GDP 비교나 환율 예측 등에 활용되지만 여러 한계점도 존재한다.
  • 부등식 - 불확정성 원리
    불확정성 원리는 1927년 베르너 하이젠베르크가 발표한 양자역학의 기본 원리로, 입자의 위치와 운동량 등 짝을 이루는 물리량들을 동시에 정확하게 측정하는 것이 불가능하며, 두 물리량의 불확정성은 플랑크 상수에 의해 제한된다.
하르나크의 부등식
하르나크 부등식
분야수학, 해석학
주제미분 방정식, 조화 함수
명명자악셀 하르나크
발표년도1887년
관련 항목
관련 개념하르나크 원리

2. 공식화 (해석학)

복소변수 z에 대한 실수값 함수 u(z)가 |z - z0| < R에서 조화함수이고 u(z)≥0이면, z - z = reiθ일 때 다음 부등식이 성립한다.[1]

:u(z_0) \frac{R-r}{R+r} \le u(re^{i\theta}) \le u(z_0) \frac{R+r}{R-r}, (r

원판(파랑) 위의 조화 함수(녹색)는 원판 중심에서 조화 함수와 일치하고 원판 경계로 갈수록 무한대에 접근하는 함수(빨강)에 의해 위로 제한된다.

2. 1. 일반적인 경우 (Rⁿ)

'''하르나크 부등식'''은 '''R'''''n''에서 ''x''0를 중심으로 하고 반지름이 ''R''인 닫힌 공에 정의된 음수가 아닌 함수 ''f''에 적용된다. ''f''가 닫힌 공에서 연속이고 내부에서 조화 함수이면, |''x'' - ''x''0| = ''r'' < ''R''을 만족하는 모든 점 ''x''에 대해 다음 부등식이 성립한다.

:\displaystyle{1-(r/R)\over [1+(r/R)]^{n-1}}f(x_0)\le f(x) \le {1+(r/R)\over [1-(r/R)]^{n-1}} f(x_0).

''n'' = 2 인 경우, 즉 평면 '''R'''2에서는 위 부등식을 다음과 같이 쓸 수 있다.

:{R-r\over R+r} f(x_0)\le f(x)\le {R+r\over R-r}f(x_0).

'''R'''n의 일반적인 영역 \Omega에 대한 하르나크 부등식은 다음과 같다. \omega가 \bar{\omega} \subset \Omega를 만족하는 유계 영역이면, 다음을 만족하는 상수 C가 존재한다.

: \sup_{x \in \omega} u(x) \le C \inf_{x \in \omega} u(x)

여기서 u(x)는 임의의 두 번 미분 가능하고 조화 함수이며 음수가 아닌 함수이다. 상수 C는 u에 의존하지 않고, 영역 \Omega와 \omega에만 의존한다.

3. 증명 (구에서의 경우)

푸아송 공식에 의해,

: f(x) = \frac 1 {\omega_{n-1}} \int_{|y-x_0|=R} \frac{R^2 -r^2}{R|x - y|^n} \cdot f(y) \, dy,

여기서 ''ω''''n'' − 1는 '''R'''''n''에서의 단위 구의 면적이고, ''r'' = |''x'' − ''x''0|이다.

다음이 성립하므로

: R-r \le |x-y| \le R+r,

적분핵은 다음을 만족한다.

: \frac{R -r}{R (R+r)^{n-1}} \le \frac{R^2 -r^2}{R|x-y|^n}\le \frac{R+r}{R(R-r)^{n-1}}.

조화 함수의 구면 평균이 구의 중심에서의 값과 같다는 사실, 즉

: f(x_0)= \frac 1 {R^{n-1}\omega_{n-1}} \int_

4. 편미분 방정식으로의 확장

하르나크 부등식은 타원형 편미분 방정식과 포물형 편미분 방정식으로 확장될 수 있다.

타원형 편미분 방정식의 경우, 연결된 열린 영역에서 양의 해의 상한은 하한과 데이터의 노름을 포함하는 항의 합에 상수를 곱한 값으로 제한된다.[1]

포물형 편미분 방정식(예: 열 방정식)의 경우, 하르나크 부등식은 특정 시점과 공간에서의 해의 상한이 이전 시점에서의 해의 하한에 상수를 곱한 값으로 제한됨을 나타낸다.

4. 1. 타원형 편미분 방정식

타원형 편미분 방정식에서 하르나크 부등식은, 어떤 연결된 열린 영역에서 양의 해의 상한이 어떤 상수와 하한의 곱으로 제한되며, 데이터의 노름을 포함하는 항이 추가될 수 있다는 것을 의미한다.[1]

:\sup u \le C ( \inf u + \|f\|)

이때 상수는 방정식의 타원성과 연결된 열린 영역에 따라 달라진다.

다시 말해, 타원형 편미분 방정식에 대한 하르나크 부등식은 어떤 연결 열린 영역 내에서 양의 해의 상한이 그 하한과 어떤 데이터 범함수의 노름을 포함하는 항의 합에 어떤 상수를 곱한 값보다 작거나 같다는 것이다. 즉,

:\sup u \le C ( \inf u + ||f||)

이 성립한다. 여기서 상수는 방정식의 타원도(ellipticity)와 연결 열린 영역에 의존한다.

4. 2. 포물형 편미분 방정식

열 방정식과 같은 선형 포물형 편미분 방정식에 대해서도 하르나크 부등식이 존재한다.

\mathcal{M}을 \mathbb{R}^n 내의 어떤 매끄러운 영역이라 하고, 다음의 선형 포물형 연산자를 고려한다.

:\mathcal{L}u=\sum_{i,j=1}^n a_{ij}(t,x)\frac{\partial^2 u}{\partial x_i\,\partial x_j}+\sum_{i=1}^n b_i(t,x)\frac{\partial u}{\partial x_i} + c(t,x)u.

여기서 각 계수는 매끄럽고 유계이며, 행렬 (a_{ij})는 양의 정부호라고 가정한다. u(t,x)\in C^2((0,T)\times\mathcal{M})는 다음 부등식을 만족하는 (0,T)\times\mathcal{M} 내의 해라고 하자.

:\frac{\partial u}{\partial t}-\mathcal{L}u\ge0

:\quad u(t,x)\ge0

K를 \mathcal{M}의 컴팩트 부분 공간으로 하고, \tau\in(0,T)를 선택한다. 이 때, K, \tau 및 \mathcal{L}의 계수에만 의존하는 어떤 상수 \quad C>0가 존재하여, 각 \quad t\in(\tau,T)에 대해 다음이 성립한다.

:\sup_K u(t-\tau,\cdot)\le C\inf_K u(t,\cdot).\,


본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com