dsolve

연립미분방정식 풀기

구문

S = dsolve(eqn)

S = dsolve(eqn,cond)

S = dsolve(___,Name,Value)

[y1,...,yN] = dsolve(___)

설명

S = dsolve(eqn)은 미분 방정식 eqn을 풉니다. eqn은 기호 방정식입니다. diff 및 ==를 사용하여 미분 방정식을 표현하십시오. 예를 들어, diff(y,x) == y는 방정식 dy/dx = y를 나타냅니다. 이러한 방정식으로 구성된 벡터로 eqn을 지정하여 연립미분방정식을 풉니다.

S = dsolve(eqn,cond)는 초기 조건 또는 경계 조건 cond를 사용하여 eqn을 풉니다.

S = dsolve(___,Name,Value)는 하나 이상의 Name,Value 쌍 인수로 지정된 추가 옵션을 사용합니다.

[y1,...,yN] = dsolve(___)는 해를 변수 y1,...,yN에 할당합니다.

예제

미분 방정식 풀기

1계 미분 방정식 $\frac{\mathit{dy}}{\mathit{dt}}=\mathit{ay}$를 풉니다.

diff를 사용하여 1계 도함수를 지정하고 ==를 사용하여 방정식을 지정합니다. 그런 다음 dsolve를 사용하여 방정식을 풉니다.

syms y(t) a
eqn = diff(y,t) == a*y;
S = dsolve(eqn)

S = $$C_1\hspace{0.17em}{\mathrm{e}}^{a\hspace{0.17em}t}$$

해는 상수를 포함합니다. 상수를 제거하려면 조건이 있는 미분 방정식 풀기 항목을 참조하십시오. 전체 워크플로는 Solve Partial Differential Equation of Tsunami Model 항목을 참조하십시오.

2계 미분 방정식 풀기

2계 미분 방정식 $\frac{{\mathit{d}}^2\mathit{y}}{{\mathit{dt}}^2}=\mathit{ay}$를 풉니다.

diff(y,t,2)를 사용하여 y의 2계 도함수를 지정하고 ==를 사용하여 방정식을 지정합니다. 그런 다음 dsolve를 사용하여 방정식을 풉니다.

syms y(t) a
eqn = diff(y,t,2) == a*y;
ySol(t) = dsolve(eqn)

ySol(t) = $$C_1\hspace{0.17em}{\mathrm{e}}^{-\sqrt{a}\hspace{0.17em}t}+C_2\hspace{0.17em}{\mathrm{e}}^{\sqrt{a}\hspace{0.17em}t}$$

조건이 있는 미분 방정식 풀기

초기 조건 $$y(0)=5$$를 사용하여 1계 미분 방정식 $\frac{\mathit{dy}}{\mathit{dt}}=\mathit{ay}$를 풉니다.

== 연산자를 사용하여 dsolve의 두 번째 입력값으로 초기 조건을 지정합니다. 조건을 지정하면 해에서 C1, C2, ...와 같은 임의의 상수가 제거됩니다.

syms y(t) a
eqn = diff(y,t) == a*y;
cond = y(0) == 5;
ySol(t) = dsolve(eqn,cond)

ySol(t) = $$5\hspace{0.17em}{\mathrm{e}}^{a\hspace{0.17em}t}$$

이제, 초기 조건 $$y(0)=b$$와 $$y^{\prime }(0)=1$$을 사용하여 2계 미분 방정식 $\frac{{\mathit{d}}^2\mathit{y}}{{\mathit{dt}}^2}={\mathit{a}}^2\mathit{y}$를 풉니다.

diff(y,t)를 Dy에 할당한 다음 Dy(0) == 1을 사용하여 두 번째 초기 조건을 지정합니다.

syms y(t) a b
eqn = diff(y,t,2) == a^2*y;
Dy = diff(y,t);
cond = [y(0)==b, Dy(0)==1];
ySol(t) = dsolve(eqn,cond)

