呂曉靜，趙向東

（天津職業(yè)技術師范大學理學院，天津 300222）

眾所周知，微分方程的學習與研究已進入計算機時代，應用數(shù)學軟件中的符號計算功能可以幫助直接求解某些常微分方程，并且還可以通過計算機繪圖生動形象地展示常微分方程解的幾何意義。Maple語言是目前數(shù)學界較為通用的數(shù)學軟件之一。在大多數(shù)的計算中，Maple不僅可以求出數(shù)值解，還可以求出解的符號式，繪出函數(shù)的二維或三維圖形。

法國數(shù)學家Clairaut在1734年得到了Clairaut方程的解法。在文獻[1]中將Clairaut方程作為一類一階隱方程進行了闡述，并且引出方程奇解的定義，給出了求奇解的p-判別曲線和c-判別曲線方法。本文在此基礎上，對Clairaut方程進行推廣，再運用參數(shù)求解的技巧推導其通解的表達式，并且指出在推廣的Clairaut方程中，不一定都有奇解，如果有的話本文也給出了奇解的表達式，更重要的是，本文針對每一種類型的方程給出了一種簡便的求解方法，通過Maple程序更全面地分析了方程及方程解的性質(zhì)。

1 第一類Clairaut型方程的Maple求解

在求解一階隱方程 F（x，y，y′）=0 中，變量 x 和 y如果僅僅以復合變量xy′-y的形式出現(xiàn)，則有如下的結論。

命題1假設二元函數(shù)f（u，v）對2個自變量u，v二階可導，如果一階微分方程形如

則方程（1）的通解可表示為：

并且方程有奇解，奇解為下列方程組的解（p為參數(shù)）。

證明利用復合函數(shù)求導的鏈式法則，對方程（1）兩端關于x求導，令y′=p

結合通解（2）得方程組（3），此時將p看做參數(shù)，通過觀察可以發(fā)現(xiàn)，方程組（3）中的第2式恰好是第1式中對參數(shù)p的導數(shù)，因此此類推廣的Clairaut方程與標準的Clairaut方程相同，方程組（3）就是原微分方程（1）的p-判別式得到的奇解。

注1：此類Clairaut型方程在文獻[2]中，對照一階隱方程的類型進行求解時，它既不屬于不顯含變量x或者變量y的類型，也不屬于那種能夠比較容易求解變量x或者變量y的類型。因此，應用Maple的程序設計進行計算很有優(yōu)勢，它很好地延續(xù)了Clairaut方程的求解思想，并且必有參數(shù)形式的奇解。

注 2：如果取 f（xy′-y，y′）=（x+a）y′-y+φ（y′）=（xy′-y）+ay′+ φ（y′）時，這里 a 為常數(shù)，φ（y′）是可微的，即為文獻[3]中的引理 1，因此本命題的結論是對文獻[3]中引理1的推廣。

例 1求解方程（x2-1）（y′）2-2xyy′+y2-1=0

解將原方程化簡整理為：

（xy′-y）2-（y′）2-1=0

取f（xy′-y，y′）=（xy′+y）2-（y′）2-1，則根據(jù)公式（2）和（3）編寫求奇解和通解的程序如下：

解的圖像源程序：

例2求解方程

解將原方程化簡整理為f（xy′-y，y′）=（xy′-y）2+y′-（y′）2，則根據(jù)公式（2）和（3）編寫求奇解和通解的程序如下：

解的圖像源程序為：

例1和例2方程的通解和奇解的圖像分別如圖1和圖2所示。

圖1 例1方程的通解和奇解

圖2 例2方程的通解和奇解

2 第二類Clairaut型方程的Maple求解

命題2假設函數(shù)φ（u）對自變量u二階可導，a為非零的常數(shù)，如果一階微分方程形如

則關于方程的解有以下2種情況：

（1）當a≠1時，有如下的參數(shù)式通解

這里（1-a）p-ab≠0，并且

式中：c為任意常數(shù)；p為參數(shù)。特別是當（1-a）pab=0時方程有特解但非奇解，表達式為：

（2）當a=1時，有如下的參數(shù)式通解

這里 b≠0，并且

式中：C為任意常數(shù)；p為參數(shù)。特別是當b=0時方程可簡化為標準的Clairaut方程。

證明利用微積分中復合函數(shù)求導的鏈式法則，對方程（4）兩端關于 x求導，且令p=y′得

從上述表達式（8）可以看出

（1）當a≠1且（1-a）p-ab≠0得到一個關于變量x、p的一階線性方程

因此，其通解為：

結合方程（4）得到方程組（5）；當（1-a）p-ab=0時，意味著，且等式（8）是成立的，并且易驗證函數(shù)

