leeys 發表於 2017-1-5 12:57:06

處處連續而處處不可導(不可微)的函數


魏爾斯特拉斯函數[編輯]維基百科,自由的百科全書


https://upload.wikimedia.org/wikipedia/commons/thumb/6/60/WeierstrassFunction.svg/300px-WeierstrassFunction.svg.png
區間[−2, 2]上的魏爾斯特拉斯函數。這個函數具有碎形特性:某些部分會和整體自相似。


在數學中, 魏爾斯特拉斯函數(Weierstrass function)是一類處處連續而處處不可導的實值函數。魏爾斯特拉斯函數是一種無法用筆畫出任何一部分的函數,因為每一點的導數都不存在,畫的人無法知道每一點該朝哪個方向畫。魏爾斯特拉斯函數的每一點的斜率也是不存在的。魏爾斯特拉斯函數得名於十九世紀的德國數學家卡爾·魏爾斯特拉斯(Karl Theodor Wilhelm Weierstrass ; 1815–1897)。歷史上,魏爾斯特拉斯函數是一個著名的數學反例。魏爾斯特拉斯之前,數學家們對函數的連續性認識並不深刻。許多數學家認為除了少數一些特殊的點以外,連續的函數曲線在每一點上總會有斜率。魏爾斯特拉斯函數的出現說明了所謂的「病態」函數的存在性,改變了當時數學家對連續函數的看法。
目錄[隱藏]

[*]1構造
[*]2處處不可導函數的稠密性
[*]3參考資料
[*]4注釋
[*]5外部連結