ySol(t) = 
$$\frac{{\mathrm{e}}^{a\hspace{0.17em}t}\hspace{0.17em}\left(a\hspace{0.17em}b+1\right)}{2\hspace{0.17em}a}+\frac{{\mathrm{e}}^{-a\hspace{0.17em}t}\hspace{0.17em}\left(a\hspace{0.17em}b-1\right)}{2\hspace{0.17em}a}$$

이 2계 미분 방정식에는 두 개의 지정된 조건이 있으므로 해에서 상수가 제거됩니다. 일반적으로 해에서 상수를 제거하려면 조건 수가 방정식의 계수(order)와 같아야 합니다.

연립미분방정식 풀기

연립미분방정식을 풉니다.

$$\begin{array}{l}\frac{\mathit{dy}}{\mathit{dt}}=\mathit{z}\\ \frac{\mathit{dz}}{\mathit{dt}}=-\mathit{y}.\end{array}$$

연립방정식을 벡터로 지정합니다. dsolve는 해가 포함된 구조체를 반환합니다.

syms y(t) z(t)
eqns = [diff(y,t) == z, diff(z,t) == -y];
S = dsolve(eqns)

S = struct with fields:
    z: C2*cos(t) - C1*sin(t)
    y: C1*cos(t) + C2*sin(t)

구조체의 요소를 참조하여 해에 액세스합니다.

ySol(t) = S.y

ySol(t) = $$C_1\hspace{0.17em}\cos \left(t\right)+C_2\hspace{0.17em}\sin \left(t\right)$$

zSol(t) = S.z

zSol(t) = $$C_2\hspace{0.17em}\cos \left(t\right)-C_1\hspace{0.17em}\sin \left(t\right)$$

출력값을 함수 또는 변수에 할당하기

여러 함수의 해를 구할 때 dsolve는 기본적으로 구조체를 반환합니다. 또는 출력값을 명시적으로 벡터로 지정하여 함수 또는 변수에 해를 직접 할당할 수 있습니다. dsolve는 symvar을 사용하여 출력값을 사전순으로 정렬합니다.

연립미분방정식을 풀고 출력값을 함수에 할당합니다.

syms y(t) z(t)
eqns = [diff(y,t)==z, diff(z,t)==-y];
[ySol(t),zSol(t)] = dsolve(eqns)

ySol(t) = $$C_1\hspace{0.17em}\cos \left(t\right)+C_2\hspace{0.17em}\sin \left(t\right)$$

zSol(t) = $$C_2\hspace{0.17em}\cos \left(t\right)-C_1\hspace{0.17em}\sin \left(t\right)$$

미분 방정식의 양함수 해와 음함수 해 구하기

미분 방정식 $$\frac{\partial }{\partial t}y(t)=e^{-y(t)}+y(t)$$를 풉니다. dsolve는 상수 값을 갖는 람베르트 W 함수에 대해 양함수 해를 반환합니다.

syms y(t)
eqn = diff(y) == y+exp(-y)

eqn(t) = 
$$\frac{\partial }{\partial t}\mathrm{ }y\left(t\right)={\mathrm{e}}^{-y\left(t\right)}+y\left(t\right)$$

sol = dsolve(eqn)

sol = $${\mathrm{W}\text{<a href="matlab:doc symbolic/lambertw">lambertw</a>}}_0\left(-1\right)$$

미분 방정식의 음함수 해를 반환하려면 'Implicit' 옵션을 true로 설정하십시오. 음함수 해는 $$F(y(t))=g(t)$$ 형식을 갖습니다.

sol = dsolve(eqn,'Implicit',true)

sol = 
$$\left(\begin{array}{c}\left({\int \frac{{\mathrm{e}}^y}{y\hspace{0.17em}{\mathrm{e}}^y+1}\mathrm{ }\mathrm{d}y|}_{y=y\left(t\right)}\right)=C_1+t\\ {\mathrm{e}}^{-y\left(t\right)}\hspace{0.17em}\left({\mathrm{e}}^{y\left(t\right)}\hspace{0.17em}y\left(t\right)+1\right)=0\end{array}\right)$$

