王 雷 李 麗 黃紫光

（1.吉林財經大學，吉林 長春 130000； 2.吉林省醫(yī)藥中等職業(yè)學校，吉林 長春 130000）

在半導體物理中，雙極等熵可壓縮Navier-Stokes-Poisson（以下簡稱NSP）方程組有著十分重要的應用，它可以用來描述電子和空穴的輸運現象[1]。本文討論定義在半直線上的雙極等熵定常的NSP 系統：

附帶邊界條件：

并且假設：

這里電子密度ρ1、空穴密度ρ2、電子速度u1、空穴速度u2和電場E為未知函數，而p(.)代表壓力函數，服從γ律，即具體表達式為：

p(ρ)=Kργ,K＞0,γ≥1.

此外，粘性系數μ＞0，全部邊界數據均為常值。背景摻雜函數D(x)=ρ1+-ρ2+，它可以不為零。

半直線上可壓縮NSP 方程組的研究已經取得了一些進展，Hong H 等[2]和Wang L 等[3]討論了單極等熵情形的外流問題和內流問題，Duan R-J 等[4]研究了雙極等熵NSP 系統強解的整體存在性。Zhou F 等[5]給出了該強解對穩(wěn)態(tài)解的時間衰減速率。值得指出的是：上述雙極結果都是關于零摻雜情形的，其穩(wěn)態(tài)解本質上是定常的可壓縮Navier-Stokes（簡稱NS）系統的解與零電場共同構成的向量，因此無法反映重要的半導體電場效應。

1 主要結果

鑒于物理上半導體摻雜性質的重要性，本文討論非零常值摻雜情形下定常問題（1）-（2）的可解性。此時，定常的可壓縮NSP 方程組的數學結構變得更加復雜，以至于不能效仿零摻雜情形的處理方式來求解。從而不得不另尋他法：首先將其轉化成五階的自治常微分系統，接著應用穩(wěn)定流形定理，提出定常問題（1）-（2）解的存在性判據，同時給出空間衰減率。為此，我們需要按照下面步驟重構原始問題。

1.在無窮區(qū)間[x,+∞)上積分質量方程并且使用邊界條件推導出：

3.經過簡單計算，我們推導出與定常NSP 方程組等價的自治常微分系統：

為了使解具有衰減性質，我們先驗地假設：

注1：對于雙極定常外流問題即u1b,u2b＜0，在無窮遠漸近態(tài)處，當電子和空穴均為非超音速流或非亞音速流并且δ足夠小時，定常問題（1）-（2）的解存在唯一。但是，當它們一個為超音速流另一個為亞音速流時，該問題是否存在解仍是一個研究課題。

注2：對于雙極定常內流問題即u1b,u2b＞0，在無窮遠漸近態(tài)處，當電子和空穴均為亞音速流或者一個為亞音速流而另一個為音速流并且δ足夠小時，定常問題（1）-（2）的解存在唯一。但是，當它們皆為超音速流或者一個是超音速流而另一個是非超音速流時，該問題是否存在解仍是一個研究課題。

注3：我們只考慮了電子和空穴同為內流或外流的情形。對于一個內流一個外流的情形，目前不清楚：半直線上定常的NSP 系統是否可解？判據如何？解的性質怎樣？

注4：這里參數δ滿足小性假設是技術性條件還是本質要求，有待深入研究。

注5：與零摻雜情形相比，我們的穩(wěn)態(tài)解（也稱為邊界層）包含了非零電場，為數學物理中研究電場效應提供了可能性。

2 定理的證明過程

證明：先證(i)。設u+=u1b=u2b=0，將常值向量(ρ1+,ρ2+,0,0,0)帶入到定常的可壓縮NSP方程組以及邊界條件中，容易驗證：它是定常問題（1）-（2）的平凡解。

為原點處的雅克比矩陣，而非線性項的具體形式為如公式2。

顯然，F是光滑的向量值函數，并且在原點處成立F(0)=0,DF(0)=0。

設矩陣I是與矩陣A同階的單位陣，則矩陣A的特征方程為：

由零值性知，D(λ)=0 至少存在一個負根。

情形2：u+,u1b,u2b＜0,并且M1+＞1,M2+≥1 或M1+≥1,M2+＞1

由韋達定理知，代數方程D(λ)=0 的所有根之和為：

注意到u+＜0，故λ1+λ2+λ3+λ4＜0，于是，該方程必有一個具負實部根。

情形3：u+,u1b,u2b＜0,M1+=M2+=1

此時，直接求解方程：

因為集合{(M1+,M2+)│M1+＜1,M2+≤1 或M1+≤1,M2+＜1 或M1+＞1,M2+≥1 或M1+≥1,M2+＞1 或M1+=M2+=1}與集合{(M1+,M2+)│(M1+-1)(M2+-1)≥0}相等，所以事實上我們已經在(ii)的假設下嚴格證明了：常微分方程組（3）的系數矩陣A至少存在一個具負實部的特征值。這里需要指出的是：技術上之所以能夠得到如此結果，矩陣A本身的結構起到了關鍵作用。

最后，應用穩(wěn)定流形定理到等價自治系統（3）-（5），立即得到：?δ＜＜1，使得常微分系統（3）在原點處存在唯一局部穩(wěn)定流形Ws。若則定常問題（1）-（2）存在唯一光滑解使得：

其中c＞0,λ＞0 至此，定理得證。