Skip to main content
微積分計算器指南

微分方程計算器逐步求解:方法、範例和解法

·16 min read·Solvify Team

微分方程計算器逐步求解將微積分最強大的工具之一分解為易於管理的步驟——不僅展示答案,還展示每個代數和積分步驟背後的推理。微分方程無處不在:人口增長模型、牛頓冷卻定律、質量-彈簧系統和電路分析都可以歸結為求解將函數與其本身導數相關的方程。本指南涵蓋您最常見的三種方程類型——可分離方程、一階線性方程和常係數二階方程——包含完全展開的範例、常見錯誤警告和可用於檢查理解的練習題。

什麼是微分方程,逐步計算器實際上求解什麼?

微分方程是包含未知函數及其一個或多個導數的方程。你不是像在代數中那樣求解一個數字,而是求解整個函數——其導數關係與方程相匹配的函數。 最簡單的例子:dy/dx = 2x。你要找一個函數 y(x),其導數是 2x。對兩邊積分得到 y = x² + C,其中 C 是任意常數。這個常數是微分方程產生一族解的原因——每個初始條件對應一個解。 微分方程按階數(最高導數的次數)和線性性分類: - 一階:只涉及 y 和 dy/dx(例如 dy/dx + 3y = 0) - 二階:涉及 y、dy/dx 和 d²y/dx²(例如 y'' + 4y = 0) - 線性:y 及其導數不含乘積或冪(例如 y'' - 5y' + 6y = e^x) - 非線性:出現 (y')² 或 y·y'' 等項 微分方程計算器逐步求解首先識別類型,然後選擇正確的方法。對於學生來說,知道你的方程屬於哪一類別是工作的 80% ——一旦選擇了方法,實際的代數就遵循可預測的路徑。

微分方程的解是當你找到滿足該方程的所有函數 y(x) 時——不是 x 的一個值,而是整個函數,加上由初始條件決定的常數。

微分方程計算器如何逐步工作?

無論你是手工計算還是使用計算器,求解微分方程都遵循相同的決策過程。跳過識別步驟是大多數錯誤的開始——你應用了錯誤的方法,兩頁後就陷入了困境。

1. 第 1 步 — 識別階數和線性性

