Рассмотрите предел lim_{x->0} (sin(ax) / x) для вещественного параметра a; приведите разные аргументы (разложение в ряд, геометрическая оценка), объясните, когда результаты можно обобщать на комплексные a
Ответ: limx→0sin(ax)x=a\displaystyle \lim_{x\to 0}\frac{\sin(ax)}{x}=ax→0limxsin(ax)=a для любого вещественного aaa. Аргументы. 1) Ряд Тейлора (формально и коротко). Для малых аргументов sinz=z−z33!+O(z5)\sin z=z-\dfrac{z^3}{3!}+O(z^5)sinz=z−3!z3+O(z5). Подставляя z=axz=axz=ax, sin(ax)x=a−a3x23!+O(x4).
\frac{\sin(ax)}{x}=a-\frac{a^3x^2}{3!}+O(x^4). xsin(ax)=a−3!a3x2+O(x4).
При x→0x\to0x→0 все члены, умноженные на положі́тные степени xxx, исчезают, поэтому предел равен aaa. 2) Геометрическая оценка (классическая для вещественных аргументов). Для y∈(0,π/2)y\in(0,\pi/2)y∈(0,π/2) имеют место неравенства siny<y<tany\sin y<y<\tan ysiny<y<tany. Из второй неравенствa sinycosy>y\frac{\sin y}{\cos y}>ycosysiny>y получаем cosy<sinyy<1.
\cos y<\frac{\sin y}{y}<1. cosy<ysiny<1.
Аналогично для y<0y<0y<0 те же неравенства (с учётом нечётности/чётности) дают ту же двустороннюю оценку. Из сжатого принципа и того, что limy→0cosy=1\lim_{y\to0}\cos y=1limy→0cosy=1, следует limy→0sinyy=1.
\lim_{y\to0}\frac{\sin y}{y}=1. y→0limysiny=1.
Положив y=axy=axy=ax и записав sin(ax)x=a⋅sin(ax)ax\frac{\sin(ax)}{x}=a\cdot\frac{\sin(ax)}{ax}xsin(ax)=a⋅axsin(ax), получаем предел aaa. Обобщение на комплексные aaa. - Ряд Тейлора подходит и для комплексных параметров, так как sinz\sin zsinz — целая функция и sinz=z+O(z3)\sin z=z+O(z^3)sinz=z+O(z3) при z→0z\to0z→0 в комплексной плоскости. Для комплексного aaa и вещественного x→0x\to0x→0sin(ax)x=a+O(x2)→a.
\frac{\sin(ax)}{x}=a+O(x^2)\to a. xsin(ax)=a+O(x2)→a.
- Геометрический (неравностный) аргумент не применим в комплексной обстановке, поскольку он опирается на упорядоченную структуру R\mathbb RR. Вместо этого в комплексе используют аналитичность или оценку остатка ряда (или норму): sinz/z→1\sin z/z\to1sinz/z→1 при z→0z\to0z→0 в C\mathbb CC. Итого: для любого вещественного или комплексного параметра aaa (при x→0x\to0x→0, x∈Rx\in\mathbb Rx∈R) выполняется limx→0sin(ax)x=a\displaystyle\lim_{x\to0}\frac{\sin(ax)}{x}=ax→0limxsin(ax)=a.
Аргументы.
1) Ряд Тейлора (формально и коротко). Для малых аргументов sinz=z−z33!+O(z5)\sin z=z-\dfrac{z^3}{3!}+O(z^5)sinz=z−3!z3 +O(z5). Подставляя z=axz=axz=ax,
sin(ax)x=a−a3x23!+O(x4). \frac{\sin(ax)}{x}=a-\frac{a^3x^2}{3!}+O(x^4).
xsin(ax) =a−3!a3x2 +O(x4). При x→0x\to0x→0 все члены, умноженные на положі́тные степени xxx, исчезают, поэтому предел равен aaa.
2) Геометрическая оценка (классическая для вещественных аргументов). Для y∈(0,π/2)y\in(0,\pi/2)y∈(0,π/2) имеют место неравенства siny<y<tany\sin y<y<\tan ysiny<y<tany. Из второй неравенствa sinycosy>y\frac{\sin y}{\cos y}>ycosysiny >y получаем
cosy<sinyy<1. \cos y<\frac{\sin y}{y}<1.
cosy<ysiny <1. Аналогично для y<0y<0y<0 те же неравенства (с учётом нечётности/чётности) дают ту же двустороннюю оценку. Из сжатого принципа и того, что limy→0cosy=1\lim_{y\to0}\cos y=1limy→0 cosy=1, следует
limy→0sinyy=1. \lim_{y\to0}\frac{\sin y}{y}=1.
y→0lim ysiny =1. Положив y=axy=axy=ax и записав sin(ax)x=a⋅sin(ax)ax\frac{\sin(ax)}{x}=a\cdot\frac{\sin(ax)}{ax}xsin(ax) =a⋅axsin(ax) , получаем предел aaa.
Обобщение на комплексные aaa.
- Ряд Тейлора подходит и для комплексных параметров, так как sinz\sin zsinz — целая функция и
sinz=z+O(z3)\sin z=z+O(z^3)sinz=z+O(z3) при z→0z\to0z→0 в комплексной плоскости. Для комплексного aaa и вещественного x→0x\to0x→0 sin(ax)x=a+O(x2)→a. \frac{\sin(ax)}{x}=a+O(x^2)\to a.
xsin(ax) =a+O(x2)→a. - Геометрический (неравностный) аргумент не применим в комплексной обстановке, поскольку он опирается на упорядоченную структуру R\mathbb RR. Вместо этого в комплексе используют аналитичность или оценку остатка ряда (или норму): sinz/z→1\sin z/z\to1sinz/z→1 при z→0z\to0z→0 в C\mathbb CC.
Итого: для любого вещественного или комплексного параметра aaa (при x→0x\to0x→0, x∈Rx\in\mathbb Rx∈R) выполняется limx→0sin(ax)x=a\displaystyle\lim_{x\to0}\frac{\sin(ax)}{x}=ax→0lim xsin(ax) =a.