1. 首頁 > 生活經驗 > >

狄利克雷 勒貝格積分 狄利克雷函數勒貝格可積嗎

知識經驗


狄利克雷 勒貝格積分 狄利克雷函數勒貝格可積嗎

文章插圖
大家好,小跳來為大家解答以上的問題 。狄利克雷函數勒貝格可積嗎 ， 狄利克雷 勒貝格積分這個很多人還不知道,現在讓我們一起來看看吧！
1、高維空間中低維點集的測度及低維點集上的積分理論 。
2、20世紀初測度論的建立，使得人們對Rn中的子集關于n維勒貝格測度μn的行為有了很好的了解 。
3、大部分函數論由于勒貝格積分論而產生了巨大變化 。
4、但是在處理與Rn中低維點集有關的數學問題時遇到了困難 。
5、例如著名的普拉托問題 ， 在二維曲面時尚可以結合共形變換和狄利克雷原理巧妙地應用勒貝格方法而解決 。
6、而在曲面的維數超出2時,這些經典的方法就失敗了 。
7、幾何測度論正是在這種背景下產生 。
8、它始于1914年C.卡拉西奧多里關于測度論的基礎性工作，經過幾十年的發展 ， 熔合了來自分析、幾何、代數拓撲中的許多技巧 ， 產生了許多新的概念，成為數學研究的一個有力工具 。
9、豪斯多夫測度與可求積集合在卡拉西奧多里的工作出現以后的開始20～30年內，大部分的興趣在于了解Rn中的子集關于m 維豪斯多夫測度, 積分幾何測度等各類測度的行為 。
10、對于A嶅Rn,0≤k<∞,δ>0,定義A的k維豪斯多夫測度（簡稱hk測度）為，式中 。
11、hk測度是Rn中的一個博雷爾正則測度 。
12、又定義inf{k:hk(A)=0}為A的豪斯多夫維數,簡稱h 維數 。
13、當k=n時，hn(A)=μn(A)，n=0時h0(A)為A的元素個數 。
14、0和n中間每個數均可出現為Rn中某個子集的h 維數 。
15、例如康托爾集的h 維數為ln2/ln3 。
16、設A的hk測度有限, 在k>0時,若存在Rk中某個有界子集到 A的李普希茨映射（即二點距離的增長比受到某個正常數控制的映射）,那就稱A為k可求積集（k=0時為有限集，也稱可求積集） 。
17、如果A除了一個hk測度為0的子集外,為可列個k可求積集合覆蓋,就稱A為(hk,k)可求積集 。
18、集合的可求積性質是一階光滑流形的某種推廣 。
19、事實上,A為(hk,k)可求積集合的充要條件是：除了一個hk測度為0的子集外,它可由Rn中可列個C1類k維子流形所覆蓋 。
20、可求積集合的這種描述使得對于它的構造的研究，特別是它的射影性質的研究成為幾何測度論的重要內容 。
21、在A不含有hk測度大于0的k可求積子集時,稱A為純粹(hk,k)不可求積集合 。
22、設p:Rn→Rk為正交射影,即保持內積不變的線性映射 。
23、其共軛記為p*,它的全體記為(n,k),正交群O(n)=O(n,n)通過右乘可遞地作用在(n, k)上 。
24、這個運算在(n,k)上誘導出惟一的不變測度θ*,使得空間(n,k)關于θ*的全測度等于1，那么當A為(hk,k)可求積集合時，成立式中 。
25、上式右邊即為A的積分幾何測度I，它先在A與n-k維仿射子空間p-1(y)的交集上積分，然后讓p取遍所有正交射影 。
26、因此這個式子反應了 (hk，k)可求積集合的射影性質 。
27、這是求平面曲線長度的克羅夫頓方法的推廣，也類似于柯西尋求凸體周界面積的方法 。
28、另一方面, 對于hk測度有限的任何博雷爾集B，總存在博雷爾子集C嶅B,使得，,且(BC為純粹(hk,k)不可求積 。
29、進一步,成立,當且僅當B為(hk,k)可求積 。
30、以上這些結果首先為A.S.貝斯爾科里奇對平面上的h1測度得到 。
31、1947年，H.費德雷爾證明了一般情形 。
32、在幾何測度論發展早期就知道，對于Rn中每個勒貝格可測集W以及Rn到Rk的李普希茨映射? ， 有面積公式，式中Jk?(x)為?的雅可比式 。
33、在?為一一時 ， 右邊的積分就等于hk(?(W)),因此對于n可求積集合,它的hn測度就等于微分幾何中的 n維體積 。
34、利用映射在一點“近似可微”這個概念, 可以將這個公式推廣到Rn中的(hk,k)可求積集合 。
35、但在?(W )的h 維數小于n時 ， 公式反映的信息很少 。
36、1957年，費德雷爾證明：對每個李普希茨映射,及每個μn可測集W 成立余面積公式：。
37、面積公式與余面積公式分別應用于目標空間的維數至少為n與至多為n的情形 。
38、因此可將它們看成是對偶的公式 ， 余面積公式也已被推廣到(hk,k)可求積集合的情形 。
39、這些公式的研究使得人們了解到 ， 關于可微映射的積分變換的本質上的假定在于對這個映射的雅可比式秩的限制 。
40、密度密度與近似切錐是描述一個測度局部行為的兩個重要概念 。
41、對于拉東測度v，以α為心,r為半徑的球關于v的測度與的比值 ， 在r→0時的上極限與下極限分別稱為測度v在α點的k維上密度與k維下密度 。
42、二者相等時就稱為k維密度 k(v,α) 。
43、利用上密度可以定義集合的近似切錐，它何時成為向量空間與該集合的可求積性質和射影性質有著深刻的聯系 。
44、利用密度定義的另一個重要概念是集合在一點的外法線 。
45、當集合有光滑邊界時，這個概念非常直觀，在一般情形相當復雜 。
46、給定點集Q，如下定義新的測度у墯Q:集合G關于у墯Q 的測度у墯Q(G)=у(Q∩G) 。
47、集合A在一點b的外法線是如下確定的一個單位向量u=n(A，b),當Q1為過b點且以u為法向的超平面圍成的半空間(x-b)·u>0時，,Q2為另一半空間(x-b)·u<0時, 。
48、這個概念只含有點集A關于μn的測度論行為，而不用預先知道A的拓撲結構,甚至邊界的概念也未提到 。
49、這樣可塑的概念使高斯-格林公式推廣到相當一般的程度:設集合A嶅Rn,令, 。
50、如果對每個緊集,那么對Rn上有緊集的每個李普希茨一階向量場ξ，成立。
51、另一方面 ， 若以BdryA記A的普通邊界，那么在對Rn的每個緊集K，都有時,上述條件滿足 ， 從而推廣的高斯-格林公式也成立 。
52、整流長期以來，人們就尋求著n維空間中“k維積分區域”的分析與拓撲的描述 。
53、這個概念應該保留微分流形的光滑性與整系數多面體鏈的組合性質所帶來的好處，同時為滿足變分的需要，這類區域應具有某種緊致性質 。
54、“整流”正是為這樣的需要而產生 。
55、設U 為Rn中的開集，以m(U)記緊支集落在U內的m 階光滑微分形式全體 。
56、m(U)上的線性泛函稱為m維流,其全體記為m(U) 。
57、流S ∈m(U)的支集sptS理解為U內的最小相對緊子集C, 使得對一切滿足 sptφCUC的 φ∈m(U ), 有S(φ)=0 。
58、流這個概念是由法國數學家G.-W.德·拉姆為研究霍奇理論而引入的 。
59、由于一個曲面決定于對定義在它上面的任意 m階光滑微分形式的積分運算 。
60、因此m 維幾何曲面可以分析地表示成一個流 。
61、特別地,由點α0,α1,…,αm生成的單純形若落在U內,那么它也代表一個流 。
【狄利克雷 勒貝格積分 狄利克雷函數勒貝格可積嗎】62、這種流的整系數線性組合，稱為U中的一個整系數多面體鏈 。
63、如果一個流可以用整系數多面體鏈關于李普希茨映射的像來逼近，就稱它為可求積流 。
64、利用邊緣算子д可以構成新的流дS,定義為дS(φ)=S(dφ) 。
65、這里d為外微分運算，如果S與дS均為可求積流,就稱S為整流 。
66、例如每個一維整流是總長度小于∞的有限多條單弧與可數條單閉弧的和 。
67、Rn 中的每個n維整流可表示成,其中e1,e2,…,en為Rn的切空間的標準基，A為使得推廣的高斯-格林公式成立的勒貝格可測集 。
68、當1 70、正是這一點形成了變分學中新的幾何方法 。
71、如果流S可以表示成R+дT，R和T都是可求積流,就稱S為整平坦鏈 。
72、利用邊緣算子可以建立這類流的同調理論 。
73、它與局部李普希茨范疇內的、整系數的經典奇異同調論同構 。
74、但對于積分問題，相交理論等，這種鏈群明顯地優于奇異鏈群 。
75、因為與奇異鏈不一樣 ， 一條平坦鏈與其分刈等同,這就簡化了循環的構造,并得到較好的實系數上循環 。
76、不僅如此，還發現所謂的等周不等式不僅對經典的微分幾何中某些特殊情形成立，而且對這種同調論有類似估計 ， 這就將代數拓撲與測度論聯系起來了 。
77、可以用流的理論來研究普拉托問題，存在性定理表明極小曲面總是一個m維局部可求積流，即這樣的流S∈m(U),對每個x∈U，總存在緊支集在U內的可求積流R，使x媂spt(S-R) 。
78、曲面的光滑性問題就是sptS的光滑性問題 。
79、若α∈sptS存在領域V嶅Rn,使V∩sptS為C2類m維子流形,就稱α為正則點，否則就稱奇點 。
80、由于幾何測度論的發展,使高維普拉托問題取得重大進展 。
81、當m ≤6時極小曲面是光滑的,在m≥7時奇點集的h 維數不超過m-7 。
82、類似于局部可求積流，可以定義局部整流，局部整平坦流 。
83、后者與流形上分析中的實解析子簇與復解析子簇有十分密切的關系 。
84、弱可微函數又稱有界變差函數 。
85、Rn上光滑函數的可微性可以用這樣的方法來刻畫：對于Rn上有緊支集的李普希茨向量場ξ，成立，但是右邊的積分并不一定要求?光滑,僅要求?局部μn可積 。
86、因此ξ(x)的這個線性泛函可以看成 ? 的測度論意義下的弱微分，只要它滿足里斯表示定理的有界性假定 。
87、這種? 稱作弱可微函數 。
88、開集上的弱可微函數全體記為BV(),則BV()按范數形成巴拿赫空間 。
89、弱可微函數曾在各種場合下出現，首先在勒貝格面積論，而后在偏微分方程論中，特別地，它是極小曲面的理論中的有力工具 。
本文到此分享完畢 ， 希望對大家有所幫助 。