민코프스키 부등식

LpL^p 삼각부등식 — [0,1][0,1] 위에서 ∥f+g∥p≤∥f∥p+∥g∥p\|f+g\|_p \le \|f\|_p + \|g\|_p. f(t)=taf(t) = t^a, g(t)=(1−t)bg(t) = (1-t)^b로 두고 pp를 움직이면 두 막대 사이 틈새가 벌어졌다 좁아집니다. p=1p = 1에서는 적분의 선형성 때문에 틈새가 0으로 닫힙니다.

∥f+g∥p≤∥f∥p+∥g∥p(1≤p<∞)\|f+g\|_p \le \|f\|_p + \|g\|_p \quad (1 \le p < \infty)
∥f∥p=(∫01∣f∣p)1/p\|f\|_p = \left(\int_0^1 |f|^p\right)^{1/p}

예제

횔더 부등식으로부터 민코프스키 부등식을 유도하는 표준 증명을, 이 씬의 구체적인 함수 f(t)=tf(t) = t, g(t)=1−tg(t) = 1-t (a=b=1a = b = 1)와 p=2p = 2에 적용하여 완전히 증명하세요. 증명의 각 단계(횔더 적용, (p−1)q=p(p-1)q = p 확인, 나누기)를 수치로도 검증하세요.

∥f+g∥pp=∫01(f+g)p=∫01f(f+g)p−1+∫01g(f+g)p−1\|f+g\|_p^p = \int_0^1 (f+g)^p = \int_0^1 f(f+g)^{p-1} + \int_0^1 g(f+g)^{p-1}
∫01f(f+g)p−1≤∥f∥p ∥(f+g)p−1∥q=∥f∥p ∥f+g∥pp−1((p−1)q=p)\int_0^1 f(f+g)^{p-1} \le \|f\|_p\,\|(f+g)^{p-1}\|_q = \|f\|_p\,\|f+g\|_p^{p-1} \quad \big((p-1)q = p\big)
p=2p = 2, a=b=1a = b = 1: ∥f∥2=∥g∥2=13≈0.577350\|f\|_2 = \|g\|_2 = \frac{1}{\sqrt{3}} \approx 0.577350, f+g≡1f+g \equiv 1이므로 ∥f+g∥2=1\|f+g\|_2 = 1. 횔더 단계: ∫01f(f+g)=12≤13≈0.577350\int_0^1 f(f+g) = \frac12 \le \frac{1}{\sqrt{3}} \approx 0.577350.
증명 보기
  1. p=2p = 2이므로 켤레지수 q=pp−1=2q = \frac{p}{p-1} = 2이고, (p−1)q=1⋅2=2=p(p-1)q = 1 \cdot 2 = 2 = p가 성립합니다. 먼저 ∥f+g∥22=∫01(f+g)2\|f+g\|_2^2 = \int_0^1 (f+g)^2를 두 항으로 쪼갭니다: ∫01(f+g)2=∫01f(f+g)+∫01g(f+g)\int_0^1 (f+g)^2 = \int_0^1 f(f+g) + \int_0^1 g(f+g).
  2. 각 항에 횔더 부등식 ∫∣uv∣≤∥u∥p∥v∥q\int |uv| \le \|u\|_p\|v\|_q를 u=fu = f, v=f+gv = f+g로 적용합니다: ∫01f(f+g)≤∥f∥2 ∥f+g∥2\int_0^1 f(f+g) \le \|f\|_2\,\|f+g\|_2. 수치로 확인하면, ∫01f(f+g)=∫01t⋅1 dt=12=0.5\int_0^1 f(f+g) = \int_0^1 t \cdot 1\,dt = \frac12 = 0.5이고 ∥f∥2 ∥f+g∥2=13⋅1≈0.5773502692\|f\|_2\,\|f+g\|_2 = \frac{1}{\sqrt{3}} \cdot 1 \approx 0.5773502692이므로 0.5≤0.57735026920.5 \le 0.5773502692가 성립합니다. gg 항도 대칭성에 의해 똑같습니다 (∫01g(f+g)=∫01(1−t) dt=12\int_0^1 g(f+g) = \int_0^1 (1-t)\,dt = \frac12).
    12+12=1=∥f+g∥22≤(∥f∥2+∥g∥2) ∥f+g∥2=23≈1.1547005384\frac12 + \frac12 = 1 = \|f+g\|_2^2 \le \big(\|f\|_2 + \|g\|_2\big)\,\|f+g\|_2 = \frac{2}{\sqrt{3}} \approx 1.1547005384
  3. 두 항을 더하면 ∥f+g∥22≤(∥f∥2+∥g∥2) ∥f+g∥22−1\|f+g\|_2^2 \le \big(\|f\|_2 + \|g\|_2\big)\,\|f+g\|_2^{2-1}을 얻습니다. 여기서 ∥f+g∥2=1≠0\|f+g\|_2 = 1 \ne 0이므로 양변을 ∥f+g∥2\|f+g\|_2로 나누면 ∥f+g∥2≤∥f∥2+∥g∥2\|f+g\|_2 \le \|f\|_2 + \|g\|_2 — 즉 1≤23≈1.15470053841 \le \frac{2}{\sqrt{3}} \approx 1.1547005384가 됩니다. 틈새는 23−1≈0.1547005384\frac{2}{\sqrt{3}} - 1 \approx 0.1547005384로, 씬의 수치와 일치합니다. (일반적인 pp에서는 같은 논증이 (p−1)q=p(p-1)q = p를 이용해 ∥f+g∥pp≤(∥f∥p+∥g∥p) ∥f+g∥pp−1\|f+g\|_p^p \le \big(\|f\|_p + \|g\|_p\big)\,\|f+g\|_p^{p-1}을 주고, ∥f+g∥pp−1\|f+g\|_p^{p-1}로 나누어 민코프스키 부등식을 얻습니다.)

