古典函數概念的推廣。關於廣義函數的研究構成瞭泛函分析中有著廣泛應用的一個重要分支。歷史上第一個廣義函數是由物理學傢 P.A.M.狄喇克引進的,他因為陳述量子力學中某些量的關係時需要引入瞭“函數”δ(x):當x≠0時,δ(x)=0,但
![](/img3/5444.gif)
在廣義函數理論的形成過程中有重要影響的有:J.(-S.)阿達馬(1932)在研究波動方程基本解時使用瞭發散積分的有限部分。С.Л.索伯列夫(1936)在研究雙曲型方程的柯西問題時用分部積分引入瞭廣義導數和微分方程廣義解的概念,並把函數δ及其導數δ′等視為某個函數空間上的線性泛函;他對廣義函數論的建立邁出瞭決定性的一步。S.博赫納(1932)和T.卡萊曼(1944)討論瞭冪增長函數的傅裡葉變換,提出瞭連續函數的形式導數概念。
當然為那些怪函數建立嚴格數學基礎的方法並不是惟一的,例如波蘭學者J.米庫辛斯基就曾用較初等的方法建立它們的基礎。也有把廣義函數看作解析函數的邊界值,並由此發展出超函數理論。換句話說,廣義函數的定義並不完全統一,而是具有一定程度的靈活性,可以根據問題的需要適當地定出相應的廣義函數類。
基本函數空間和廣義函數空間 泛函分析觀念下的廣義函數理論的核心是把廣義函數看成某個函數空間上的連續線性泛函,即先選取某些性質很好的函數組成的線性空間,再在其中給出適當的收斂概念,這樣的函數空間就稱為基本函數空間,又稱為測試函數空間,而其中每個函數稱為基本函數或測試函數。相應於基個基本空間上的連續線性泛函就稱為該基本空間上的廣義函數。廣義函數全體就稱為相應於基本空間的廣義函數空間。常用的基本空間有K空間和S空間。
基本函數空間K 設φ(x)是定義在n維歐幾裡得空間Rn上的復值函數,用Sφ表示集{x|φ(x)≠0}的閉包,稱為φ(x)的支集。對任意n個非負整數p1,p2,…,pn。記
![](/img3/5445.gif)
![](/img3/5446.gif)
![](/img3/5447.gif)
![](/img3/5448.gif)
![](/img3/5449.gif)
![](/img3/5450.gif)
設K是Rn上無限次可微而且支集有界的復函數全體,K按通常函數的線性運算成為復線性空間。在K上引進極限概念如下:設{φn}⊂K,φ∈K,如果滿足①對於函數列{φn}存在有界區域Ω,使所有函數φn在Ω外為0,即S拻⊂Ω,②對每個
![](/img3/5451.gif)
![](/img3/5452.gif)
K空間上的廣義函數 設f是定義在K空間上的復值函數,如果f(φ)是K上連續線性泛函,即滿足①(線性)對任意φ1,φ2∈K,復數
![](/img3/5453.gif)
![](/img3/5454.gif)
![](/img3/5452.gif)
![](/img3/5455.gif)
K上廣義函數的例子 ①設f(x)是Rn上的可測函數,如果在每個有界閉立方體上勒貝格可積,則稱為局部可積函數,其全體記為l*。在l*中幾乎處處相等的函數看作相同。對每個f∈l*,令
![](/img3/5456.gif)
② 由下式定義的泛函
![](/img3/5457.gif)
③ 設μ是Rn中波萊爾可測集上的復值的可列可加集函數,並且在每個緊集上測度有限,由
![](/img3/5458.gif)
④ 單變量函數
![](/img3/5459.gif)
![](/img3/5460.gif)
![](/img3/5461.gif)
K′上的拓撲 在K′上可如下引進序列收斂概念。設{Fn}⊂K′,F∈K′,如果對每個φ∈K有
![](/img3/5462.gif)
![](/img3/5463.gif)
廣義函數的支集 對於廣義函數一般說來在某一點的值是沒有意義的。例如不能講廣義函數F在x0點為0,但可以說廣義函數F在某鄰域(開集)U中為0,它的意思是,對每個支集在U中的基本函數φ,<F,φ>=0,記為F|U=0。並集 ∪{U|F|U=0}的餘集SF稱為廣義函數F的支集。一般地,例①中f(x)如果是連續函數,那麼它的支集和Tf的支集
![](/img3/5464.gif)
K上廣義函數的導函數和原函數 當F是K空間上的廣義函數時,顯然
![](/img3/5465.gif)
![](/img3/5466.gif)
![](/img3/5467.gif)
![](/img3/5468.gif)
![](/img3/5469.gif)
廣義函數也可定義原函數或不定積分。設F是單實變量的K空間上廣義函數,如果廣義函數G滿足
![](/img3/5470.gif)
K上廣義函數的構造 利用廣義函數的導數概念可以給出一類廣義函數的結構。下述定理表明K上每個廣義函數局部地是一個有界函數的導函數。
K空間上廣義函數的局部構造定理:設F∈K′,w是Rn中有界開集,則F在w上等於一個具有有界支集的連續函數的導函數。
特別,每一個具有有界支集的廣義函數F∈K′必能表示為
![](/img3/5471.gif)
![](/img3/5472.gif)
![](/img3/5473.gif)
K上廣義函數的傅裡葉變換 設
![](/img3/5474.gif)
![](/img3/5475.gif)
![](/img3/5476.gif)
![](/img3/5477.gif)
![](/img3/5478.gif)
![](/img3/5476.gif)
設f∈K′,作Z上連續線性泛函F(f)
![](/img3/5479.gif)
![](/img3/5480.gif)
對一元廣義函數,常用的傅裡葉變換列表如下:
廣義函數![](/img3/5481.jpg)
基本空間S和S上的廣義函數空間S′ 設φ(x)是Rn上的無限次可微函數,如果對於任一自然數r和
![](/img3/5482.gif)
![](/img3/5483.gif)
![](/img3/5484.gif)
考慮S空間上的廣義函數的好處是對於f∈S′,它的傅裡葉變換F(f)仍是屬於S′的緩增廣義函數,這就給討論帶來很大方便。因此在不少應用場合多采用S空間的廣義函數。
廣義函數的直積 又稱張量積。設x,y是Rn和Rm中的點,K(Rn),K(Rm)分別表示其上K空間。f∈K′(Rn),g∈K′(Rm)那麼存在一個且僅有一個Rn×Rm上的廣義函數,記為f圱g,它由下式定義:
![](/img3/5485.gif)
![](/img3/5486.gif)
![](/img3/5487.gif)
![](/img3/5488.gif)
![](/img3/5489.gif)
廣義函數的卷積 設f,g∈K′,其中至少有一個支集有界,則可定義K上廣義函數
![](/img3/5490.gif)
![](/img3/5491.gif)
![](/img3/5492.gif)
![](/img3/5493.gif)
![](/img3/5494.gif)
![](/img3/5495.gif)
![](/img3/5496.gif)
廣義函數和С∞類函數的乘積 設f∈K′,α∈
![](/img3/5497.gif)
![](/img3/5497.gif)
<αf,φ>=<f,αφ>(φ∈K),
稱為 α和 f的乘積,並稱 α為 K′上乘子。當 f∈ l *時,它和通常函數乘積相一致。記OM(Rn)為滿足下述條件的所有
![](/img3/5498.gif)
![](/img3/5499.gif)
![](/img3/5500.gif)
稱OM為在無限遠點處緩增的無限次可微函數空間。OM是緩增廣義函數S′的乘子空間。
如果f∈S′,φ ∈OM,定義乘積φf為
![](/img3/5501.gif)
但是一般地定義兩個廣義函數的乘積是困難的。例如兩個局部可積函數的乘積就不一定是局部可積的,於是就不一定能確定為廣義函數。
基本解 作為應用,廣義函數論特別是它的傅裡葉變換理論可有效的用來研究偏微分方程的求解問題。
設P(D)是Rn上常系數線性偏微分算子,如果能找到一個廣義函數f,使得P(D)f=δ,那麼稱f為P(D)的基本解或方程P(D)f=0的基本解。
如果f是P(D)的基本解,那麼對於一般的非齊次方程
P(D)u=μ,
它的解為 u= f* μ,這裡 μ∈ K′,且假定 f* μ是有意義的。事實上如 f* μ存在的話,則由卷積的性質知 P( D)( f* μ)= P( D) f* μ= δ* μ= μ。這樣,基本解就可以起到構造其他解的作用。也可以利用它來討論微分方程其他解的性質。下面是基本解的存在定理:設 P為一 n元多項式,那麼必存在常系數偏微分方程 P( D) f=δ的基本解 f∈ K′,而且這時可取 f,使得F( f)是解析泛函。亥維賽函數θ(x)是
![](/img3/5502.gif)
此外,還可以考慮柯西問題基本解的概念。例如,稱適合熱傳導方程
![](/img3/5503.gif)
![](/img3/5504.gif)
![](/img3/5505.gif)
對變系數偏微分方程的研究,廣義函數也同樣起著很重要的作用。