Раздел II. Дифференциальное исчисление функций одной переменной — § 1. Производная явной функции

Демидович — задача 888

Б. П. Демидович, «Сборник задач и упражнений по математическому анализу». Условие, подробное решение и ответ.

Найти производную функции

Задача 888

y=ln⁡(ln⁡2(ln⁡3x))y=\ln\bigl(\ln^2(\ln^3x)\bigr)
Ответ:При x>1x>1, x≠ex\ne ey′=2xln⁡xln⁡(ln⁡x)y'=\frac{2}{x\ln x\ln(\ln x)}

Решение

Степени у знака логарифма означают степени его значения:
ln⁡3x=(ln⁡x)3\ln^3x=(\ln x)^3Полностью раскрытая структура исходного выражения имеет видy=ln⁡([ln⁡((ln⁡x)3)]2)y=\ln\left(
\left[\ln\bigl((\ln x)^3\bigr)\right]^2
\right)
Сначала внутренний логарифм требует (ln⁡x)3>0(\ln x)^3>0, то есть x>1x>1.
На этой областиln⁡((ln⁡x)3)=3ln⁡(ln⁡x)\ln\bigl((\ln x)^3\bigr)=3\ln(\ln x)Внешний логарифм определён, когда квадрат этого выражения положителен.
Поэтому нужно дополнительно потребовать 3ln⁡(ln⁡x)≠03\ln(\ln x)\ne0, что
исключает значение x=ex=e. Таким образом,D=(1,e)∪(e,+∞)D=(1,e)\cup(e,+\infty)На этой области функцию можно переписать в видеy=ln⁡(9ln⁡2(ln⁡x))y=\ln\bigl(9\ln^2(\ln x)\bigr)Дифференцируем:y′=18ln⁡(ln⁡x)9ln⁡2(ln⁡x)⋅1xln⁡x==2xln⁡xln⁡(ln⁡x)\begin{aligned}
y'&=\frac{18\ln(\ln x)}{9\ln^2(\ln x)}
\cdot\frac{1}{x\ln x}=\\
&=\frac{2}{x\ln x\ln(\ln x)}
\end{aligned}