g=c fg = c\,f (c≥0c \ge 0인 상수)일 때 민코프스키 부등식에서 등호가 성립함을, 노름의 동차성 ∥cf∥p=c∥f∥p\|cf\|_p = c\|f\|_p부터 완전히 증명하세요. 이 씬에서는 a=b=0a = b = 0 (f=g≡1f = g \equiv 1, 즉 c=1c = 1)인 경우가 해당하며, 틈새가 0임을 수치로 확인하세요.

g=cf (c≥0)  ⇒  ∥f+g∥p=(1+c)∥f∥p=∥f∥p+∥g∥pg = cf\ (c \ge 0) \;\Rightarrow\; \|f+g\|_p = (1+c)\|f\|_p = \|f\|_p + \|g\|_p
a=b=0:∥f∥p=∥g∥p=1,∥f+g∥p=2a = b = 0:\quad \|f\|_p = \|g\|_p = 1,\quad \|f+g\|_p = 2
p=2p = 2, a=b=0a = b = 0: f=g≡1f = g \equiv 1이므로 g=1⋅fg = 1 \cdot f — 비례 관계. ∥f∥2=∥g∥2=1\|f\|_2 = \|g\|_2 = 1, ∥f+g∥2=2\|f+g\|_2 = 2, 틈새 =0= 0.
증명 보기
  1. 먼저 동차성을 증명합니다. c≥0c \ge 0에 대해 ∥cf∥pp=∫01∣cf∣p=∫01cp∣f∣p=cp∥f∥pp\|cf\|_p^p = \int_0^1 |cf|^p = \int_0^1 c^p |f|^p = c^p \|f\|_p^p이므로, pp제곱근을 취하면 ∥cf∥p=c∥f∥p\|cf\|_p = c\|f\|_p입니다.
  2. g=cfg = cf (c≥0c \ge 0)이면 f+g=(1+c)ff + g = (1+c)f이므로, 동차성에 의해 ∥f+g∥p=∥(1+c)f∥p=(1+c)∥f∥p=∥f∥p+c∥f∥p=∥f∥p+∥cf∥p=∥f∥p+∥g∥p\|f+g\|_p = \|(1+c)f\|_p = (1+c)\|f\|_p = \|f\|_p + c\|f\|_p = \|f\|_p + \|cf\|_p = \|f\|_p + \|g\|_p — 등호가 성립합니다.
  3. 씬의 경우: a=b=0a = b = 0이면 f(t)=t0≡1f(t) = t^0 \equiv 1, g(t)=(1−t)0≡1g(t) = (1-t)^0 \equiv 1이므로 g=1⋅fg = 1 \cdot f입니다. 따라서 ∥f∥2=(∫011 dt)1/2=1\|f\|_2 = \left(\int_0^1 1\,dt\right)^{1/2} = 1, ∥g∥2=1\|g\|_2 = 1, ∥f+g∥2=∥2∥2=2\|f+g\|_2 = \|2\|_2 = 2이고, 우변 ∥f∥2+∥g∥2=2\|f\|_2 + \|g\|_2 = 2와 같아 틈새가 정확히 0입니다. (참고: p=1p = 1에서는 적분의 선형성 ∫(f+g)=∫f+∫g\int (f+g) = \int f + \int g 때문에 모든 f,gf, g에 대해 항상 등호가 성립합니다. 더 깊은 등호 조건 — 횔더 단계에서 ∣f∣p|f|^p와 ∣g∣q|g|^q가 비례해야 한다는 것 — 은 이 비례 경우를 포함합니다.)

