[논문 리뷰] On a generalization of l'Hopital's rule for multivariable functions

V. V. Ivlev, И А Шилин|arXiv (Cornell University)|2014. 03. 09.

Iterative Methods for Nonlinear Equations참고 문헌 1인용 수 3

한 줄 요약

이 논문은 점에서의 1차 이상의 불확정형에 대해 라이프니츠 법칙의 다변수 일반화를 제안한다. 이는 점에서의 1차 및 2차 편미분의 행동에 기반하며, 두 함수가 점에서 0이 되는 비율의 극한이 존재하고 상수 k와 같아지기 위한 필요충분조건을 제시한다. 이 조건은 모든 1차(또는 고차) 항에서 대응하는 편미분의 비율이 동일할 때 성립하며, 이는 사전에 정해진 극한을 갖는 불확정형을 구성하는 구축 가능한 방법을 제공한다.

ABSTRACT

For students and their lecturers and instructors interested in the natural problem of a possible generalization of l'Hopital's rule for functions depending on two or more variables, we offer our approach. For instructors, we discuss the technique of constructing indeterminate forms at a given point and having a given double limit.

연구 동기 및 목표

• 표준 교재에서 다변수 함수에 대한 라이프니츠 법칙의 유사체가 부족한 문제를 해결하기 위해.
• 지정된 이중 극한을 갖는 다변수 불확정형을 체계적으로 구성하기 위한 방법을 제공하기 위해.
• 두 함수가 점에서 0이 되는 비율의 유한 극한 존재를 위한 필요충분조건을 설정하기 위해.
• 고차 미분(순서 n)을 사용하여 고전적 법칙을 고차 소멸(순서 n)으로 확장하기 위해.
• 학생과 교사들이 실용적이고 수업에 바로 적용 가능한 프레임워크를 제공함으로써 수학적 분석 교육을 지원하기 위해.

제안 방법

• 함수의 1차부터 (n−1)차 프레셰 미분이 점에서 0이 되지만 n차 미분은 0이 아니면, 그 함수를 점에서 순서 n으로 무한소라고 정의한다.
• 두 함수가 점에서 순서 n으로 소멸하면, 그 비율을 순서 n의 불확정형으로 정의한다.
• 1차의 경우, 1차 편미분 비율의 동일성에 기반한 조건을 유도한다: f_x/g_x = f_y/g_y = k.
• 고차의 경우, 2차 편미분 비율(예: f_xx/g_xx = f_xy/g_xy = ... = k)으로 조건을 확장한다.
• 비율 f/g의 점 근처에서의 점근적 행동을 분석하기 위해 1차 또는 2차 테일러 전개를 사용한다.
• 선형 또는 이차 보정 항을 추가하여 함수를 수정함으로써, 그 편미분 비율이 원하는 극한 k와 일치하도록 구체적인 예를 구성한다.

실험 결과

연구 질문

• RQ1 f와 g가 점 (x₀,y₀) 에서 0이 되는 경우, f(x,y)/g(x,y)의 극한이 성립하는 조건은 무엇인가?
• RQ2 편미분을 사용하여 라이프니츠 법칙을 다변수 함수로 일반화할 수 있는가?
• RQ3 지정된 유한 극한을 갖는 다변수 불확정형을 어떻게 구성할 수 있는가?
• RQ4 고차 편미분은 소멸하는 함수 비율의 극한을 결정하는 데 어떤 역할을 하는가?
• RQ5 함수의 점에서의 도함수를 조정하여 f/g의 극한이 주어진 상수 k와 일치하도록 보장할 수 있는 체계적인 방법이 있는가?

주요 결과

• f와 g가 모두 점에서 순서 1로 무한소일 조건 하에, lim_{(x,y)→(x₀,y₀)} f(x,y)/g(x,y)의 극한이 존재하고 k와 같아지기 위한 필요충분조건은 (x₀,y₀) 에서 f_x/g_x = f_y/g_y = k 이다.
• 고차 불확정형(순서 n > 1)의 경우, 극한이 존재하고 k와 같아지기 위한 필요충분조건은 모든 대응하는 n차 편미분 비율이 k와 동일해야 한다는 것이다.
• 이 논문은 보정 항(C₁, C₂ for 1차; C₁*, C₂*, C₃* for 2차)에 대한 명시적 공식을 제공하여, 결과 비율이 원하는 극한 k를 갖도록 함수를 수정한다.
• f(x,y) = x²y + x + y 및 g(x,y) = x²y² + xy 를 선형 항을 추가하여 수정함으로써 (1,1) 에서 극한이 2가 되는 예를 구성하였다.
• 다른 예에서는 이차 항을 추가함으로써 분자와 분모의 1차 도함수가 (1,1) 에서 0이 되지만, 극한은 여전히 2로 유지됨을 보여주어 2차 형식에 대한 법칙을 확인하였다.
• 메서드는 테일러 급수 전개를 통해 검증되었으며, 1학년 대학생 대상 수학적 분석 수업에서 적용되었다.