밑과 지수가 함께 움직이는 x의 x제곱에서 최소를 찾는다

밑과 지수가 함께 움직이는 x의 x제곱에서 최소를 찾는다

주판과 전자 계산 도구

사진: Syced · CC0 · 원본 출처

Gc(x)=xxe−cx(x>0),c∈R.G_c(x)=x^x e^{-cx}\quad(x>0),\qquad c\in\mathbb R.

c를 고정했을 때 G의 최솟값과 위치를 구하라. x를 상수 밑처럼 미분하거나 x=0을 후보로 넣은 풀이를 검토한다.

G는 양수여서 H=ln G=xln x−cx를 최소로 하면 된다. H′=ln x+1−c는 x=eᶜ⁻¹에서만0이며 그 전에는 음수, 그 뒤에는 양수다.

x0=ec−1,H(x0)=−ec−1,min⁡Gc=e−ec−1.x_0=e^{c-1},\qquad H(x_0)=-e^{c-1},\qquad\boxed{\min G_c=e^{-e^{c-1}}.}

x→0+에서는 xln x→0이므로 G→1이다. 하지만0은 정의역에 없고, 찾은 최솟값은1보다 작다. x→∞에서는 H=x(ln x−c)→∞여서 G도∞다.

로그를 씌운 함수가 원래 함수와 같은 입력에서 최소가 되는 것은 자연로그가 증가하기 때문이다. 로그의 최솟값 −eᶜ⁻¹을 원래 G의 정답으로 적지 않는다. 밑·지수가 모두 바뀌는 미분, 허용된 입력, 출력의 복원을 차례로 확인한다.

출처·착안: Stephen Cavadino, 「Radical Exponents」. 문항과 풀이는 새로 작성했다.