양함수 해를 구할 수 없는 경우 음함수 해 구하기

dsolve는 미분 방정식의 양함수 해를 해석적으로 구할 수 없으면 빈 기호 배열을 반환합니다. 이런 경우 ode45와 같은 MATLAB® 수치적 솔버를 사용하여 미분 방정식을 풀 수 있습니다. 자세한 내용은 수치적으로 2계 미분 방정식 풀기 항목을 참조하십시오.

syms y(x)
eqn = diff(y) == (x-exp(-x))/(y(x)+exp(y(x)));
S = dsolve(eqn)

Warning: Unable to find symbolic solution.

 
S =
 
[ empty sym ]
 

또는 'Implicit' 옵션을 true로 지정하여 미분 방정식의 음함수 해를 구해 볼 수 있습니다. 음함수 해는 $$F(y(x))=g(x)$$ 형식을 갖습니다.

S = dsolve(eqn,'Implicit',true)

S = 
$${\mathrm{e}}^{y\left(x\right)}+\frac{{y\left(x\right)}^2}{2}=C_1+{\mathrm{e}}^{-x}+\frac{x^2}{2}$$

자동 단순화 기능을 해제하여 특수 사례 포함하기

조건 $$y(a)=1$$을 사용하여 미분 방정식 $\frac{\mathit{dy}}{\mathit{dt}}=\frac{\mathit{a}}{\sqrt{\mathit{y}}}+\mathit{y}$를 풉니다. 기본적으로 dsolve는 보편적으로 정확하지는 않지만 더 간단한 해를 제공하는 단순화를 적용합니다. 자세한 내용은 알고리즘 항목을 참조하십시오.

syms a y(t)
eqn = diff(y) == a/sqrt(y) + y;
cond = y(a) == 1;
ySimplified = dsolve(eqn,cond)

ySimplified = 
$${\left({\mathrm{e}}^{\frac{3\hspace{0.17em}t}{2}-\frac{3\hspace{0.17em}a}{2}+\log \left(a+1\right)}-a\right)}^{2/3}$$

파라미터 $$a$$의 가능한 모든 값을 포함하는 해를 반환하려면 'IgnoreAnalyticConstraints'를 false로 설정하여 단순화를 해제하십시오.

yNotSimplified = dsolve(eqn,cond,'IgnoreAnalyticConstraints',false)