查看最高導數:一個撇號 (y') 表示一階;兩個撇號 (y'') 表示二階。然後檢查線性性:如果 y 及其所有導數都只出現一次,沒有它們之間的乘積,則方程是線性的。這決定了你的方法,之後無需寫任何其他符號。

2. 第 2 步 — 對於一階方程,檢查可分離性

方程 dy/dx = f(x)·g(y) 是可分離的——你可以將所有 y 項放在一邊,所有 x 項放在另一邊。如果你可以將其寫成 dy/g(y) = f(x)dx,分離並對兩邊積分。這是最直接的方法,適用於大部分一階問題。

3. 第 3 步 — 對於不可分離的一階線性方程,使用積分因子

將方程寫成標準形式:dy/dx + P(x)y = Q(x)。計算積分因子 μ(x) = e^(∫P(x)dx)。將兩邊乘以 μ,識別左邊為 d/dx[μ·y],然後對兩邊積分。除以 μ 恢復 y(x)。

4. 第 4 步 — 對於常係數二階線性方程,寫出特徵方程

將 y = e^(rx) 代入齊次方程,得到一個關於 r 的二次(或更高次)多項式,稱為特徵方程。根的性質——兩個不同的實根、一個重根或複共軛根——決定了通解的形式。

5. 第 5 步 — 應用初始條件找到特定解

通解包含任意常數 (C、C₁、C₂ 等)。代入給定的初始值 y(x₀) = y₀ 和 y'(x₀) = y₁ 形成代數方程組。求解該系統找出每個常數。結果是問題要求的特定解。

6. 第 6 步 — 通過代入原方程進行驗證

將你的解 y(x) 微分所需的次數,然後將 y、y'、y'' 代入原方程。如果兩邊代數相等,解就得到確認。這個檢查很快,可以捕捉絕大多數符號錯誤和代數錯誤。

識別類型 → 選擇方法 → 執行 → 應用初始條件 → 驗證。微分方程計算器逐步求解遵循這個確切的序列,使得每個決策都是可見的,而不是隱藏的。

你如何逐步求解可分離微分方程?

可分離方程是每個微分方程課程的起點。它們出現在指數增長和衰減、牛頓冷卻定律和邏輯斯蒂人口模型中。該技術是積分的直接應用——一旦你分離變量,剩下的就是反導數。 已展開的例子 1 — 基本可分離方程: 求解 dy/dx = 3x²y,已知 y(0) = 2。 第 1 步:分離變量。 dy/y = 3x² dx 第 2 步:對兩邊積分。 ∫(1/y) dy = ∫3x² dx ln|y| = x³ + C₁ 第 3 步:通過指數化求解 y。 |y| = e^(x³ + C₁) = e^(C₁)·e^(x³) y = C·e^(x³) (其中 C = ±e^(C₁),吸收絕對值) 第 4 步:應用初始條件 y(0) = 2。 2 = C·e^(0) = C·1 = C 所以 C = 2。 特定解:y = 2e^(x³) ✓ 驗證:dy/dx = 2·3x²·e^(x³) = 6x²e^(x³)。而 3x²y = 3x²·2e^(x³) = 6x²e^(x³)。兩邊相符。✓ 已展開的例子 2 — 冷卻問題: 一個 80°C 的物體被放在 20°C 的房間裡。10 分鐘後溫度是 55°C。求 30 分鐘後的溫度。 牛頓冷卻定律:dT/dt = -k(T - 20),其中 T(0) = 80。 第 1 步:分離。 dT/(T - 20) = -k dt 第 2 步:積分。 ln|T - 20| = -kt + C₁ T - 20 = Ce^(-kt) T = 20 + Ce^(-kt) 第 3 步:初始條件 T(0) = 80。 80 = 20 + C → C = 60 所以 T = 20 + 60e^(-kt) 第 4 步:使用 T(10) = 55 找出 k。 55 = 20 + 60e^(-10k) 35 = 60e^(-10k) e^(-10k) = 35/60 = 7/12 -10k = ln(7/12) k = -ln(7/12)/10 ≈ 0.0539 第 5 步:在 t = 30 時找出 T。 T(30) = 20 + 60e^(-0.0539 × 30) = 20 + 60e^(-1.617) ≈ 20 + 60 × 0.1987 ≈ 20 + 11.9 ≈ 31.9°C ✓

每個可分離方程都歸結為兩個積分——一個關於 y,一個關於 x。如果你可以寫成 dy/g(y) = f(x)dx,你已經有了解結構。剩下的唯一技能是反導數。

你如何逐步求解一階線性微分方程?

當一階方程是線性但不可分離時,積分因子法將方程的左邊轉換為精確導數,使其直接可積。識別標準形式是至關重要的第一步。 標準形式:dy/dx + P(x)·y = Q(x) 積分因子:μ(x) = e^(∫P(x)dx) 將兩邊乘以 μ 後: d/dx[μ(x)·y] = μ(x)·Q(x) 對兩邊積分,然後求解 y。 已展開的例子 3 — 經典線性方程: 求解 dy/dx + (2/x)y = x²,已知 y(1) = 1。 第 1 步:識別 P(x) 和 Q(x)。 P(x) = 2/x, Q(x) = x² 第 2 步:計算積分因子。 μ(x) = e^(∫(2/x)dx) = e^(2ln|x|) = e^(ln x²) = x² 第 3 步:將兩邊乘以 μ = x²。 x²(dy/dx) + 2xy = x⁴ d/dx[x²·y] = x⁴ 第 4 步:對兩邊積分。 x²·y = ∫x⁴ dx = x⁵/5 + C 第 5 步:求解 y。 y = x³/5 + C/x² 第 6 步:應用 y(1) = 1。 1 = 1/5 + C/1 → C = 1 - 1/5 = 4/5 特定解:y = x³/5 + 4/(5x²) ✓ 驗證:微分 y = x³/5 + 4x^(-2)/5。 y' = 3x²/5 - 8x^(-3)/5 y' + (2/x)y = [3x²/5 - 8/(5x³)] + (2/x)[x³/5 + 4/(5x²)] = 3x²/5 - 8/(5x³) + 2x²/5 + 8/(5x³) = 5x²/5 = x² ✓ 已展開的例子 4 — 右邊有三角函數的方程: 求解 dy/dx - y = e^x · cos(x)。 第 1 步:P(x) = -1, Q(x) = e^x cos(x)。 第 2 步:μ(x) = e^(∫-1 dx) = e^(-x) 第 3 步:乘以並識別導數。 e^(-x)·dy/dx - e^(-x)·y = cos(x) d/dx[e^(-x)·y] = cos(x) 第 4 步:積分。 e^(-x)·y = sin(x) + C 第 5 步:求解 y。 y = e^x(sin(x) + C) = e^x·sin(x) + Ce^x ✓

積分因子 e^(∫P(x)dx) 被特別設計成使得 μ·y' + μ·Py 等於 d/dx[μ·y]。一旦你明白為什麼會這樣(這是乘積法則的反向),該方法就永遠不會令人困惑。

計算器可以處理什麼類型的二階微分方程?

具有常係數的二階線性方程是物理和工程課程中最常見的類型。微分方程計算器逐步求解識別特徵方程的根結構,並立即寫出正確的解模板。 通用形式:ay'' + by' + cy = f(x) 如果 f(x) = 0,方程是齊次的;否則它是非齊次的。 齊次情況的特徵方程:ar² + br + c = 0 情況 1 — 兩個不同的實根 (r₁ ≠ r₂): 通解:y = C₁e^(r₁x) + C₂e^(r₂x) 已展開的例子 5 — 不同的實根: 求解 y'' - 5y' + 6y = 0,y(0) = 1,y'(0) = 0。 特徵方程:r² - 5r + 6 = 0 → (r - 2)(r - 3) = 0 → r = 2, r = 3 通解:y = C₁e^(2x) + C₂e^(3x) 應用 y(0) = 1:C₁ + C₂ = 1 導數:y' = 2C₁e^(2x) + 3C₂e^(3x) 應用 y'(0) = 0:2C₁ + 3C₂ = 0 從系統:C₁ + C₂ = 1 和 2C₁ + 3C₂ = 0。 從第二個:C₁ = -3C₂/2;代入:-3C₂/2 + C₂ = 1 → -C₂/2 = 1 → C₂ = -2 C₁ = 1 - (-2) = 3 特定解:y = 3e^(2x) - 2e^(3x) ✓ 在 x = 0 進行驗證:y = 3 - 2 = 1 ✓;y' = 6 - 6 = 0 ✓ 情況 2 — 重根 (r₁ = r₂ = r): 通解:y = (C₁ + C₂x)e^(rx) 已展開的例子 6 — 重根: 求解 y'' - 4y' + 4y = 0。 特徵方程:r² - 4r + 4 = 0 → (r - 2)² = 0 → r = 2(重根) 通解:y = (C₁ + C₂x)e^(2x) ✓ 情況 3 — 複共軛根 (r = α ± βi): 通解:y = e^(αx)[C₁cos(βx) + C₂sin(βx)] 已展開的例子 7 — 複數根: 求解 y'' + 2y' + 5y = 0,y(0) = 0,y'(0) = 4。 特徵方程:r² + 2r + 5 = 0 r = [-2 ± √(4 - 20)] / 2 = [-2 ± √(-16)] / 2 = -1 ± 2i 所以 α = -1,β = 2。 通解:y = e^(-x)[C₁cos(2x) + C₂sin(2x)] 應用 y(0) = 0:e⁰[C₁·1 + C₂·0] = C₁ = 0,所以 C₁ = 0。 y = C₂e^(-x)sin(2x) y' = C₂[-e^(-x)sin(2x) + 2e^(-x)cos(2x)] = C₂e^(-x)[2cos(2x) - sin(2x)] 應用 y'(0) = 4:C₂·1·[2·1 - 0] = 2C₂ = 4 → C₂ = 2 特定解:y = 2e^(-x)sin(2x) ✓

特徵方程 ar² + br + c = 0 的判別式 b² - 4ac 告訴你一切:正數 → 不同的實根和純指數;零 → 重根和額外的 x 因子;負數 → 複根和振盪指數。

求解微分方程時最常見的錯誤是什麼?

這些錯誤在微積分 II 和 ODE 考試中一致出現。每個都足夠具體,如果你知道要尋找什麼,可以在自己的工作中捕捉到。

1. 忘記積分的常數

當對分離方程的兩邊積分時,每邊產生自己的常數。標準快捷方式是在右邊寫一個合併的常數 C。完全忽略 C 給出一個沒有自由參數的特定解——這意味著你以後無法滿足初始條件。在每個不定積分後總是寫 + C。

2. 分離變量時除以零

當你分離 dy/g(y) = f(x)dx 時,你將兩邊都除以 g(y)。如果 g(y₀) = 0 對某個 y₀,那麼 y = y₀ 是一個常數(平衡)解,分離步驟會完全遺漏。在寫最終答案前,總是檢查設置 g(y) = 0 是否產生額外的解。

3. 計算積分因子時出錯

積分因子是 μ = e^(∫P(x)dx) ——指數內沒有積分常數(它無論如何都會抵消)。最常見的錯誤是使用尚未處於標準形式的方程中的 P(x),以及在讀取 P(x) 之前忘記除以首項係數。在計算 μ 之前,總是將方程重寫為 dy/dx + P(x)y = Q(x)。

4. 使用錯誤的特徵解模板

學生經常對重根使用 y = C₁e^(r₁x) + C₂e^(r₂x)。正確的形式是 y = (C₁ + C₂x)e^(rx)。這兩個表達式不相等——C₂x 因子是必需的。如果你將錯誤的模板代回 ODE,它不會滿足方程,這是在驗證步驟中捕捉這個錯誤的快速方法。

5. 對二階方程只應用一個初始條件

二階方程有兩個任意常數,C₁ 和 C₂。你需要兩個初始條件來確定兩者——通常是 y(x₀) = a 和 y'(x₀) = b。學生有時只應用 y(x₀) = a 就停止,留下 C₂ 未確定。仔細閱讀問題:如果給定了兩個初始值,你必須使用兩者。

6. 跳過驗證步驟

將你的解代回原微分方程需要兩分鐘,並確定地確認或反駁你的答案。在考試環境中,花 90 秒進行一項可以挽救符號錯誤的檢查總是值得的。如果你的解不滿足方程,錯誤在代數步驟的某個地方——重新追蹤它們而不是猜測。

附帶完整解決方案的練習題

在閱讀解決方案之前先嘗試每個問題。問題從可分離到線性再到二階。使用微分方程計算器逐步求解在每次嘗試後驗證你的答案。 問題 1(可分離 — 指數衰減): 求解 dy/dx = -0.5y,y(0) = 10。 分離:dy/y = -0.5 dx 積分:ln|y| = -0.5x + C₁ y = Ce^(-0.5x) 應用 y(0) = 10:C = 10 解:y = 10e^(-0.5x) ✓ 檢查:dy/dx = -5e^(-0.5x);-0.5y = -0.5·10e^(-0.5x) = -5e^(-0.5x) ✓ 問題 2(可分離 — 變速率增長): 求解 dy/dx = xy,y(0) = 3。 分離:dy/y = x dx 積分:ln|y| = x²/2 + C₁ y = Ce^(x²/2) 應用 y(0) = 3:C = 3 解:y = 3e^(x²/2) ✓ 問題 3(一階線性): 求解 dy/dx + y = 2x,y(0) = 0。 P(x) = 1,Q(x) = 2x μ = e^(∫1 dx) = e^x 乘以:e^x·y' + e^x·y = 2xe^x → d/dx[e^x·y] = 2xe^x 使用分部積分法積分右邊: ∫2xe^x dx = 2xe^x - 2e^x + C = 2(x-1)e^x + C 所以 e^x·y = 2(x-1)e^x + C y = 2(x-1) + Ce^(-x) 應用 y(0) = 0:0 = 2(0-1) + C → C = 2 解:y = 2(x-1) + 2e^(-x) = 2x - 2 + 2e^(-x) ✓ 在 x = 0 進行檢查:y = 0 - 2 + 2 = 0 ✓;通過方程驗證:y' + y = (2 - 2e^(-x)) + (2x - 2 + 2e^(-x)) = 2x ✓ 問題 4(二階 — 不同的實根): 求解 y'' + y' - 6y = 0,y(0) = 4,y'(0) = 0。 特徵方程:r² + r - 6 = 0 → (r + 3)(r - 2) = 0 → r = -3,r = 2 通解:y = C₁e^(-3x) + C₂e^(2x) 應用 y(0) = 4:C₁ + C₂ = 4 y' = -3C₁e^(-3x) + 2C₂e^(2x) 應用 y'(0) = 0:-3C₁ + 2C₂ = 0 → C₂ = 3C₁/2 代入:C₁ + 3C₁/2 = 4 → 5C₁/2 = 4 → C₁ = 8/5 C₂ = 4 - 8/5 = 12/5 解:y = (8/5)e^(-3x) + (12/5)e^(2x) ✓ 問題 5(二階 — 複數根): 求解 y'' + 9y = 0。 特徵方程:r² + 9 = 0 → r² = -9 → r = ±3i α = 0,β = 3 通解:y = C₁cos(3x) + C₂sin(3x) ✓ (這描述了角頻率為 3 的簡諧運動。)

關於微分方程計算器的常見問題

1. 常微分方程和偏微分方程之間有什麼區別?

常微分方程 (ODE) 涉及一個變量的函數及其導數——本指南中的所有內容都是 ODE。偏微分方程 (PDE) 涉及兩個或多個變量的函數及其偏導數(例如熱方程 ∂u/∂t = k·∂²u/∂x²)。PDE 要困難得多,並使用分離變量、傅立葉級數和拉普拉斯變換等方法。大多數本科微積分和物理課程專注於 ODE。

2. 我總是需要初始條件來求解微分方程嗎?

不需要——沒有初始條件,你得到通解,它包含任意常數 (C、C₁、C₂)。通解描述滿足方程的所有曲線的整個族。初始條件確定你需要該族的哪個特定成員。同時指定方程和初始值的問題稱為初值問題 (IVP),在溫和的連續性條件下有一個唯一的特定解。

3. 我什麼時候應該使用拉普拉斯變換而不是上面的方法?

當右邊 f(x) 是分段函數或包含脈衝(狄拉克δ函數),或當初始條件非零且你想避免求解常數的聯立方程時,拉普拉斯變換會大放異彩。它將微分方程轉換為新變量 s 中的代數方程,你代數求解,然後應用逆拉普拉斯變換。對於具有光滑右邊的簡單方程,本指南中的方法更快。

4. 我如何驗證微分方程的解?

將你提議的解 y(x) 微分所需的次數,然後將 y、y'、y'' ... 代回原方程。如果兩邊簡化為恆等式,解是正確的。還通過代入指定的 x 值來檢查任何初始條件。對於來自例子 7 的特定解 y = 2e^(-x)sin(2x):評估 y(0) = 0 ✓,計算 y'(0) = 4 ✓——以及代入 y'' + 2y' + 5y,應該給出 0。

5. 朗斯基行列式告訴我關於兩個解什麼?

朗斯基行列式 W(y₁, y₂) = y₁y₂' - y₂y₁' 測試二階線性方程的兩個解是否形成基本集——也就是說,它們是否線性獨立並共同跨越所有解。如果 W ≠ 0 在某個區間上,通解 y = C₁y₁ + C₂y₂ 是完整的。如果 W = 0,兩個解是成比例的,不形成基——你需要不同的第二個解(通常是重根形式 xe^(rx))。

6. 逐步微分方程計算器可以幫助我檢查考試工作嗎?

可以——當用於嘗試問題後時最有效。逐行將你的步驟與計算器的輸出進行比較。如果你的最終答案相符,你已確認工作。如果答案在特定步驟分歧,那個步驟正是集中你的練習的地方。使用微分方程計算器逐步求解作為檢查工具而不是答案快捷方式,可以建立閉卷考試所需的模式識別。

標籤:
微積分計算器指南

立即獲取作業協助

與數百萬學生一起使用我們的 AI 數學解題系統。獲取數學題目的即時解答、逐步講解和全天候作業輔導。

支援 iOS 和 Android 裝置