Застряли на этом? Решите с помощью ИИ
Calculus · real student question

При фиксированном δ > 0 вычислите предел при ρ → +∞ выражения (2 arctg(ρ/δ)/π)^ρ и выясните, определён ли ln от этой величины минус 1 при действительных ρ > 0.

Question

Пусть δ>0\delta>0 фиксировано. Вычислите

lim⁡ρ→+∞(2arctan⁡ρδπ)ρ\lim_{\rho\to+\infty}\left(\frac{2\arctan\frac{\rho}{\delta}}{\pi}\right)^{\rho}

и выясните, определено ли

ln⁡[(2arctan⁡ρδπ)ρ−1]\ln\left[\left(\frac{2\arctan\frac{\rho}{\delta}}{\pi}\right)^{\rho}-1\right]

хоть при каких-нибудь действительных ρ>0\rho>0.

Step-by-step solution

  1. Оценим основание при конечных ρ\rho. При любом конечном ρ>0\rho>0 и фиксированном δ>0\delta>0 аргумент ρ/δ\rho/\delta конечен, поэтому arctan⁡ρδ<π2\arctan\frac{\rho}{\delta}<\frac{\pi}{2} строго — значение π2\frac{\pi}{2} является лишь горизонтальной асимптотой и никогда не достигается. Следовательно,

    0<2arctan⁡ρδπ<10<\frac{2\arctan\frac{\rho}{\delta}}{\pi}<1

    В этом вся суть: основание подходит к 11 снизу, и возведение в большую степень тянет его вниз, а не оставляет равным 11.

  2. Запишем основание как 11 минус малая величина. Воспользуемся тождеством arctan⁡u+arctan⁡1u=π2\arctan u+\arctan\frac{1}{u}=\frac{\pi}{2} при u>0u>0:

    arctan⁡ρδ=π2−arctan⁡δρ⟹2arctan⁡ρδπ=1−2πarctan⁡δρ\arctan\frac{\rho}{\delta}=\frac{\pi}{2}-\arctan\frac{\delta}{\rho}\qquad\Longrightarrow\qquad \frac{2\arctan\frac{\rho}{\delta}}{\pi}=1-\frac{2}{\pi}\arctan\frac{\delta}{\rho}

    При ρ→+∞\rho\to+\infty имеем δρ→0\frac{\delta}{\rho}\to 0 и arctan⁡u∼u\arctan u\sim u, так что основание ведёт себя как 1−2δπρ1-\frac{2\delta}{\pi\rho}.

  3. Применим классический показательный предел. Поскольку lim⁡ρ→∞(1−cρ)ρ=e−c\lim_{\rho\to\infty}\left(1-\frac{c}{\rho}\right)^{\rho}=e^{-c}, при c=2δπc=\frac{2\delta}{\pi} получаем

    lim⁡ρ→+∞(2arctan⁡ρδπ)ρ=e−2δ/π\lim_{\rho\to+\infty}\left(\frac{2\arctan\frac{\rho}{\delta}}{\pi}\right)^{\rho}=e^{-2\delta/\pi}

    Знакомое предупреждение «(1−1n)n→e−1\left(1-\frac1n\right)^{n}\to e^{-1}, а не 11» описывает ровно то же явление: основание, стремящееся к 11, борется с показателем, стремящимся к бесконечности, и исход решает произведение ρ⋅2δπρ\rho\cdot\frac{2\delta}{\pi\rho}.

  4. Убедимся, что аргумент логарифма отрицателен. Так как δ>0\delta>0, то 0<e−2δ/π<10<e^{-2\delta/\pi}<1, а значит,

    (2arctan⁡ρδπ)ρ−1 ⟶ e−2δ/π−1<0\left(\frac{2\arctan\frac{\rho}{\delta}}{\pi}\right)^{\rho}-1\ \longrightarrow\ e^{-2\delta/\pi}-1<0

    Более того, при каждом конечном ρ>0\rho>0 основание уже строго меньше 11, поэтому скобка строго отрицательна — не только в пределе. Логарифм отрицательного числа в действительной области не определён, так что этот ln⁡\ln никогда не имеет смысла в действительной области.

  5. Проверим оба вывода численно. При δ=1\delta=1: e−2/π=0.5290778e^{-2/\pi}=0.5290778, а само выражение даёт 0.51916440.5191644 при ρ=10\rho=10, 0.52801350.5280135 при ρ=100\rho=100, 0.52897070.5289707 при ρ=103\rho=10^{3} и 0.52907780.5290778 при ρ=107\rho=10^{7} — сходимость к предсказанному значению, а вовсе не к 11. При δ=3\delta=3 так же достигается ориентир e−6/π=0.1481012e^{-6/\pi}=0.1481012. А скобка принимает значения −0.2410-0.2410, −0.5000-0.5000, −0.4808-0.4808 и −0.4710-0.4710 при ρ=0.1,1,10,1000\rho=0.1,1,10,1000: всюду отрицательна.

Answer

lim⁡ρ→+∞(2arctan⁡ρδπ)ρ=e−2δ/π∈(0,1), поэтому скобка отрицательна и действительный логарифм не определён\lim_{\rho\to+\infty}\left(\frac{2\arctan\frac{\rho}{\delta}}{\pi}\right)^{\rho}=e^{-2\delta/\pi}\in(0,1),\ \text{поэтому скобка отрицательна и действительный логарифм не определён}

Need to solve a different problem like this? Open the solver →