yNotSimplified = 
$$\begin{array}{l}\{\begin{array}{cl}\{\begin{array}{cl}\left\{{\sigma }_1\right\}& \text{ if }-\frac{\pi }{2}<{\sigma }_2\\ \left\{{\sigma }_1,-{\left(-a+{\mathrm{e}}^{\frac{3\hspace{0.17em}t}{2}-\frac{3\hspace{0.17em}a}{2}+\log \left(a+{\left(-\frac{1}{2}+{\sigma }_3\right)}^{3/2}\right)+2\hspace{0.17em}\pi \hspace{0.17em}{C}_2\hspace{0.17em}\mathrm{i}}\right)}^{2/3}\hspace{0.17em}\left(\frac{1}{2}+{\sigma }_3\right)\right\}& \text{ if }{\sigma }_2\le -\frac{\pi }{2}\end{array}& \text{ if }{C}_2\in \mathbb{Z}\\ \varnothing & \text{ if }{C}_2\notin \mathbb{Z}\end{array}\\ \\ \mathrm{where}\\ \\ \mathrm{ }{\sigma }_1={\left(-a+{\mathrm{e}}^{\frac{3\hspace{0.17em}t}{2}-\frac{3\hspace{0.17em}a}{2}+\log \left(a+1\right)+2\hspace{0.17em}\pi \hspace{0.17em}{C}_2\hspace{0.17em}\mathrm{i}}\right)}^{2/3}\\ \\ \mathrm{ }{\sigma }_2=\text{angle}\left({\mathrm{e}}^{\frac{3\hspace{0.17em}{C}_1}{2}+\frac{3\hspace{0.17em}t}{2}}-a\right)\\ \\ \mathrm{ }{\sigma }_3=\frac{\sqrt{3}\hspace{0.17em}\mathrm{i}}{2}\end{array}$$

미분 방정식의 급수해 구하기

2계 미분 방정식 $$(x^2-1{)}^2\frac{{\partial }^2}{\partial x^2}y(x)+(x+1)\frac{\partial }{\partial x}y(x)-y(x)=0$$을 풉니다. dsolve는 미평가 적분 항을 포함하는 해를 반환합니다.

syms y(x)
eqn = (x^2-1)^2*diff(y,2) + (x+1)*diff(y) - y == 0;
S = dsolve(eqn)

S = 
$$C_2\hspace{0.17em}\left(x+1\right)+C_1\hspace{0.17em}\left(x+1\right)\hspace{0.17em}\int \frac{{\mathrm{e}}^{\frac{1}{2\hspace{0.17em}\left(x-1\right)}}\hspace{0.17em}{\left(1-x\right)}^{1/4}}{{\left(x+1\right)}^{9/4}}\mathrm{ }\mathrm{d}x$$

$$x=-1$$ 주위에서 미분 방정식의 급수해를 반환하려면 'ExpansionPoint'를 -1로 설정하십시오. dsolve는 퓌죠 급수 전개에 대해 두 개의 1차 독립 해를 반환합니다.

S = dsolve(eqn,'ExpansionPoint',-1)

S = 
$$\left(\begin{array}{c}x+1\\ \frac{1}{{\left(x+1\right)}^{1/4}}-\frac{5\hspace{0.17em}{\left(x+1\right)}^{3/4}}{4}+\frac{5\hspace{0.17em}{\left(x+1\right)}^{7/4}}{48}+\frac{5\hspace{0.17em}{\left(x+1\right)}^{11/4}}{336}+\frac{115\hspace{0.17em}{\left(x+1\right)}^{15/4}}{33792}+\frac{169\hspace{0.17em}{\left(x+1\right)}^{19/4}}{184320}\end{array}\right)$$

'ExpansionPoint'를 Inf로 설정하여 전개 점 $$\infty$$ 주위에서 다른 급수해를 구합니다.

S = dsolve(eqn,'ExpansionPoint',Inf)

S = 
$$\left(\begin{array}{c}x-\frac{1}{6\hspace{0.17em}{x}^2}-\frac{1}{8\hspace{0.17em}{x}^4}\\ \frac{1}{6\hspace{0.17em}{x}^2}+\frac{1}{8\hspace{0.17em}{x}^4}+\frac{1}{90\hspace{0.17em}{x}^5}+1\end{array}\right)$$

급수 전개의 디폴트 절단 차수는 6입니다. 퓌죠 급수해에서 더 많은 항을 구하려면 'Order'를 8로 설정하십시오.

S = dsolve(eqn,'ExpansionPoint',Inf,'Order',8)

S = 
$$\left(\begin{array}{c}x-\frac{1}{6\hspace{0.17em}{x}^2}-\frac{1}{8\hspace{0.17em}{x}^4}-\frac{1}{90\hspace{0.17em}{x}^5}-\frac{37}{336\hspace{0.17em}{x}^6}\\ \frac{1}{6\hspace{0.17em}{x}^2}+\frac{1}{8\hspace{0.17em}{x}^4}+\frac{1}{90\hspace{0.17em}{x}^5}+\frac{37}{336\hspace{0.17em}{x}^6}+\frac{37}{1680\hspace{0.17em}{x}^7}+1\end{array}\right)$$

여러 단측 극한을 갖는 함수에 대한 초기 조건 지정하기

초기 조건을 지정하지 않고 미분 방정식 $\frac{\mathit{dy}}{\mathit{dx}}=\frac{1}{{\mathit{x}}^2}{\mathit{e}}^{-\frac{1}{\mathit{x}}}$를 풉니다.

syms y(x)
eqn = diff(y) == exp(-1/x)/x^2;
ySol(x) = dsolve(eqn)

ySol(x) = 
$$C_1+{\mathrm{e}}^{-\frac{1}{x}}$$

해에서 상수를 제거하려면 초기 조건 $\mathit{y}\left(0\right)=1$을 지정하십시오.

cond = y(0) == 1;
S = dsolve(eqn,cond)

S = 
$${\mathrm{e}}^{-\frac{1}{x}}+1$$

해 ySol(x)의 함수 ${\mathit{e}}^{-\frac{1}{\mathit{x}}}$는 $$x=0$$에서 서로 다른 단측 극한을 갖습니다. 함수에는 우극한 $\underset{\mathit{x}\to 0^{+}}{\lim }{\mathit{e}}^{-\frac{1}{\mathit{x}}}=0$이 있지만, 정의되지 않은 좌극한 $\underset{\mathit{x}\to 0^{-}}{\lim }{\mathit{e}}^{-\frac{1}{\mathit{x}}}=\infty$가 있습니다.

x0에서 서로 다른 단측 극한을 갖는 함수에 대해 조건 y(x0)을 지정하면 dsolve는 이 조건을 우극한 $\lim \mathit{x}\to {\mathit{x}}_0^{+}$로 취급합니다.

입력 인수

eqn — 미분 방정식 또는 연립방정식

기호 방정식 | 기호 방정식으로 구성된 벡터

미분 방정식 또는 연립방정식으로, 기호 방정식 또는 기호 방정식으로 구성된 벡터로 지정됩니다. == 연산자를 사용하여 미분 방정식을 지정하십시오. eqn이 우변이 없는 기호 표현식인 경우, 솔버는 우변을 0으로 간주하고 방정식 eqn == 0을 풉니다.

방정식에서 diff를 사용하여 미분을 나타내십시오. 예를 들어, diff(y,x)는 기호 함수 y(x)를 x에 대해 미분합니다. syms를 사용하여 기호 함수 y(x)를 만들고 dsolve를 사용하여 방정식 d2y(x)/dx2 = x*y(x)를 풉니다.

syms y(x)
S = dsolve(diff(y,x,2) == x*y)

syms y(t) z(t); S = dsolve([diff(y,t) == z, diff(z,t) == -y])와 같이 방정식으로 구성된 벡터를 사용하여 연립미분방정식을 지정하십시오. 여기서 y와 z는 기호 변수(이 경우에는 t)에 종속된 기호 함수여야 합니다. 우변은 t, y 및 z에 종속된 기호 표현식이어야 합니다. 참고로, Symbolic Math Toolbox™는 현재 복합 기호 함수, 즉 다른 기호 함수에 종속된 기호 함수를 지원하지 않습니다.

cond — 초기 조건 및 경계 조건

기호 방정식 | 기호 방정식으로 구성된 벡터

초기 조건 또는 경계 조건으로, 기호 방정식 또는 기호 방정식으로 구성된 벡터로 지정됩니다.

조건에 도함수가 포함되어 있으면 diff로 도함수를 나타냅니다. diff 호출을 변수에 할당하고 이 변수를 사용하여 조건을 지정합니다. 예제는 조건이 있는 미분 방정식 풀기 항목을 참조하십시오.

방정식으로 구성된 벡터를 사용하여 여러 조건을 지정합니다. 조건 수가 종속 변수 수보다 적으면 해에 임의의 상수 C1, C2, ...가 포함됩니다.

이름-값 인수

선택적 인수 쌍을 Name1=Value1,...,NameN=ValueN으로 지정합니다. 여기서 Name은 인수 이름이고 Value는 대응값입니다. 이름-값 인수는 다른 인수 뒤에 와야 하지만, 인수 쌍의 순서는 상관없습니다.

R2021a 이전 버전에서는 쉼표를 사용하여 각 이름과 값을 구분하고 따옴표로 Name을 묶으십시오.

예: 'IgnoreAnalyticConstraints',false는 자동 단순화를 적용하지 않습니다.

ExpansionPoint — 퓌죠 급수해의 전개 점

0 (디폴트 값) | 숫자 | 기호 숫자 | 기호 변수 | 기호 함수 | 기호 표현식

퓌죠 급수해의 전개 점으로, 숫자, 기호 숫자, 기호 변수, 기호 함수 또는 기호 표현식으로 지정됩니다. 이 옵션을 지정하면 퓌죠 급수(음의 지수 및 분수 지수를 허용하는 멱급수)에 대해 미분 방정식의 해가 반환됩니다. 전개 점은 급수 변수에 종속될 수 없습니다. 예제는 미분 방정식의 급수해 구하기 항목을 참조하십시오.

데이터형: single | double | sym
복소수 지원 여부: 예

IgnoreAnalyticConstraints — 자동 단순화 사용 옵션

true (디폴트 값) | false

자동 단순화 사용 옵션으로, true 또는 false로 지정됩니다.

기본적으로 솔버는 미분 방정식을 푸는 동안 단순화를 적용합니다. 이로 인해 일반적으로 유효하지 않은 결과가 나올 수 있습니다. 즉, 이 옵션은 편의적인 수학적 항등식을 적용하지만 그 적용 결과는 변수의 모든 가능한 값에 대해 성립하지 않을 수 있습니다. 따라서 기본적으로 솔버는 결과의 완전성을 보장하지 않습니다. 'IgnoreAnalyticConstraints'가 true인 경우, 항상 dsolve 함수에서 반환된 결과를 확인하십시오. 자세한 내용은 알고리즘 항목을 참조하십시오.

이러한 단순화 처리 없이 상미분 방정식을 풀려면 'IgnoreAnalyticConstraints'를 false로 설정하십시오. 'IgnoreAnalyticConstraints'를 false로 설정하여 얻은 결과는 모든 인수 값에 대해 정확합니다. 특정 방정식의 경우 'IgnoreAnalyticConstraints'를 false로 설정하면 dsolve가 양함수 해를 반환하지 않을 수 있습니다.

Implicit — 음함수 해를 반환하는 옵션

false (디폴트 값) | true

음함수 해를 반환하는 옵션으로, false 또는 true로 지정됩니다. 변수 x 및 y(x)를 갖는 미분 방정식의 경우 음함수 해는 F(y(x)) = g(x) 형식을 갖습니다.

기본적으로 솔버는 미분 방정식을 풀 때 양함수 해 y(x) = f(x)를 해석적으로 구하려고 시도합니다. dsolve가 양함수 해를 구할 수 없는 경우에는 'Implicit' 옵션을 true로 지정하여 음함수 형식의 해를 구해 볼 수 있습니다.

MaxDegree — 솔버가 명시적 식을 사용할 다항 방정식의 최대 차수

2 (디폴트 값) | 5보다 작은 양의 정수

솔버가 명시적 식을 사용할 다항 방정식의 최대 차수로, 5보다 작은 양의 정수로 지정됩니다. dsolve는 'MaxDegree'보다 차수가 큰 다항 방정식을 풀 때 명시적 식을 사용하지 않습니다.

Order — 퓌죠 급수해의 절단 차수

0 (디폴트 값) | 양의 정수 | 양의 기호 정수

퓌죠 급수해의 절단 차수로, 양의 정수 또는 양의 기호 정수로 지정됩니다. 이 옵션을 지정하면 퓌죠 급수(음의 지수 및 분수 지수를 허용하는 멱급수)에 대해 미분 방정식의 해가 반환됩니다. 절단 차수 n은 O항 즉, $$O({\mathrm{var}}^n)$$ 또는 $$O({\mathrm{var}}^{-n})$$의 지수입니다.

출력 인수

S — 미분 방정식의 해

기호 표현식 | 기호 표현식으로 구성된 벡터

미분 방정식의 해로, 기호 표현식 또는 기호 표현식으로 구성된 벡터로 반환됩니다. S의 크기는 해의 숫자입니다.

y1,...,yN — 미분 방정식의 해를 저장하는 변수

기호 변수로 구성된 벡터

미분 방정식의 해를 저장하는 변수로, 기호 변수로 구성된 벡터로 반환됩니다. 출력 변수의 수는 연립방정식의 종속 변수 수와 같아야 합니다. dsolve는 종속 변수를 사전순으로 정렬한 후 변수에 대한 해를 출력 변수 또는 기호 배열에 할당합니다.

팁

• dsolve에서 양함수 해 또는 음함수 해를 구할 수 없는 경우 경고가 발생하고 빈 sym이 반환됩니다. 이 경우 MATLAB^® ode23 또는 ode45 함수를 사용하여 수치적 해를 구해 보십시오. 때로 출력값은 동치의 저계 미분 방정식 또는 적분이 됩니다.

• dsolve는 'IgnoreAnalyticConstraints'가 false인 경우에도 항상 완전해를 반환하는 것은 아닙니다.

• dsolve가 x0에서 서로 다른 단측 극한을 갖는 함수를 반환하고 사용자가 조건 y(x0)을 지정할 경우, dsolve는 이 조건을 우극한 $$\lim x\to x_0^{+}$$로 취급합니다.

알고리즘

'IgnoreAnalyticConstraints'를 false로 설정하지 않으면 방정식을 풀 때 dsolve에서 다음 규칙 중 일부를 적용합니다.

• a 및 b의 모든 값에 대해 log(a) + log(b) = log(a·b). 특히, a, b 및 c의 모든 값에 대해 다음 등식이 적용됩니다.

  (a·b)^c = a^c·b^c.

• a 및 b의 모든 값에 대해 log(a^b) = b·log(a). 특히, a, b 및 c의 모든 값에 대해 다음 등식이 적용됩니다.

  (a^b)^c = a^b·c.

• f 및 g가 표준 수학 함수이고 모든 작은 양수에 대해 f(g(x)) = x인 경우 f(g(x)) = x가 모든 복소수 x에 대해 유효한 것으로 간주됩니다. 구체적으로 살펴보면,

  • log(e^x) = x

  • asin(sin(x)) = x, acos(cos(x)) = x, atan(tan(x)) = x

  • asinh(sinh(x)) = x, acosh(cosh(x)) = x, atanh(tanh(x)) = x

  • 람베르트 W 함수의 모든 분지(branch) 인덱스 k에 대해 W_k(x·e^x) = x.

• 솔버는 방정식의 양변에 0을 제외한 모든 표현식을 곱할 수 있습니다.

• 다항 방정식의 해는 완전해여야 합니다.

버전 내역

R2006a 이전에 개발됨

R2020a: 음함수 형식 또는 잘린 급수 전개로 미분 방정식의 해 반환하기

dsolve를 사용하는 경우:

• 'Implicit' 이름-값 쌍을 사용하여 미분 방정식의 음함수 해를 반환합니다.

• 'ExpansionPoint' 및 'Order' 이름-값 쌍을 사용하여 미분 방정식의 퓌죠 급수해의 전개 점과 절단 차수를 지정합니다.

R2019b: dsolve는 더 이상 문자형 벡터 또는 string형 입력값을 지원하지 않음

dsolve는 향후 릴리스에서 방정식을 string형 또는 문자형 벡터로 받지 않을 예정입니다. 대신, 기호 표현식 또는 sym 객체를 사용하여 미분 방정식을 정의하십시오. 예를 들어, dsolve('Dy = exp(y)')와 같은 입력값을 syms y(t); dsolve(diff(y,t) == exp(y))로 바꾸십시오.

참고 항목

functionalDerivative | isolate | linsolve | ode23 | ode45 | odeToVectorField | solve | syms | vpasolve

도움말 항목

• 미분 방정식 풀기
• 연립미분방정식 풀기

외부 웹사이트

• Beam Bending and Deflection(MathWorks Teaching Resources)