فضای توابع هولدر (Hölder Function Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای توابع هولدر (Hölder Function Space) :
تعریف: فرض کنید
\[ (X, d_X) \]یک فضای متریک،
\[ 0 < \alpha \leq 1 \]، و
\[ f: X \to \mathbb{R} \]یک تابع باشد.
\[ f \]هولدر از مرتبه
\[ \alpha \](یا
\[ \alpha \]-هولدر) نامیده می شود اگر ثابت
\[ C \geq 0 \]وجود داشته باشد به طوری که:
\[ |f(x) - f(y)| \leq C \, d_X(x, y)^\alpha \quad \forall x, y \in X \]توضیح مفهومی: توابع هولدر تعمیم طبیعی توابع لیپشیتز هستند. برای
\[ \alpha = 1 \]، همان لیپشیتز است. برای
\[ \alpha < 1 \]، این توابع می توانند ناهموارتر باشند (مثل
\[ \sqrt{x} \]که
\[ 1/2 \]-هولدر است). این فضاها در مطالعه معادلات دیفرانسیل با مشتقات جزئی و نظریه پتانسیل اهمیت دارند.
متریک روی فضای توابع هولدر: مشابه فضای لیپشیتز، دو نرم روی
\[ C^{k,\alpha} \]تعریف می شود:
نرم هولدر:
\[ [f]_{\alpha} = \sup_{x \neq y} \frac{|f(x) - f(y)|}{d_X(x, y)^\alpha} \]نرم ترکیبی:
\[ \|f\|_{C^{0,\alpha}} = \|f\|_\infty + [f]_{\alpha} \]که فضای باناخ می دهد.
ویژگی های اصلی:
اگر
\[ \alpha < \beta \]، آن گاه هر تابع
\[ \beta \]-هولدر،
\[ \alpha \]-هولدر نیز هست (با ثابت متفاوت).
اگر
\[ X \]فشرده باشد، فضای توابع هولدر با نرم فوق یک فضای باناخ است.
این فضاها در
\[ C(X) \]چگال نیستند (چون توابع پیوسته لزوما هولدر نیستند).
قضیه جاسازی: برای
\[ \alpha < \beta \]، فضای
\[ C^{0,\beta} \]به طور فشرده در
\[ C^{0,\alpha} \]نشانده می شود (اگر
\[ X \]فشرده باشد).
فضاهای
\[ C^{k,\alpha} \]: اگر
\[ X \]یک خمینه باشد،
\[ C^{k,\alpha} \]فضای توابعی است که مشتقات جزئی تا مرتبه
\[ k \]وجود دارند و مشتقات مرتبه
\[ k \]،
\[ \alpha \]-هولدر هستند. این فضاها در نظریه معادلات دیفرانسیل با مشتقات جزئی بسیار مهم هستند.
قضیه مورری: در فضاهای
\[ C^{k,\alpha} \]، تخمین های داخلی (interior estimates) برای جواب های معادلات بیضوی برقرار است.
کاربردها: فضاهای هولدر در معادلات دیفرانسیل با مشتقات جزئی (برای تخمین جواب ها)، نظریه پتانسیل (برای توابع هارمونیک)، هندسه دیفرانسیل (برای مطالعه خمینه ها)، و فیزیک ریاضی کاربرد دارند.
مثال های مهم:
\[ f(x) = \sqrt{x} \]
روی
\[ [0,1] \]،
\[ 1/2 \]-هولدر است:
\[ |\sqrt{x} - \sqrt{y}| \leq \sqrt{|x-y|} \].
\[ f(x) = x^\alpha \]
روی
\[ [0,1] \]،
\[ \alpha \]-هولدر است (برای
\[ 0 < \alpha \leq 1 \]).
تابع وایرشتراس:
\[ f(x) = \sum_{n=0}^\infty a^n \cos(b^n \pi x) \]با
\[ ab > 1 + 3\pi/2 \]، یک تابع پیوسته اما هیچ جا هولدر نیست.
📌 مثال ساده:
\[ X = [0,1] \]،
\[ f(x) = \sqrt{x} \]،
\[ g(x) = x \].
\[ [f]_{1/2} = \sup_{x \neq y} \frac{|\sqrt{x} - \sqrt{y}|}{|x-y|^{1/2}} \leq 1 \]،
\[ [g]_{1} = 1 \].
\[ f \]هولدر از مرتبه
\[ 1/2 \]است اما لیپشیتز نیست.
\[ f(x) = x^2 \]روی
\[ [0,1] \]لیپشیتز است، بنابراین برای هر
\[ \alpha \leq 1 \]هولدر نیز هست.