0<p<10 < p < 1에서는 민코프스키 부등식이 성립하지 않음을 보이세요. 먼저 f,g≥0f, g \ge 0일 때 부등식이 뒤집혀 ∥f+g∥p≥∥f∥p+∥g∥p\|f+g\|_p \ge \|f\|_p + \|g\|_p가 됨을 증명한 뒤, 구체적인 반례 p=12p = \frac12, f(t)=tf(t) = t, g(t)=1−tg(t) = 1-t를 직접 계산하여 ∥f+g∥1/2=1>89=∥f∥1/2+∥g∥1/2\|f+g\|_{1/2} = 1 > \frac89 = \|f\|_{1/2} + \|g\|_{1/2}임을 수치까지 검증하세요.

0<p<1:(f+g)p≥fp+gp  ⇒  ∥f+g∥p≥∥f∥p+∥g∥p0 < p < 1:\quad (f+g)^p \ge f^p + g^p \;\Rightarrow\; \|f+g\|_p \ge \|f\|_p + \|g\|_p
p=12:∥f∥1/2=∥g∥1/2=49,∥f+g∥1/2=1>89p = \tfrac12:\quad \|f\|_{1/2} = \|g\|_{1/2} = \tfrac49,\quad \|f+g\|_{1/2} = 1 > \tfrac89
이 문제는 씬의 슬라이더 범위(1≤p≤41 \le p \le 4) 밖에 있는 p=12p = \frac12에서의 별도 계산에 대한 것입니다 — 프리셋은 씬 기본값 p=2p = 2, a=b=1a = b = 1.
증명 보기
  1. 0<p<10 < p < 1이고 f,g≥0f, g \ge 0이라 하세요. 각 점에서 (f+g)p≥fp+gp(f+g)^p \ge f^p + g^p이므로 (밑이 f+g≥max⁡(f,g)f+g \ge \max(f, g)이고 지수가 양수이기 때문입니다), 적분하면 ∥f+g∥pp≥∥f∥pp+∥g∥pp\|f+g\|_p^p \ge \|f\|_p^p + \|g\|_p^p입니다. 이제 r=1p>1r = \frac1p > 1이라 두면 A,B≥0A, B \ge 0에 대해 (A+B)r≥Ar+Br(A+B)^r \ge A^r + B^r이므로 (예: t≥0t \ge 0에서 (1+t)r≥1+tr(1+t)^r \ge 1 + t^r), ∥f+g∥p≥(∥f∥pp+∥g∥pp)1/p≥∥f∥p+∥g∥p\|f+g\|_p \ge \big(\|f\|_p^p + \|g\|_p^p\big)^{1/p} \ge \|f\|_p + \|g\|_p — 부등식이 뒤집힙니다.
  2. 구체적으로 p=12p = \frac12, f(t)=tf(t) = t, g(t)=1−tg(t) = 1-t로 계산합니다. ∫01t dt=23\int_0^1 \sqrt{t}\,dt = \frac23이므로 ∥f∥1/2=(23)2=49≈0.444444\|f\|_{1/2} = \left(\frac23\right)^2 = \frac49 \approx 0.444444이고, 대칭성에 의해 ∥g∥1/2=49\|g\|_{1/2} = \frac49도 같습니다. 따라서 우변은 49+49=89≈0.888889\frac49 + \frac49 = \frac89 \approx 0.888889입니다. 반면 f+g≡1f + g \equiv 1이므로 ∥f+g∥1/2=(∫011 dt)2=1\|f+g\|_{1/2} = \left(\int_0^1 1\,dt\right)^2 = 1입니다. 즉 1>891 > \frac89 — 민코프스키 부등식이 깨지고, 틈새는 −19≈−0.111111-\frac19 \approx -0.111111로 음수가 됩니다 (수치적분으로도 확인됨).
  3. 표준 증명이 무너지는 지점도 명확합니다: 횔더 부등식은 켤레지수 q=pp−1>1q = \frac{p}{p-1} > 1을 필요로 하는데, p<1p < 1에서는 q<0q < 0이 되어 횔더 단계 자체가 성립하지 않습니다. 그래서 민코프스키 부등식은 p≥1p \ge 1이라는 조건이 필수적입니다.

10. 적분