是原微分方程（4）的特解，依據(jù)文獻[2]的定理3.5.1，可驗證特解（6）不滿足方程（4）的p-判別式。所以，此函數(shù)不是原微分方程（4）的奇解。

（2）在上述表達式（8）中，令a=1得到一個關于變量x、p的一階線性方程

因此，其通解為：

結合方程（4）得到方程組（7）。綜合以上論述，命題得證。此類Clairaut型方程無奇解。

例 3求解方程 y=2x（y′+1）+（y′）2

解根據(jù)式（5）編寫求奇解和通解的程序如下：

解的圖像的源程序：

當參數(shù)p∈[-10 000，0]，任意常數(shù)C取值為-10到10之間的整數(shù)時，方程通解的圖像如圖3所示，當參數(shù)p∈[-100 000，0]時，任意常數(shù)C取值為-10到10之間的整數(shù)時，方程通解的圖像如圖4所示。從圖3和圖4可以看出，隨著p的絕對值不斷減小，通解的圖像在y軸左側(cè)，從x軸上方不斷地靠近x軸，y軸右側(cè)的圖像從x軸下方不斷靠近x軸，最終形成直線簇。

當參數(shù)p∈[0，10 000]和任意常數(shù)C取值為-10到10之間的整數(shù)時，方程通解的圖像如圖5所示，當參數(shù)p∈[0，100 000]和任意常數(shù) C取值為-10到10之間的整數(shù)時，方程通解的圖像如圖6所示。同理，從圖5和圖6也可以看出，隨著p的絕對值不斷減小，通解的圖像在y軸左側(cè)，從x軸下方不斷地靠近x軸，y軸右側(cè)的圖像從 x軸上方不斷靠近 x軸，最終形成直線簇。

綜合以上情況可以看到，求解此類推廣的Clairaut型方程時，借助Maple可以很好地理解為何此類方程沒有奇解。

圖3 例3方程的通解（參數(shù)p∈[-10 000，0]）

圖4 例3方程的通解（參數(shù)p∈[-100 000，0]）

圖5 例3方程的通解（參數(shù)p∈[0，10 000]）

圖6 例3方程的通解（參數(shù)p∈[0，100 000]）

3 第三類Clairaut型方程的Maple求解

命題3假設一元函數(shù)φ（u）對自變量u二階可導，ab均為常數(shù)且a≠0，n為正整數(shù)且n≠0，1，如果一階微分方程形如

則方程有參數(shù)式通解：

c為任意常數(shù)；p為參數(shù)。

注3：此命題的證明方法與命題2相同，不同的是最后在n＝2時求解一個關于變量x、p一階線性方程；在n≠2時求解一個關于變量x、p的Bernoulli方程。

例 4求解方程 y=xy′+x2（2（y′）2+1）

解根據(jù)式（10）編寫與例1相同的程序，求奇解和通解的曲線如下，參數(shù)p∈[-10，10]，任意常數(shù)c取值為-10到10之間的整數(shù)時，方程通解的圖像如圖7所示。但是，同樣的題目僅僅改變n=3時，發(fā)現(xiàn)此時通解的圖像已經(jīng)完全不一樣，如圖8所示?？梢?，這一項在方程中起著至關重要的作用，而且從圖形中也比較容易看出此類方程沒有奇解。

圖7 例4方程的通解圖像（參數(shù)n=2）

圖8 例4方程的通解（參數(shù)n=3）

4 結語

借助Maple軟件求解以上3類推廣的Clairaut型方程非常便捷，同時利用Maple軟件繪出方程通解（奇解）的圖像可以進一步分析得出參數(shù)形式的通解（奇解）的特性。因此，可以看出Maple軟件在求解Clairaut型方程中的強大功能，這是單靠紙和筆求解方程所不能比擬的。

參考文獻：

［1］王高雄.常微分方程［M］.北京：高等教育出版社，2002.

［2］王鴻業(yè).常微分方程及Maple應用［M］.北京：科學出版社，2011.

［3］昌山.CLAIRAUT型方程的推廣與求解［J］.江漢大學學報，1993，10（2）：23-28.

［4］Staff of Research Education Association.Problem Solvers Differential Equations［M］.Piscataway：REA，2008.

［5］LYU X J，QIAN T，SCHULZE B W.Order filtrations of the edge algebra［J］.Pseudo-Differential Operator Applying，2015，6（3）：279-305.

［6］LYU X J，SCHULZE B W.Mellin Operators in the edge calculus［J］.Complex Analysis and Operator Theory，2016，10（5）：965-1000.

［7］LYU X J.Asymptotics in weighted corner spaces［J］.Asian-European Journal of Mathematics，2014，7（3）：1450050-1450086.

［8］CHANG D C，LYU X J，SCHULZE B W.Recent developments on pseudo-differential operators（II）［J］.Tamkang Journal of Mathematics，2015，46（3）：281-347.