정확미분방정식

Exact differential equation

수학에서 정확한 미분 방정식 또는 총 미분 방정식은 물리학과 공학에서 널리 사용되는 일종의 보통 미분 방정식입니다.

정의.

단순히 연결되고 열린 부분집합R2 D 연속되는 두 함수 I와 J가 주어지면, 형식의 암묵적인 1차 상미분 방정식

만약 퍼텐셜 [1][2]함수라고 불리는 연속적으로 미분 가능한 함수 F가 존재한다면 이를 정확한 미분 방정식이라고 합니다.

그리고.

정확한 방정식은 다음과 같은 형태로 제시될 수도 있습니다.

I와 J에 대한 동일한 제약 조건이 정확한 미분 방정식을 적용합니다.

"정확한 미분 방정식"의 명명법은 함수의 정확한 미분을 말합니다. F 0 1 - 1 n ){\ F에 대해 x {\ 정확한 도함수 또는도함수는 다음과 같이 제공됩니다.

F : F 에 의해 주어진

는 미분 방정식의 퍼텐셜 함수입니다.

1차 정확미분방정식

1차 정확한 미분방정식 식별

M M N M_ x N_의 함수를 R에서 연속이라 하자: < <, < < R 그러면 미분방정식

정확한 경우와 경우에만 해당됩니다.

즉, 다음과 같은 퍼텐셜 함수라고 하는 함수 (){\가 존재합니다.

그래서 일반적으로:

증명

증명은 두 부분으로 되어 있습니다.

먼저, ψ( y= ( y) 및 ψy( y) = ( y {\\ {\text{및 }}\psi \nx, y

그러면 ( ) = ψ x ( ) 및 x ( ) = ψ yx ( ){\ M_)=\ _)=\ _.

{\y}와Nx {\x}는 연속이므로, y _ y x _ 연속적이므로 동일성을 보장합니다.

증명의 두 번째 부분은ψ (){\의 구성을 포함하며 1차 정확한 미분 방정식을 푸는 절차로도 사용할 수 있습니다.() = x (){\ M_) = 함수가 있다고 가정하고, 함수ψx( )ψ ( y)= (y) = N (x, y){\\lots y 함수가 있다고 하자. 이 함수는 ψ x ( y) = M {\) = x)} {\text{ and }\text_y}(x,y) n N,y

번째 을 x {\ x 적분하는 것으로 시작합니다. 실제로는 적절한 변수에 대하여 적분이 이루어지는 한 첫 번째 방정식이나 두 번째 방정식을 적분해도 상관이 없습니다.

Q (){\ Q x = Q_}=과 같은 미분 가능한 함수입니다 h( {\y)}는 적분 상수의 역할을 하지만 단지 상수가 y {\ y의 함수입니다 M {\ M은 x {\ x{\ y이며 x x만 통합합니다.

이제 h( {\ h을(를) 수 있으며, 이는 항상ψ = N {\displaystyle \}= 임을 보여줍니다.

y y 양쪽을 구분합니다.

결과를 N N 동일하게 설정하고 h h에 대해 해결합니다.

이 방정식에서 h h(를) 하려면 오른쪽이 y y에만 의존해야 합니다.이는 x{\ x 도함수가 항상 0이므로 x{\ x 우변을 구별한다는 것을 보여줌으로써 증명할 수 있습니다.

x = }=이므로,

이제, 이것은 ( = ({\ M_)= 라고 하는 초기 가정에 기초하여 0입니다.

그러므로,

그리고 이것으로 증명이 완성됩니다.

정확한 미분 방정식의 첫 번째 순서에 대한 솔루션

양식의 정확한 미분 방정식을 우선적으로 정렬합니다.

잠재 함수ψ () \limate (의 용어로 쓸 수 있습니다.

어디에

이는ψ () 정확한 미분을 취하는 것과 같습니다.

정확한 미분 방정식에 대한 해는 다음과 같이 주어집니다.

그리고 문제는ψ (y {\\limate 을(를) 찾는 것으로 줄어듭니다.

이것은 두 식 ( {\ MN ( {\ N을(를) 통합한 다음 결과 식에 각 항을 한 번만 적고 합산하여ψ ( 을(를) 얻을 수 있습니다.

이에 대한 근거는 다음과 같습니다.부터

양쪽을 통합하면 다음과 같습니다.

그러므로,

서 Q){\ Q){\ P x = {\ Q_}=이고 = P_}=과 같이 구별 가능한 함수입니다.

이것이 참이고 양쪽이 정확히 같은 식(즉 ψ(y \y이 되려면 함수이므로 g({\ p 에 포함될 수 없으므로 p({\h 식 내에포함되어야 합니다. x(가 y {\displaystyle y이므로 x {\ x과(와) 아무 관련도 허용되지 않습니다. 비유적으로 ( {\ 안에 g (x {\)}가 포함되어야 합니다.

에르고,

f( f ( ( d (의 일부 식에 대해 위 식을 연결하면 다음을 알 수 있습니다.

( f d d 동일한 함수로 나타납니다.그러므로,

이미 보여드렸기 때문에.

그 뒤를 잇습니다

, ∫ ( ) x )dx ( {\dy}를 수행한 후 두 개의 결과식(즉 f ( {\ f,y)}일 ) 내에서 발견되는 공통 용어를 사용한 후 고유 fo인 용어를 추가함으로써 ψ ){\ 를 구성할 수 있습니다.{\ g h{\ h 중 하나의 und입니다.

2차 정미분 방정식

정확한 미분 방정식의 개념은 2차 [3]방정식으로 확장될 수 있습니다.1차 정확한 방정식으로 시작하는 것을 고려해 보십시오.

I){\ I이므로 J,y {\right)}는 두 변수의 함수이며, 다변량 함수 산출량을 암시적으로 구별합니다.

전체 파생상품을 확대하면 다음과 같은 결과가 나옵니다.

그 밖에

x{\ dx 항을 결합하면 다음을 얻을 수 있습니다.

만약 방정식이 하다면,= ∂ ∂ y {\{\ \ x}={\ \y}}. 또한( y {\right의 전체 도함수는 그것의 암시적인 dx {\ { \ dx와 같습니다. 이것은 다시 쓰여진 방정식으로 이어집니다.

자, 2차 미분방정식을 만들어 보자구요.

만약 정확한 미분방정식에 ∂ J ∂ = ∂ partialJ \partial x}={\partial I partialy}}라고 하면,

그리고.

h ( {\ h y{\ yI (){\ I 부분 도함수를 취했을 때 0으로 미분된 x{\ x 임의 함수입니다. h( {\ h 부호는 양일 수 있지만 더 많습니다.부분적으로 0으로 미분된 원래의 추가 h I 없는 적분의 결과를 I {\ h로 생각하면 직관적입니다.

다음에 만약에

{\x 부분 미분은 y y를 일정하게 하고 y{\y를 생성하지 않으므로, ∂ I {\ x{\y여야 합니다. 2차 방정식에서

f(){\ f라는 용어만이순수하게 x {\ 및 y {\}의 입니다. ∂ partialx= (y) {\ {\}=라고 합니다. ∂ I ∂ = (){\{\ \}=라고 하면,

x{\ x I{\ I 총 도함수는 암시적 보통 x{\와 동치이므로,

그렇게,

그리고.

따라서 2차 미분방정식

g(, ) = + ∂ ∂ x = J x + ∂ partial {\ g {) = {\overdx= {에만 정확하며, 아래 식을 사용하는 경우에만 정확합니다.

는 x{\ x로만 함수입니다. h( x{\h\ 임의의 상수로 계산되면 이는 I ( - ({\I\right) - h 추가되어 I() I가 됩니다. 방정식이 정확하다면,그러면 1차 정확한 방정식에 대해 일반적인 방법으로 풀 수 있는 1차 정확한 형태로 줄일 수 있습니다.

그러나 이제 최종 암시적 솔루션에서는 x{\ x h{\ h 으로부터 1 x{\}} 2차 방정식에서 예상되는 대로 두 개의 임의 상수인 {\ C_{2 항과 함께 존재합니다.

미분방정식이 주어지면

″ {\ y항을 조사하면 항상 쉽게 정확성을 확인할 수 있습니다.이 경우,x {\x}에 - x2 {\2}의 부분 도함수와 전체 도함수는 - 2 {\이므로 그 합은 - 4 이며, 이는 정확히 y {\ y 의 항입니다. 정확성을 위한 조건 중 하나가 충족되면 다음을 계산할 수 있습니다.

) = - {\ f) = 을(를) 놓으면

h {\ h 실제로 x x만의 이며 2차 미분 방정식은 정확합니다. h( = 1{\ h ( )- + 1 I(x) + . 1차 정확한 식 산출량으로 감소

x{\ x}에I( y)displaystyle x)}을) 하면 산출됩니다.

i ( y{\ i y{\y의 임의 함수입니다. y{\y}에 미분하면 와 y {\ y 항을 상관시키는 방정식을 제공합니다.

(y)= + 2 {\\right) =y +{2가 되고, 완전한 암묵적 해는

y y개의 수율을 으로 해결하는 중

고차 정확미분방정식

정확한 미분 방정식의 개념은 어떤 순서로도 확장될 수 있습니다.정확한 2차 방정식부터 시작합니다.

식은 다음과 같이 정의되는 것으로 이전에 보여졌습니다.

정확한 2차 n n번의 암시적 미분은 생성된 방정식의 형태에서 쉽게 추론할 수 있는 정확성에 대한 새로운 조건을 가진(+ {\ 미분 방정식을 생성합니다.예를 들어 위의 2차 미분 방정식을 한 번 미분하여 3차 정확한 방정식을 구하면 다음과 같은 형태가 됩니다.

어디에

그리고 서 F, {\ F x {\x, \의 함수입니다. y 2 {\ \}}}개의 항이F , dx에서 않습니다 {\,yy, 제공

따라서 3차 미분 방정식의 정확성을 위한 세 가지 조건은 다음과 같습니다. 2 x 2{\ dx 은 2 J + ∂ ∂ {\ 2 dx} + {\J \x {\ 항은 J 2+ ( ∂ x) {d^{ \ + {dpartial \ x) 합니다.

x x 구성된 함수여야 합니다.

비선형 3차 미분방정식을 고려합니다.

J ) = J)=이면, ″ ( d x + ∂ ){\ ydx 2y'y이고 y″ ( +x (displaystyle 'y) = ' ∂ {\left \ dxdisplaystyle \ x입니다.y'}를 가 됩니다. 다행히도 이것은 우리의 방정식에 나타납니다.정확성의 마지막 조건은

이것은 실제로 x x만의 함수입니다. 따라서 미분 방정식은 정확합니다.h( = + + 2 = ( ){\의 두 배를 적분하면 산출됩니다.(x 방정식을 1차 정확한 미분 방정식으로 다시 쓰면 결과가 나옵니다

(x, y) {\ Ileft(x {\ x하면 x + + 2 + ( ) = {\ \ 5} + x ++i\) = 이 됩니다.y{\ y 미분하고 1차 방정식에서 y y 의 항과 동일하게 하면 i = {\ i) =}가 i = 3{\ i. \ 2} +완전한 암묵적 해결책은

그렇다면 명시적인 해결책은

참고 항목

참고문헌

  1. ^ Wolfgang Walter (11 March 2013). Ordinary Differential Equations. Springer Science & Business Media. ISBN 978-1-4612-0601-9.
  2. ^ Vladimir A. Dobrushkin (16 December 2014). Applied Differential Equations: The Primary Course. CRC Press. ISBN 978-1-4987-2835-5.
  3. ^ Tenenbaum, Morris; Pollard, Harry (1963). "Solution of the Linear Differential Equation with Nonconstant Coefficients. Reduction of Order Method.". Ordinary Differential Equations: An Elementary Textbook for Students of Mathematics, Engineering and the Sciences. New York: Dover. pp. 248. ISBN 0-486-64940-7.

추가열람

  • 보이스, 윌리엄 E.; 디 프리마, 리처드 C. (1986).기초 미분방정식(4차)뉴욕: John Wiley & Sons, Inc.ISBN 0-471-07894-8