ワイエルシュトラスのペー関数については「ヴァイエルシュトラスの楕円函数」をご覧ください。
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}

この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2012年12月）
ワイエルシュトラス関数(区間 [−2, 2])。 この関数はフラクタル挙動を示す: スケールを変えると似た構造が現れる(赤色の円)自己相似性をもつ。

ワイエルシュトラス関数（ワイエルシュトラスかんすう、英: Weierstrass function）は、1872年にカール・ワイエルシュトラスにより提示された実数関数で、連続関数であるにもかかわらず至るところ微分不可能な関数である。病的な関数（英語版）の例として取り上げられることがある。

「孤立点を除くと連続関数は微分可能である」という認識を変えた出版された初めての例として、ワイエルシュトラス関数は歴史的に重要である。
ワイエルシュトラス関数
定義

ワイエルシュトラスのオリジナル論文において、この関数は次のように定義される。 w ( x ) = ∑ n = 0 ∞ a n cos ⁡ ( b n π x ) . {\displaystyle w(x)=\sum _{n=0}^{\infty }a^{n}\cos(b^{n}\pi x).}

ここで、0 < a < 1, b は正の奇数整数。また、 a b > 1 + 3 2 π . {\displaystyle ab>1+{\frac {3}{2}}\pi .}

この定義は、微分不可能であることの証明とともに、1872年7月18日にプロイセン科学アカデミー (Konigliche Akademie der Wissenschaften) へ提出された。
ハウスドルフ次元

ハウスドルフ次元は次のとおりとなる[1]。 D H = 2 + log ⁡ a log ⁡ b {\displaystyle D_{H}=2+{\frac {\log {a}}{\log {b}}}}
スケール不変性

ワイエルシュトラス関数では和をn ≥ 0 についてのみとるため厳密にはスケール不変とはならない。 w ( b x ) = b − 1 ∑ n = 0 ∞ b n + 1 cos ⁡ ( b n + 1 π x ) = b − 1 ∑ n = − 1 ∞ b n + 1 cos ⁡ ( b n + 1 π x ) − b − 1 b 0 cos ⁡ ( b 0 π x ) = b − 1 [ w ( x ) − cos ⁡ π x ] ≠ b − 1 w ( x ) {\displaystyle {\begin{aligned}w(bx)&=b^{-1}\sum _{n=0}^{\infty }b^{n+1}\cos {(b^{n+1}\pi x)}\\&=b^{-1}\sum _{n=-1}^{\infty }b^{n+1}\cos {(b^{n+1}\pi x)}-b^{-1}b^{0}\cos(b^{0}\pi x)\\&=b^{-1}\left[w(x)-\cos \pi x\right]\\&\neq b^{-1}w(x)\end{aligned}}}

したがって、厳密な意味での自己相似性をもたない。
リプシッツ連続性

ワイエルシュトラス関数のリプシッツ定数は無限大。
ワイエルシュトラス・マンデルブロ関数

ブノワ・マンデルブロは、ワイエルシュトラス関数を一般化した次のワイエルシュトラス・マンデルブロ関数(英:Weierstrass-Mandelbrot function)を提示[2]した。
定義 W ( t ) = ∑ n = − ∞ ∞ ( 1 − e i γ n t ) e i ϕ n γ ( 2 − D ) n {\displaystyle W(t)=\sum _{n=-\infty }^{\infty }{\frac {(1-e^{i\gamma ^{n}t})e^{i\phi _{n}}}{\gamma ^{(2-D)n}}}} ,

ここで、 1 < D < 2, γ > 1 である。

これは、φ = 0として実部をとるとワイエルシュトラス関数となる。 Re ⁡ W ( t ) = ∑ n = − ∞ ∞ 1 − cos ⁡ ( γ n t ) γ ( 2 − D ) n {\displaystyle \operatorname {Re} W(t)=\sum _{n=-\infty }^{\infty }{\frac {1-\cos(\gamma ^{n}t)}{\gamma ^{(2-D)n}}}}
フラクタル次元

ハウスドルフ次元は D と考えられているが厳密な証明はなされていない。
スケール不特定の条件下でのみスケール不変となる。

ただし、φn = μn、不変となるものを離散的スケール不変性(DSI, Discrete Scale Invariance)という。
統計的性質

アンサンブル平均はゼロ ⟨ W ( t + τ ) − W ( t ) ⟩ e = 0 {\displaystyle \langle W(t+\tau )-W(t)\rangle _{e}=0}

分散はγについてのみスケール不変となる。
V ( τ ) = ⟨ W ( t + τ ) − W ( t ) ⟩ e = 2 ∑ n = − ∞ ∞ 1 − cos ⁡ ( γ n τ ) γ ( 4 − 2 D ) n , V ( γ τ ) = γ 4 − 2 D V ( τ ) {\displaystyle {\begin{aligned}V(\tau )&=\langle W(t+\tau )-W(t)\rangle _{e}=2\sum _{n=-\infty }^{\infty }{\frac {1-\cos(\gamma ^{n}\tau )}{\gamma ^{(4-2D)n}}},\\V(\gamma \tau )&=\gamma ^{4-2D}V(\tau )\end{aligned}}}