Исследуйте поведение функции f(x,y) = (x^2 y) / (x^4 + y^2) в окрестности (0,0): существуют ли пределы вдоль разных путей, существует ли общий предел, обсудите методы
Функция: f(x,y)=x2yx4+y2\displaystyle f(x,y)=\frac{x^2y}{x^4+y^2}f(x,y)=x4+y2x2y. 1) Пути-примеры. - По прямой y=kxy=kxy=kx: f(x,kx)=x2⋅kxx4+k2x2=kxx2+k2→0(x→0).
f(x,kx)=\frac{x^2\cdot kx}{x^4+k^2x^2}=\frac{kx}{x^2+k^2}\to0\quad (x\to0). f(x,kx)=x4+k2x2x2⋅kx=x2+k2kx→0(x→0).
- По параболе y=mx2y=mx^2y=mx2: f(x,mx2)=x2⋅mx2x4+m2x4=m1+m2,
f(x,mx^2)=\frac{x^2\cdot m x^2}{x^4+m^2x^4}=\frac{m}{1+m^2}, f(x,mx2)=x4+m2x4x2⋅mx2=1+m2m,
то есть предел равен m1+m2\dfrac{m}{1+m^2}1+m2m и зависит от параметра mmm. Для разных mmm получаем разные значения (максимум 12\tfrac1221 при m=1m=1m=1, минимум −12-\tfrac12−21 при m=−1m=-1m=−1). Из этого следует, что общий предел в точке (0,0)(0,0)(0,0) не существует (путь-зависимость). 2) Доп. наблюдения и методы. - Оценка по модулю: (x2−∣y∣)2≥0⇒x4+y2≥2∣x2y∣(x^2-|y|)^2\ge0\Rightarrow x^4+y^2\ge2|x^2y|(x2−∣y∣)2≥0⇒x4+y2≥2∣x2y∣, отсюда ∣f(x,y)∣≤12|f(x,y)|\le\frac12∣f(x,y)∣≤21 (функция ограничена). - Полярные: при x=rcosθ, y=rsinθx=r\cos\theta,\ y=r\sin\thetax=rcosθ,y=rsinθ получаем f=rcos2θsinθr2cos4θ+sin2θ.
f=\frac{r\cos^2\theta\sin\theta}{r^2\cos^4\theta+\sin^2\theta}. f=r2cos4θ+sin2θrcos2θsinθ.
Для фиксированного θ\thetaθ с sinθ≠0\sin\theta\ne0sinθ=0 при r→0r\to0r→0 знаменатель стремится к sin2θ\sin^2\thetasin2θ и f→0f\to0f→0. Это согласуется с тем, что радиальные (фиксированный угол) пределы дают 0, но не охватывает кривые, где угол зависит от rrr (например y=mx2y=mx^2y=mx2), которые дают другие пределы. Вывод: общий предел lim(x,y)→(0,0)f(x,y)\lim_{(x,y)\to(0,0)}f(x,y)lim(x,y)→(0,0)f(x,y) не существует; метод поиска разных пределов по разным путям (например y=kxy=kxy=kx и y=mx2y=mx^2y=mx2) показателен.
1) Пути-примеры.
- По прямой y=kxy=kxy=kx: f(x,kx)=x2⋅kxx4+k2x2=kxx2+k2→0(x→0). f(x,kx)=\frac{x^2\cdot kx}{x^4+k^2x^2}=\frac{kx}{x^2+k^2}\to0\quad (x\to0).
f(x,kx)=x4+k2x2x2⋅kx =x2+k2kx →0(x→0). - По параболе y=mx2y=mx^2y=mx2: f(x,mx2)=x2⋅mx2x4+m2x4=m1+m2, f(x,mx^2)=\frac{x^2\cdot m x^2}{x^4+m^2x^4}=\frac{m}{1+m^2},
f(x,mx2)=x4+m2x4x2⋅mx2 =1+m2m , то есть предел равен m1+m2\dfrac{m}{1+m^2}1+m2m и зависит от параметра mmm. Для разных mmm получаем разные значения (максимум 12\tfrac1221 при m=1m=1m=1, минимум −12-\tfrac12−21 при m=−1m=-1m=−1).
Из этого следует, что общий предел в точке (0,0)(0,0)(0,0) не существует (путь-зависимость).
2) Доп. наблюдения и методы.
- Оценка по модулю: (x2−∣y∣)2≥0⇒x4+y2≥2∣x2y∣(x^2-|y|)^2\ge0\Rightarrow x^4+y^2\ge2|x^2y|(x2−∣y∣)2≥0⇒x4+y2≥2∣x2y∣, отсюда ∣f(x,y)∣≤12|f(x,y)|\le\frac12∣f(x,y)∣≤21 (функция ограничена).
- Полярные: при x=rcosθ, y=rsinθx=r\cos\theta,\ y=r\sin\thetax=rcosθ, y=rsinθ получаем f=rcos2θsinθr2cos4θ+sin2θ. f=\frac{r\cos^2\theta\sin\theta}{r^2\cos^4\theta+\sin^2\theta}.
f=r2cos4θ+sin2θrcos2θsinθ . Для фиксированного θ\thetaθ с sinθ≠0\sin\theta\ne0sinθ=0 при r→0r\to0r→0 знаменатель стремится к sin2θ\sin^2\thetasin2θ и f→0f\to0f→0. Это согласуется с тем, что радиальные (фиксированный угол) пределы дают 0, но не охватывает кривые, где угол зависит от rrr (например y=mx2y=mx^2y=mx2), которые дают другие пределы.
Вывод: общий предел lim(x,y)→(0,0)f(x,y)\lim_{(x,y)\to(0,0)}f(x,y)lim(x,y)→(0,0) f(x,y) не существует; метод поиска разных пределов по разным путям (например y=kxy=kxy=kx и y=mx2y=mx^2y=mx2) показателен.