構造[編輯]魏爾斯特拉斯的原作中給出的構造是:{\displaystyle f(x)=\sum _{n=0}^{\infty }a^{n}\cos(b^{n}\pi x)}https://wikimedia.org/api/rest_v1/media/math/render/svg/0cef60c1cb0011d53fc4de559ff918363a1cc9e7,其中{\displaystyle 0<a<1}https://wikimedia.org/api/rest_v1/media/math/render/svg/7cfd02fa239e3f0b03bda321fdc6f309e6b1d915,{\displaystyle b}https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3為正的奇數,使得:{\displaystyle ab>1+{\frac {3}{2}}\pi .}https://wikimedia.org/api/rest_v1/media/math/render/svg/40e0ec83fa7532956f1e3373ee94a21c548701641+{\frac{3}{2}}\pi ." style="border: none; vertical-align: -1.838ex; display: inline-block; width: 13.39ex; height: 5.176ex;">這個函數以及它處處連續而又處處不可導的證明首次出現在魏爾斯特拉斯於1872年7月18日在普魯士科學院出版的一篇論文中。證明這個函數處處連續並不困難。由於無窮級數的每一個函數項{\displaystyle a^{n}\cos(b^{n}\pi x)}https://wikimedia.org/api/rest_v1/media/math/render/svg/93b60af6bb4ab84d6c5913af46a21f6d5077106e的絕對值都小於常數{\displaystyle a^{n}}https://wikimedia.org/api/rest_v1/media/math/render/svg/2687184a7698e75db65a25bea7afd207bff3d03b,而正項級數{\displaystyle \sum _{n=0}^{\infty }a^{n}}https://wikimedia.org/api/rest_v1/media/math/render/svg/0feb67696eb985b6853fd646ded2def64201595c是收斂的。由比較審斂法可以知道原級數均勻收斂。因此,由於每一個函數項{\displaystyle a^{n}\cos(b^{n}\pi x)}https://wikimedia.org/api/rest_v1/media/math/render/svg/93b60af6bb4ab84d6c5913af46a21f6d5077106e都是{\displaystyle {\mathbb {R} }}https://wikimedia.org/api/rest_v1/media/math/render/svg/c35d4fb24ff006be5c264f4a3cf7760653a06b30上的連續函數,級數和{\displaystyle f(x)}https://wikimedia.org/api/rest_v1/media/math/render/svg/202945cce41ecebb6f643f31d119c514bec7a074也是{\displaystyle {\mathbb {R} }}https://wikimedia.org/api/rest_v1/media/math/render/svg/c35d4fb24ff006be5c264f4a3cf7760653a06b30上的連續函數。下面證明函數處處不可導:對一個給定的點{\displaystyle x\in {\mathbb {R} }}https://wikimedia.org/api/rest_v1/media/math/render/svg/1bccb227ca7564052deb4c949b4dcaef6cd3ee0a,證明的思路是找出趨於{\displaystyle x}https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4的兩組不同的數列{\displaystyle (x_{n})}https://wikimedia.org/api/rest_v1/media/math/render/svg/012f44968fa86fe5e3827e9957d957b08f2d9e42和{\displaystyle (x'_{n})}https://wikimedia.org/api/rest_v1/media/math/render/svg/b8aedcd213356051977770f6f20ecc27b8394561,使得{\displaystyle \lim \inf {\frac {f(x_{n})-f(x)}{x_{n}-x}}>\lim \sup {\frac {f(x'_{n})-f(x)}{x'_{n}-x}}.}https://wikimedia.org/api/rest_v1/media/math/render/svg/0e3839c19497aa015235d23967fdd1d6f25ed21c\lim \sup {\frac{f(x'_{n})-f(x)}{x'_{n}-x}}." style="border: none; vertical-align: -2.338ex; display: inline-block; width: 45.715ex; height: 6.176ex;">這與函數可導的定義矛盾,於是證明完畢。一般人會直覺上認為連續的函數必然是近乎可導的。即使不可導,所謂不可導的點也必然只占整體的一小部分。根據魏爾斯特拉斯在他的論文中所描述,早期的許多數學家,包括高斯,都曾經假定連續函數不可導的部分是有限或可數的。這可能是因為直觀上想像一個連續但在不可數個點上不可導的函數是很困難的事。當我們繪製函數的圖像時,總會畫出較為規則的圖形,例如滿足利普希茨條件的函數圖像。魏爾斯特拉斯函數可以被視為第一個碎形函數,儘管這個名詞當時還不存在。將魏爾斯特拉斯函數在任一點放大,所得到的局部圖都和整體圖形相似。因此,無論如何放大,函數圖像都不會顯得更加光滑,也不存在單調的區間。處處不可導函數的稠密性[編輯]分析學的成果表明,魏爾斯特拉斯函數並不是連續函數中的少數幾個特例之一。儘管它是「病態」函數的一種,但可以證明,這種病態的函數事實上不在「少數」,甚至比那些「規則」的函數「多得多」。
[*]在拓樸學意義上:在從區間射到實數上的連續函數空間C(; R)中,處處不可導的函數的集合是稠密的(關於均勻範數的拓樸)。
[*]在測度論意義上:在配備了經典維納測度γ的連續函數空間C(; R)中,至少有一處可導的函數所構成的集合的測度是0,也就是說和處處不可導的函數相比是可以「忽略」的。
參考資料[編輯]
[*]B.R. Gelbaum、J.M.H. Olmstead,《分析學的反例》(Counterexamples in Analysis), Holden Day Publisher (June 1964).
[*]Karl Weierstrass, Über continuirliche Functionen eines reellen Arguments, die für keinen Werth des letzeren einen bestimmten Differentialquotienten besitzen, Collected works; English translation: On continuous functions of a real argument that do not have a well-defined differential quotient, in: G.A. Edgar, Classics on Fractals, Addison-Wesley Publishing Company, 1993, 3-9.
[*]G.H. Hardy,《魏爾斯特拉斯不可導函數》(Weierstrass's nondifferentiable function), Trans. Amer. Math. Soc., 17(1916), 301-325.
[*]K. Falconer,《碎形的幾何》(The Geometry of Fractal Sets), Oxford (1984).
[*]Johan Thim. Continuous Nowhere Differentiable Functions. Master Thesis Lulea Univ of Technology 2003. .
注釋[編輯]
[*]^ André Brouty. Les fonctions continues sans dérivées.
[*]^ Denis Nicoletti. Properties of the Weierstrass Function in the Time and Frequency Domains (PDF).
[*]^ Cette plaie lamentable. UJF Grenoble, 2007.

外部連結[編輯]
[*](英文)MathWorld上有關外爾斯特拉斯函數的資料,介紹了一個與外爾斯特拉斯函數不一樣但同樣是處處不可導的連續函數。
[*](英文)處處不可導的連續函數
[*](英文)處處不單調的連續函數使用貝爾範疇定理的一個證明。


[*]複數平面上的外爾斯特拉斯函數以及碎形展示。


https://zh.wikipedia.org/wiki/%E9%AD%8F%E5%B0%94%E6%96%AF%E7%89%B9%E6%8B%89%E6%96%AF%E5%87%BD%E6%95%B0

頁: [1]
查看完整版本: 處處連續而處處不可導(不可微)的函數

e-mai: leeys@uTaipei.edu.tw, 以及leeys@go.uTaipei.edu.tw 電話02-23113040#1904, 或1913(系辦劉俐均)