الجمهـور ي ة الجـزائـر يـة الـديـمـقـراطي ة الـشـعـبـيـة
République Algérienne Démocratique et Populaire
وزارة التعليم العالي والبحث العلمي
Ministère de l’Enseignement Supérieur
et de la Recherche Scientfiique
جامعةالشهيد حمه لخضر-الوادي
كلية العلوم الدقيقة
مذكرة تخرج لنيل شهادة
ماستر أكادمي
في ميدان :ر ياضيات و إعلام آلي
فرع :ر ياضيات
تخصص :ر ياضيات أساسية و تطبيقية
تحت عنوان
من إعداد الطالبة :لمقدم أحلام
لجنة المناقشة:
تواتي براهيم محمد السعيد ....مشرفا ......أستاذ بجامعة الشهيد حمه لخضر-الوادي
مومن بكوش محمد ..........رئيسا ......أستاذ بجامعة الشهيد حمه لخضر-الوادي
بلهادي حفوظة ...........مناقشا ......أستاذ بجامعة الشهيد حمه لخضر-الوادي
2020/2019 السنة الجامعية
شكر وتقدير v
الحمد ل ه نحمده وهو المستحق للحمد والثناء ونستعين به في السراء
والضراء ،ونتوكل عليه في جميع حالاتنا ،ونصلي ونسلم على خير خلق
ال ه سيدنا محمد صلى ال ه عليه وسلم وصحبه أجمعين ومن تبع هديه إلى
يوم الدين.
وعملا بقوله صلى ال ه عليه وسلم ) من لم يشكر الناس لم يشكره ال ه(
رواه الترميذي وأحمد
أتقدم بأسمى عبارات الشكر والتقدير إلى كل من أوقد لي مشعل
الحياة وحملني على سفينة النجاة
إلى كل من صرت بفضله أكتب وأقرأ و....
إلى كل من علمني علما به ينتفع وأدب به يرتفع
بدءًا من معلمي الإبتدائي وصولا إلى أساتذتي الـكرام في الجامعة.
شكر خاص للأستاذ المشرف ” تواتي براهيم محمد السعيد” على قبوله
الإشراف على هذه المذكرة.
كما أتقدم بعظيم التقدير والعرفان إلى الأستاذ ”صالح بولعراس”.
كذلك أشكر كل من ساعدني على إتمام هذه المذكرة و أخص بالذكر:
الأستاذ خالد.
i
إهداء v
إذا كان الاهداء يعبر ولو بجزء من الوفاء فالاهداء إلـى
من كلله ال ه بالهيبة والوقار و من علمني العطاء بدون إنتظار،إلى من أحمل
إسمه بكل افتخار ،أرجو من ال ه أن يمد في عمرك
والدي لمقدم مبروك
إلى التي على بساط الأوجاع ولدتني ...وبعيون التعب رعتني
إلى ينبوع الصبر التي علمتني...إلى المرأة التي ربتني
إلى من أنجبت لي أخوات ...سعدت بهم كل الأوقات
إلى أمهاتي
إلى الذين لا تفيهم كلمات الشكر والعرفان،إلى من كانوا ملاذي وملجئي إلى
من تحلو بالإخاء وتميزوا بالعطاء،إلى من معهم عشت أجمل الأوقات
عمي عبد ال ه وزوجته بية
إلى من تسكن صورهن وأصواتهن أجمل اللحظات والأيام التي عشتها ،إلى من
يسعد قلبي بلقياهن ،إلى من بوجودهن أكتسب قوة ومحبة لا حدود لها ،إلي
الغاليات اللاتي تطلعن لنجاحي بنظرات الأمل إلى أخواتي
سعيدة ،سهيلة ،راضية،حنان
إلى أخي الوحيد عبد الرحمان و زوجته عائشة
إلى الأخوات اللواتي لم تلدهن أمي إلى من كانوا معي في كل الأوقات إلى
من معهن سعدت وبرفقتهن في دروب الحياة سرت إلى بنات عمي
مبروكة و مليكة
إلى من أرى التفاؤل بعيونهم ...والسعادة في ضحكاتهم
إلى الوجوه المفعمة بالبراءة ...إلى براعم عائلتنا الصغار
عبد الجبار ،لزهر ،تقوى ،جهاد
أسماء ،سيف الدين ،حليمة ،ر ياض
إلـى من سرنا سو يا نشق الطر يق معا نحو النجاح إلى من آنسني في دراستي
إلى صديقاتي نجلاء و فاطمة الزهراء
ii
المحتو يات
v مقدمة
vii رموز عامة
1 1مفاهيم أساسية
1.1الدوال الدور ية 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2الدالة المستمرة قطعيا 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3الدالة القابلة للإشتقاق قطعيا 4 . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4الدالة من الصنف - C kالدالة من الصنف C kقطعيا 6 . . . . . . . . . . . . . .
1.5بعض خصائص المجموعات7 . . . . . . . . . . . . . . . . . . . PC2π , D2π , C2π :
1.6الجداء السلمي في الفضاءات 9 . . . . . . . . . . . . . . . . . . . D2π , C2π , PC2π
1.7التعامد في الفضاءات 11 . . . . . . . . . . . . . . . . . . . . . . P C2π , D2π , C2π
1.8النظيم ∥.∥1و النظيم ∞∥13 . . . . . . . . . . . . . . . . . . . . . . . . . . . ∥.
1.9كثير الحدود المثلثي 14 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.9.1تعر يف كثير الحدود المثلثي 14 . . . . . . . . . . . . . . . . . . . . . . . .
1.9.2بعض خصائص كثيرات الحدود المثلثية 14 . . . . . . . . . . . . . . . . .
1.9.3نواة دير يكله )16 . . . . . . . . . . . . . . . . . . . . (Dirichlet kernel
1.9.4نواة فيجر )18 . . . . . . . . . . . . . . . . . . . . . . . (Fejer kernel
1.10جداء اللف في الفضاء 19 . . . . . . . . . . . . . . . . (Convolution) P C2π
25 2سلاسل فورييه للدوال f ∈ P C2π
2.1السلاسل المثلثية 25 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.1.1تعر يف السلاسل المثلثية 25 . . . . . . . . . . . . . . . . . . . . . . . . .
2.1.2تقارب السلاسل المثلثية 25 . . . . . . . . . . . . . . . . . . . . . . . . .
2.2معاملات فورييه 27 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.1معاملات فورييه الأسية 27 . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.2معاملات فورييه المثلثية 32 . . . . . . . . . . . . . . . . . . . . . . . . .
iii
المحتو يات المحتو يات
2.3مجموع فورييه-سلسلة فورييه 34 . . . . . . . . . . . . . . . . . . . . . . . . . .
2.4تقارب سلسلة فورييه 34 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.4.1تقارب سلسلة فورييه في الفضاء) 35 . . . . . . . . . . . . . . . (P C2π , ∥ . ∥2
2.4.2التقارب البسيط لسلسلة فورييه 39 . . . . . . . . . . . . . . . . . . . . . .
2.4.3التقارب الطبيعي لسلسلة فورييه 43 . . . . . . . . . . . . . . . . . . . . . .
2.4.4التقارب المنتظم لسلسلة فورييه 44 . . . . . . . . . . . . . . . . . . . . . .
2.4.5تقارب مجاميع فيجر بالنسبة للدوال 48 . . . . . . . . . . . . . . . . f ∈ C2π
52 3بعض التطبيقات لسلاسل فورييه
52 . . . . . . . . . . . . . . . . . . . . . . . . . . 3.1دالة ريمان . . . . . . . . .
58 . . . . . . . . . . . . . . . . . . . . . . . . . . 3.2مسألة المحيط الثابت . . . . .
62 . . . . . . . . . . . . . . . . . . . . . . . . . . 3.3متراجحة . . . . . writinger
63 . . . . . . . . . . . . . . . . . . . . . . . . . . 3.4خاصية هامة للدوال التحليلية
66 . . . . . . . . . . . . . . . . . . . . . . . . . . 3.5حل معادلة الحرارة . . . .
70 ة الخـاتم
71 قائمة المراجـع
iv
ة مقـدم
طوال القرن الثامن عشر ،أدرك علماء الر ياضيات البارزون أن سلاسل القوى كانت غير
كافية لتمثيل الدوال ،وأن هناك حاجة إلى نوع مختلف من السلاسل .ولقد قادت مشاكل الفيز ياء
الر ياضية كل من برنولي ) ،(Bernoulliدالمبير ) ،(D’Alembertأولر ) (Eulerو لاجرانج
) ،(Lagrangeإلى التساؤل بشدة حول إمكانية تمثيل الدوال بواسطة سلاسل مثلثية)حدودها
دوال مثلثية( .أثار هذا النقاش أحد الأزمات التي شكلت عائق في تطوير التحليل.
في جلسة لا تنسى للأكاديمية الفرنسية يوم 21من ديسمبر ،1807أعلن عالم الر ياضيات
والفيز ياء جوز يف فورييه عن أطروحة بدأت فصلا ً جديد ًا في تاريخ الر ياضيات .حيث إدعى
فورييه أن كل دالة معرفة بأي رسم بياني ”يحد منطقة محددة” .يمكن تفكي ها إلى مجموع مكون
من دوال الجيب ،جيب التمام الدور ية ،عارضت لجنة التقييم والتحكيم أنذاك هذه النظر ية.
أظهرت الدراسات لاحقا أن إدعاء فورييه كان له ما يبرره تمام ًا ،على الرغم من أنه هو
نفسه لم يكن قادر ًا على تقديم التفاصيل الدقيقة للبرهان عليه ،لإنه لم يكن يمتلك الأدوات الدقيقة
المطلوبة للتعامل مع سلسلة لانهائية.
في الحقيقة هدف فورييه من النظر ية السابقة كان دراسة مسألة إنتشار الحرارة ،إلا أنها
أصبحت حجر الزاو ية للعديد من الإكتشافات في عالم الر ياضيات البحتة ،حيث كان لهذا تأثير
عميق على المائة عام التي تلتها من البحث الر ياضي ،فقد تم تحرير تعر يف الدالة من أصفاده الجـبر ية،
والتعر يف الحديث للدالة ظهر من خلال عمل دير يكله ) (Dirichletو ريمان ) (Riemannالذي
حدد مفهوم دالة ”قابلة للتكامل” والذي تم تعميمه لاحقا بعد كثير من العمل الجاد ،والتحسينات
طوال القرن التاسع عشر حيث توج القرن بنظر ية لوبيغ ) (Lebesgueللتكامل.
v
حاول العديد من علماء الر ياضيات ،بدءًا من فورييه نفسه ،إ يجاد الشروط الكافية على
الدوال لتساوي سلسلة فورييه الخاصة بها عند كل نقطة .بعض الشروط الضرور ية واضحة .بدءًا
من دور ية الدوال ،وهذا راجع لإن حدود سلسة فورييه دور ية .ولقد نجح دير يكله في إ يجاد
شروط كافية تضمن هذه المساواة ،غطت هذه الشروط مجموعة كبيرة من الدوال.
الهدف من هذه المذكرة ،هو دارسة سلاسل فورييه للدوال الدور ية المستمرة قطعيا وبعض
تطبيقاتها .ٺتكون المذكرة من ثلاثة فصول:
vالفصل الأول :يقدم مفهوم لكل من الدوال الدور ية،الدوال المستمرة قطعيا،والدوال القابلة
للإشتقاق قطعيا وغيرها من التعار يف الأساسية،بالإضافة إلى ذلك تم التطرق إلى كثيرات الحدود
المثلثية وجداء اللف وخصائص كل منهما.
vالفصل الثاني :يقدم مفهوم للسلاسل المثلثية عموما ،ثم يتطرق إلي تعر يف لمعاملات فورييه
وبعض خواصها ،تعر يف لسلاسل فورييه ودراسة مسألة تقارب هذه السلاسل ،و علاقتها بالدالة
الأصلية .ولقد تم التطرق في هذا الإطار إلى عدة نظر يات)بيسال ،برسفال ،ديركليه ،فيجر.(...،
vالفصل الثالث :يوضح إستخدام سلاسل فورييه في بعض التطبيقات منها إ يجاد بعض القيم
لدالة ريمان ،حل معادلة الحرارة ،إضافة إلى بعض التطبيقات الأخرى.
vi
رموز عامة
مجموعة الأعداد الطبيعية. N
مجموعة الأعداد الطبيعية ماعدا الصفر. ∗N
مجموعة الأعداد الصحيحة. Z
مجموعة الأعداد الحقيقة. R
مجموعة الأعداد المركبة. C
مجموعة الدوال المستمرةمن Rإلى .C )C(R, C
مجموعة الدوال المستمرةوالدور ية من Rإلى .C C2π (R, C), C2π
مجموعة الدوال المستمرة قطعيا والدور ية من Rإلى .C PC2π (R, C), P C2π
مجموعة الدوال ) f ∈ PC2π (R, Cوالتي تحقق شرط دير يكله. D2π (R, C), D2π
صنف الدوال المستمرةومشتقاتها متصلة. Ck
مجموعة كثيرات الحدود المثلثية ذات الدرجة أقل أو تساوي .N PN
الجداء السلمي. ≻ ≺ ./.
مشتق fمن الرتبة الأولى. f′
مشتق fمن الرتبة k )f (k
شبه مشتقة الدالة . f Df
نهاية الدالة fمن اليمين عند النقطة . x i ) f (x i+
نهاية الدالة fمن اليسار عند النقطة . x i ) f (x i−
مرافق الدالة . f f
طو يلة الدالة . f | |f
تمديد الدالة . f ˜f
إقتصار fعلى المجال [.]a, b [f|]a,b
fتعامد . g f ⊥g
جداء لف fو . g f ∗g
معامل فورييه الأسي للدالة . f ˆf
vii
الفصل 1
مفاهيم أساسية
سنعرض في هذا الفصل مجموعة من التعار يف والمفاهيم التي لابد من الإلمام بها قبل المرور
إلى سلاسل فورييه ،كما سنقدم بعض النتائج التي ستفيدنا في إثبات العديد من النظر يات في
الفصل الثاني.
الدوال الدور ية 1.1
إلى مجموعة الأعداد R في هذه المذكرة ،سنهتم بالدوال من مجموعة الأعداد الحقيقية
المركبة .C
ޠݲࢰ ޓߨ ۫1.1.1لتكن fدالة من مجموعة الأعداد الحقيقية Rإلى مجموعة الأعداد المركبة .C
ليكن Tعددا حقيقيا موجبا .نقول بأن العدد الحقيقي Tيمثل دور للدالة fإذا تحقق الشرط
التالي:
∀x ∈ R , )f (x + T ) = f (x
من الواضح بأنه ،إذا كان Tيمثل دور للدالة ، fفإنه لكل عدد صحيح ، n ∈ Zالعدد الحقيقي
يمثل دور للدالة T2 و T1 nTيمثل كذلك دور للدالة . fمن الواضح كذلك بأنه ،إذا كان كل من
، fفإن T1 + T2يمثل كذلك دور للدالة . f
ޝࣩࢰ ޓࡀ ۫1.1.1لتكن fدالة من مجموعة الأعداد الحقيقية Rإلى مجموعة الأعداد المركبة .C
لتكن ) P( fمجموعة الأعداد الحقيقية التي تمثل دور للدالة . fلدينا الحقيقة التالية (P( f ), +) :تحقق
شروط الزمرة الإبدالية.
دور ية ،إذا وجد عدد حقيقي موجب ، T ≻ 0بحيث: f ޠݲࢰ ޓߨ ۫1.1.2نقول بأن الدالة
∀x ∈ R , )f (x + T ) = f (x
. .الدوال الدور ية .مفاهيم أساسية الفصل
يمثل دور للدالة ، fفإنه لدراسة الدالة ، fيكفينا دراسة T إذا كانت الدالة fدور ية ،و
الدالة fعلى مجال طولها . T
أمثلة
(1الدوال المثلثية ) cos(xو ) sin(xدوال دور ية ،لإن العدد الحقيقي 2πيمثل دور لكل منهما.
دور ية ،لإن العدد الحقيقي 2πيمثل دور لها. )e i.x = cos(x) + i sin(x (2الدالة
دوال دور ية ،لإن العدد )sin(nx و )cos(nx ≠ ،nالدوال المثلثية 0 (3لكل عدد حقيقي
يمثل دور لكل منهما. 2π
n الحقيقي
2π
n دور ية ،لإن العدد الحقيقي )e inx = cos(nx) + i sin(nx (4لكل عدد حقيقي ،n ̸= 0الدالة
يمثل دور لها.
(5لتكن الدالة التالية:
∑
n=N
= )PN (x Cn e inx
n=−N
تسمى كثير حدود )PN (x يمثل دور لها .الدالة 2π هذه الدالة دور ية ،لإن العدد الحقيقي
مثلثي.
يمثل دور للدالة ) ، f (xفإنه لكل عدد حقيقي ثابت ،α ̸= 0 T ≻0 ޝࣩࢰ ޓࡀ ۫1.1.2إذا كان العدد
الدالة التالية:
)g(x) = f (αx
يمثل دور للدالة ). g(x) = f (αx T
α دالة دور ية كذلك ،و العدد
يمثل دور للدالة ، fفإن الدالة T دور ية ،و f نتيجة مباشرة للنظر ية السابقة إذا كانت الدالة
التالية:
T
( g(x) = f )x
2π
يمثل دور لها .لإثبات ذلك ،يكفينا إختيار 2π ستكون حتما دالة دور ية ،و العدد الحقيقي
α = 2πTفي النظر ية السابقة.
) ، g(xقريبة جدا من الدالة T
= f ( 2π )x ۫1.1.1 ࡀࣩࠛ൨ൣفي النظر ية السابقة ،الدالة الجديدة
الأصلية fو دراستها كافية تماما لدراسة الدالة الأصلية . fلذلك ،سنهتم في ما يلي ،بالدوال
الدور ية و التي يمثل العدد الحقيقي 2πدور لها.
2
. .الدالة المستمرة قطعيا .مفاهيم أساسية الفصل
كيفية صناعة الدوال الدور ية إذا كانت fدالة معرفة على مجال ] ،[a, a + Tطولها ، T ≻ 0فإنه
يمكننا تمديد مجال هذه الدالة إلى مجموعة الأعداد الحقيقية ، Rلتصبح دالة جديدة ˜ ، fدور ية ،و
يمثل دور لها ،و ذلك كالآتي: T ≻0 العدد
∀x ∈ R , ) f˜(x) = f (x − nT
n = E( x−a
) T . x−aو نكتب:
T يمثل أكبر عدد صحيح أصغر من العدد الحقيقي n حيث أن العدد
{ x−a
} T ، x−aو نرمز له بـ:
العدد الحقيقي [( T ) − E( T )] :يسمى بالجزء الـكسري للعدد الحقيقي T
x−a x−a
و بالتالي:
∀x ∈ R , )f˜(x) = f (x − nT ) = f (x − a − nT + a
x −a
(( = f )− n).T + a
T
x −a
{( = f )}.T + a
T
الدالة المستمرة قطعيا 1.2
لتكن fدالة من المجال ] [a, bإلى مجموعة الأعداد المركبة .Cنقول بأن الدالة fمستمرة قطعيا
) (Piecewise continuous fonctionإذا وجدت مجموعة منتهية من الأعداد الحقيقية:
a = x 0 ≺ x 1 ≺ ...... ≺ x n = b
بحيث:
}i ∈ {0, 1, ..., n − 1 تكون مستمرةعلى كل مجال ]x i , x i+1 [ :و ذلك لكل f -الدالة
-لكل } ،i ∈ {0, 1, ..., n − 1النهاية التالية:
)lim f (x
x7→ x i+
تكون موجودة ،و تكون عددا مركبا .هذا العدد المركب نرمز له بـ. f (x i+ ) :
-لكل } ،i ∈ {1, ..., nالنهاية التالية:
)lim f (x
x7→ x i−
تكون موجودة ،و تكون عددا مركبا .هذا العدد المركب نرمز له بـ. f (x i− ) :
3
. .الدالة القابلة للإشتقاق قطعيا .مفاهيم أساسية الفصل
}i ∈ {1, ..., n − 1 -لكل
)lim f (x) ̸= lim f (x
x7→ x i+ x7→ x i−
إلى دالة ) f/(x i ,x i+1 ،iيمكننا تمديد الدالة }∈ {0, 1, ..., n − 1 هذا يعني بإختصار بأنه لكل
مستمرةعلى المجال المغلق ] .[x i , x i+1
الدالة القابلة للإشتقاق قطعيا 1.3
قابلة f لتكن fدالة من المجال ] [a, bإلى مجموعة الأعداد المركبة .Cنقول بأن الدالة
للإشتقاق قطعيا إذا وجدت مجموعة منتهية من الأعداد الحقيقية:
a = x 0 ≺ x 1 ≺ ...... ≺ x n = b
بحيث:
}i ∈ {0, 1, ..., n − 1 تكون قابلة للإشتقاق على كل مجال ]x i , x i+1 [ :و ذلك لكل f -الدالة
-لكل } ،i ∈ {0, 1, ..., n − 1النهاية التالية:
)lim f (x
x7→ x i+
تكون موجودة ،و تكون عددا مركبا .هذا العدد المركب نرمز له بـ. f (x i+ ) :
-لكل } ،i ∈ {0, 1, ..., n − 1النهاية التالية:
) f (x) − f (x i+
lim
x7→ x i+ x − xi
تكون موجودة ،و تكون عددا مركبا .هذا العدد المركب نرمز له بـ. f ′ (x i+ ) :
-لكل } ،i ∈ {1, ..., nالنهاية التالية:
)lim f (x
x7→ x i−
تكون موجودة ،و تكون عددا مركبا .هذا العدد المركب نرمز له بـ. f (x i− ) :
-لكل } ،i ∈ {0, 1, ..., n − 1النهاية التالية:
) f (x) − f (x i−
lim−
x7→ x i x − xi
تكون موجودة ،و تكون عددا مركبا .هذا العدد المركب نرمز له بـ. f ′ (x i− ) :
4
. .الدالة القابلة للإشتقاق قطعيا .مفاهيم أساسية الفصل
}i ∈ {1, ..., n − 1 -لكل
)lim f (x) ̸= lim f (x
x7→ x i+ x7→ x i−
) f (x) − f (x i+ ) f (x) − f (x i−
lim+ ̸= lim−
x7→ x i x − xi x7→ x i x − xi
إلى دالة قابلة ) f/(x i ,x i+1 هذا يعني بإختصار بأنه لكل } ،i ∈ {0, 1, ..., n − 1يمكننا تمديد الدالة
لإشتقاق على المجال المغلق ] .[x i , x i+1
5
قطعيا Ck -الدالة من الصنف Ck . .الدالة من الصنف .مفاهيم أساسية الفصل
قطعيا Ck -الدالة من الصنف Ck الدالة من الصنف 1.4
عددا طبيعيا. k دالة من المجال ] [a, bإلى مجموعة الأعداد المركبة Cو ليكن f لتكن
k (1نقول بأن الدالة fمن الصنف C kعلى المجال ] [a, bإذا كانت الدالة fقابلة للإشتقاق
مرة عند جميع نقاط المجال ] ،[a, bو الدالة المشتقة رقم f (k) ،kمستمرةعند جميع نقاط
المجال ].[a, b
قطعيا ،إذا وجدت مجموعة منتهية من الأعداد الحقيقية: Ck من الصنف f (2نقول بأن الدالة
a = x 0 ≺ x 1 ≺ ...... ≺ x n = b
بحيث:
-الدالة fتكون قابلة للإشتقاق kمرة عند جميع نقاط المجال المفتوح [ ،]x i , x i+1و
الدالة المشتقة رقم f (k) ،kتكون مستمرةعند جميع نقاط المجال المفتوح [ ،]x i , x i+1
و ذلك لكل }.i ∈ {0, 1, ..., n − 1
-لكل } ،i ∈ {0, 1, ..., n−1يمكننا تمديد الدالة ) f/(x ,xإلى دالة قابلة للإشتقاق kمرة عند
i i+1
جميع نقاط المجال المغلق ] ،[x i , x i+1و دالتها المشتقة من الرتبة ،kتكون مستمرةعند
جميع نقاط المجال المغلق ] .[x i , x i+1
] [x i , x i+1 من الصنف C kعلى المجال المغلق gi يعني ،لكل } ،i ∈ {0, 1, ..., n − 1توجد دالة
بحيث:
) g i /(x i ,x i+1 ) = f/(x i ,x i+1
دور 2π ( مجموعة الدوال المستمرةو الدور ية ،و التي يمثل العدد الحقيقي ۫1.4.1 ࡀࣩࠛ൨ൣ
C2π أو إختصارا بـ : )C2π (R, C لها ،نرمز لها بـ:
دور لها ،نرمز لها 2π ( مجموعة الدوال مستمرة قطعيا و الدور ية ،و التي يمثل العدد الحقيقي
أو إختصارا بـ . P C2π : )P C2π (R, C بـ:
و التي تحقق الشرط التالي ،و الذي يسمى بشرط ( مجموعة الدوال
)f ∈ P C2π (R, C
دير يكله ):(Dirichlet
) f (x + ) + f (x −
∀x ∈ R , = )f (x
2
أو إختصارا بـ. D2π : )D2π (R, C نرمز لها بـ :
P C2π , D2π , C2π . .بعض خصائص المجموعات: .مفاهيم أساسية الفصل
دالة معرفة على مجال ] ،[a, a + Tطولها ، T ≻ 0بحيث: f ۫1.4.2 ࡀࣩࠛ൨ൣلتكن
)f (a + T ) = f (a
،لتصبح دالة R كما أشرنا سابقا ،يمكننا تمديد مجال هذه الدالة إلى مجموعة الأعداد الحقيقية
يمثل دورة لها ،و ذلك كالآتي: T ≻0 دور ية و العدد ˜f جديدة
x −a
∀x ∈ R , {( f˜(x) = f )}T + a
T
˜f فإن الدالة الجديدة ] [a, a + T مستمرةعند جميع نقاط المجال f ( إذا كانت الدالة الأصلية
. R ستكون كذلك مستمرةعند جميع نقاط
( إذا كانت الدالة الأصلية fمستمرة قطعيا على المجال ] [a, a + Tفإن الدالة الجديدة ˜ fستكون
كذلك مستمرة قطعيا على . R
فإن الدالة الجديدة ] [a, a + T قطعيا على المجال Ck( إذا كانت الدالة الأصلية fمن الصنف
˜ fستكون من الصنف C kقطعيا على . R
˜f ( إذا كانت الدالة الأصلية fمن الصنف C kعلى المجال ] [a, a + Tفإن الدالة الجديدة
ستكون من الصنف C kقطعيا على ، Rو ليست بالضرورة من الصنف C kعلى . R
P C2π, D2π, C2π بعض خصائص المجموعات: 1.5
)C2π (R, C) ⊆ D2π (R, C) ⊆ PC2π (R, C (1
هي دالة محدودة بالضرورة .يعني يوجد عدد حقيقي موجب )f ∈ P C2π (R, C (2كل دالة
M ≻ 0بحيث:
∀x ∈ R , | f (x)| ≺ M
قابلة للتكامل | |f و f (3لكل دالة ) ، f ∈ PC2π (R, Cفإن ) .| f | ∈ P C2π (R, Cكل من الدالتين
على المجال ] [0, 2πبالضرورة.
(4لتكن العمليات التالية ،• , × , + :و التي تعني على التوالي :جمع الدوال ،ضرب الدوال،
ضرب دالة بعدد مركب .لدينا الحقائق التالية:
)× (PC2π (R, C), +,تحقق جميعها شروط الحلقة )× , (D2π (R, C), +, )× , (C2π (R, C), +, -
الإبدالية.
)• (PC2π (R, C), +,تحقق جميعها شروط الفضاء )• , (D2π (R, C), +, )• , (C2π (R, C), +, -
الإتجاهي على حقل الأعداد المركبة.
7
P C2π , D2π , C2π . .بعض خصائص المجموعات: .مفاهيم أساسية الفصل
و . t 0 ∈ Rالدالة f tالمعرفة بالشكل التالي:
0
)f ∈ P C2π (R, C (5لتكن
∀t ∈ R ) , f t 0 (t) = f (t + t 0
هي دالة في الفضاء ). P C2π (R, C
المعرفة بالشكل التالي: .الدالة (6لتكن
⌣
f )f ∈ P C2π (R, C
⌣
∀t ∈ R ), f (t) = f (−t
هي دالة في الفضاء ). P C2π (R, C
. fلتكن الدالتين uو vالمعرفتان بالشكل التالي: )∈ P C2π (R, C (7لتكن
)f (t) + f (−t )f (t) − f (−t
∀t ∈ R = ), u(t = ), v(t
2 2
لدينا الخصائص التالية:
f =u+v -
u -دالة زوجية و تسمى الجزء الزوجي للدالة . f
دالة فردية و تسمى الجزء الفردي للدالة . f v -
)v ∈ P C2π (R, C ، u ∈ P C2π (R, C) -
، fهي حتما مستمرةإستمرارامنتظما. )∈ C2π (R, C ޝࣩࢰ ޓࡀ ۫1.5.1كل دالة
إثبات النظر ية ليكن .ϵ ≻ 0نحن نعلم بأن كل دالة مستمرةعلى مجال مغلق و محدودة ] [a, bهي
ستكون )f ∈ C2π (R, C حتما مستمرةإستمرارامنتظما ) . (Heine’s Theoremو بالتالي ،الدالة
مستمرةإستمرارامنتظما على المجال ] [−π, 3πمثلا .يوجد إذا α ≻ 0بحيث:
∀(t, s) ∈ ([−π, 3π])2 , |t − s| ≤ α ⇒ | f (t) − f (s)| ≤ ϵ
لتكن:
}η = min{α, π
بحيث: x ∈R ,y ∈R ليكن
|x − y| ≤ η
x = t + 2kπ بحيث: k∈Z و عدد صحيح ]t ∈ [0, 2π يوجد عدد حقيقي
s = y − 2kπ ليكن:
⇒ |x − y| = |t − s| ≤ η
⇒s ∈ [−π, 3π] & | f (t) − f (s)| ≤ ϵ
8
D2π , C2π , P C2π . .الجداء السلمي في الفضاءات .مفاهيم أساسية الفصل
، f (x) = f (t) ,فإن: )f ( y) = f (s بحكم أن:
| f (x) − f ( y)| ≤ ϵ
و هو المطلوب.
. fلدينا الحقيقة التالية: )∈ P C2π (R, C ޝࣩࢰ ޓࡀ ۫1.5.2لتكن
∫
a+2π ∫2π
∀a ∈ R , = f (x)d x f (x)d x
a 0
إثبات النظر ية لدينا:
∫
a+2π ∫0 ∫2π ∫
a+2π
= f (x)d x f (x)d x + f (x)d x + f (x)d x
a a 0 2π
بالنسبة للتكامل الثالث ،نختار المتغير الجديد ، t = x − 2π :يصبح لدينا:
∫
a+2π ∫a ∫a
= f (x)d x = f (t + 2π)d t f (t)d t
2π 0 0
∫
a+2π ∫0 ∫2π ∫a
⇒ = f (x)d x f (x)d x + f (x)d x + f (x)d x
a a 0 0
∫2π
= f (x)d x
0
و هو المطلوب.
D2π, C2π, P C2π 1.6الجداء السلمي في الفضاءات
و ) ، g ∈ PC2π (R, Cنعرف العدد المركب ≻ ≺ f /gبالشكل التالي: )f ∈ PC2π (R, C لكل دالتين
∫2π
1
=≻ ≺ f /g f (x)g(x)d x
2π
0
الدالة ≻ ≺ ./.تحقق الخصائص التالية:
)∀ f ∈ P C2π (R, C) , ∀g ∈ PC2π (R, C ≻ , ≺ f /g ≻= ≺ g/ f (1
9
D2π , C2π , P C2π . .الجداء السلمي في الفضاءات .مفاهيم أساسية الفصل
(2
)∀ f1 ∈ P C2π (R, C) , ∀ f2 ∈ PC2π (R, C) , ∀g ∈ P C2π (R, C , ∀λ ∈ C
≻ ≺ λ f1 + f2 /g ≻= λ ≺ f1 /g ≻ + ≺ f2 /g
نقول بأن الدالة ≻ ≺ ./.خطية بالنسبة للمتغير الأول.
(3
)∀ f ∈ P C2π (R, C , ≺ f / f ≻≥ 0
نقول بأن الدالة ≻ ≺ ./.موجبة.
(4
)∀ f ∈ D2π (R, C , ≺ f / f ≻= 0 ⇔ f = 0
) ، D2π (R, Cلـكنها لا ), C2π (R, C تحقق شروط الجداء السلمي في الفضاءين ≻ ≺ ./. الدالة
تحقق شروط الجداء السلمي في الفضاء ) . PC2π (R, Cنقول بأنها تمثل نصف جداء سلمي في الفضاء
). P C2π (R, C
متراجحة كوشي – شفارتز
)∀ f ∈ P C2π (R, C) , ∀g ∈ P C2π (R, C ≻ , |≺ f /g ≻|2 ≤ ≺ f / f ≻ . ≺ g/g
. fلكل عدد مركب )∈ P C2π (R, C) , g ∈ P C2π (R, C إثبات متراجحة كوشي – شفارتز ليكن:
،λ ∈ Cلدينا:
(≺ λ f + g/λ f + g ≻) ≥ 0
⇒ ∀λ ∈ C , ≺ f / f ≻ |λ|2 + 2 Re(≺ f /g ≻ λ)+ ≺ g/g ≻≥ 0
.λ = ≺ f /g ≻t ,t ∈R لنختر:
و بالتالي:
⇒ ∀t ∈ R , ≺ f / f ≻ .|≺ f /g ≻|2 t 2 + 2.(|≺ f /g ≻|2 )t+ ≺ g/g ≻≥ 0
إنها كثيرة حدود ،في المتغير الحقيقي ، tمعاملاتها حقيقية ،من الدرجة الثانية ،و إشارتها دائما
موجبة .هذا يعني حتما أن المميز عدد حقيقي سالب ،يعني:
|≺ f /g ≻|4 − ≺ f / f ≻ . ≺ g/g ≻ |≺ f /g ≻|2 ≤ 0
⇒ |≺ f /g ≻|2 − ≺ f / f ≻≺ g/g ≻≤ 0
و هو المطلوب.
10
P C2π , D2π , C2π . .التعامد في الفضاءات .مفاهيم أساسية الفصل
P C2π, D2π, C2π التعامد في الفضاءات 1.7
، fنعرف العدد الحقيقي ∥ f ∥2بالشكل التالي: )∈ P C2π (R, C لكل دالة
Æ
= ∥ f ∥2 ≻ ≺ f /f
لدينا الخصائص التالية:
(1
)∀ f ∈ PC2π (R, C , ∥ f ∥2 ≥ 0
(2
)∀ f ∈ D2π (R, C , ∥ f ∥2 = 0 ⇔ f = 0
(3
∀λ ∈ C ), ∀ f ∈ PC2π (R, C , ∥λ f ∥2 = |λ| ∥ f ∥2
(4
)∀ f ∈ P C2π (R, C ), ∀g ∈ P C2π (R, C , ∥ f + g∥2 ≤ ∥ f ∥2 + ∥g∥2
g و f دالتين .نقول بأن الدالتين )g ∈ P C2π (R, C و )f ∈ P C2π (R, Cتعر يف التعامد لتكن
متعامدتين و نكتب ، f ⊥gإذا كان:
∫2π
1
=≻ ≺ f /g f (x)g(x)d x = 0
2π
0
و ) . g ∈ PC2π (R, Cلدينا الحقيقة التالية: )f ∈ PC2π (R, C نظر ية فيثاغورس لتكن
( f ⊥g) ⇒ ∥ f + g∥22 = ∥ f ∥22 + ∥g∥22
إثبات نظر ية فيثاغورس لدينا:
)≻ ∥ f + g∥22 =≺ f + g/ f + g ≻= ∥ f ∥22 + ∥g∥22 + 2. Re(≺ f /g
⇒ ( f ⊥g) ⇒≺ f /g ≻= 0 ⇒ ∥ f + g∥22 = ∥ f ∥22 + ∥g∥22
و هو المطلوب.
11
P C2π , D2π , C2π التعامد في الفضاءات. . مفاهيم أساسية. الفصل
أمثلة
:( لتكن الدوال التالية1
∀n ∈ Z , en (x) = e inx = cos(nx) + i sin(nx)
:لدينا
∫2π
1
∀n ∈ Z , ≺ en /en ≻= e inx e−inx d x = 1
2π
0
∫2π
1 1 e i(n−m)x 2π
∀n ̸= m ∈ Z , ≺ en /em ≻= e inx e−imx d x = [ ] =0
2π 2π i(n − m) 0
0
∀n ∈ Z , ∥en ∥2 = 1
⇒
∀n ̸= m ∈ Z , ≺ en /em ≻= 0
:( لتكن الدوال التالية2
∀n ∈ W , f n (x) = cos(nx) , ∀n ∈ W , g n (x) = sin(nx)
:لدينا
en + e−n en − e−n
∀n ∈ W , f n (x) = cos(nx) = , ∀n ∈ N , g n (x) = sin(nx) =
2 2i
∥e ∥2 +∥e ∥2
≺ fn/ fn ≻ = ∥ f n ∥22 = n 2 4 −n 2 = 12
≺ f0 / f0 ≻ = 1 , ≺ f0 / f n ≻ = ≺ f0 /g n ≻= 0
≺ g /g ≻ = ∥g ∥ 2
=
∥en ∥22 +∥−e−n ∥22
= 12
n n n 2 4
⇒ ∀n ∈ N , ∀m ∈ N − {n} , ∥en ∥22 −∥e−n ∥22
≺ f /g ≻ = =0
n n −4i
≺ f n / f m ≻ = ≺ g n /g m ≻ = ≺ f n /g m ≻= 0
12
∞∥∥. . .النظيم ∥.∥1و النظيم .مفاهيم أساسية الفصل
= ∥ ∥f ∥g n ∥2 = 1
p
n 2 2
⇒ ∀n ∈ N }, ∀m ∈ N − {n , ∥ f0 ∥2 = 1 , f0 ⊥ f n , f0 ⊥g n
f ⊥g , fn⊥ fm , g n ⊥g m , f n ⊥g m
n n
∞∥∥. 1.8النظيم ∥.∥1و النظيم
(1لقد ذكرنا سابقا بأنه لكل دالة ) ، f ∈ PC2π (R, Cفإن ) ،| f | ∈ P C2π (R, Cو أن الدالة | | fقابلة
للتكامل على المجال ] [0, 2πبالضرورة .لكل دالة ) ، f ∈ PC2π (R, Cنعرف العدد الحقيقي
∥ f ∥1بالشكل التالي:
∫2π
1
= ∥ f ∥1 | f (x)| d x
2π
0
(2لقد ذكرنا سابقا بأن كل دالة ) ، f ∈ PC2π (R, Cهي دالة محدودة بالضرورة .لكل دالة
) ، f ∈ PC2π (R, Cنعرف العدد الحقيقي ∞∥ ∥ fبالشكل التالي:
|)∥ f ∥∞ = sup | f (x)| = sup | f (x
x∈R ]x∈[0,2π
∞∥∥. بعض الخصائص العامة للنظمين ∥.∥1و
(1
)∀ f ∈ P C2π (R, C , ∥ f ∥1 ≥ 0 , ∥ f ∥∞ ≥ 0
)∀ f ∈ D2π (R, C , ∥ f ∥1 = 0 ⇔ f = 0
)∀ f ∈ D2π (R, C , ∥ f ∥∞ = 0 ⇔ f = 0
(2
∀λ ∈ C ), ∀ f ∈ P C2π (R, C , ∥λ f ∥1 = |λ| ∥ f ∥1 ∞∥ , ∥λ f ∥∞ = |λ| ∥ f
(3
)∀ f ∈ P C2π (R, C ), ∀g ∈ P C2π (R, C , ∥ f + g∥1 ≤ ∥ f ∥1 + ∥g∥1
)∀ f ∈ P C2π (R, C ), ∀g ∈ P C2π (R, C ∞∥, ∥ f + g∥∞ ≤ ∥ f ∥∞ + ∥g
13
. .كثير الحدود المثلثي .مفاهيم أساسية الفصل
1.9كثير الحدود المثلثي
1.9.1تعر يف كثير الحدود المثلثي
يمكن صياغتها في الشكل التالي: )P(x ] [8كثير الحدود المثلثي هو دالة
∑
n=N
∀x ∈ R = ), P(x Cn e inx
n=−N
يسمى درجة كثير N هي أعداد مركبة ثابتة .العدد الطبيعي حيث أن المعاملات
(Cn )−N ≤n≤N
الحدود المثلثي ). P(x
كل كثير حدود مثلثي ) P(xهو دالة في الفضاء ).C2π (R, C
بعض خصائص كثيرات الحدود المثلثية 1.9.2
يمكن صياغته كذلك في الشكل التالي: )P(x (1كل كثير حدود مثلثي
∑
n=N
∑ a0
n=N
∀x ∈ R = ), P(x Cn e inx
= + ))(an cos(nx) + bn sin(nx
n=−N
2 n=1
و العكس صحيح ،لإن:
)e inx = cos(nx) + i sin(nx ), e−inx = cos(nx) − i sin(nx
e inx + e−inx e inx − e−inx
= )⇒ cos(nx = ), sin(nx
2 2i
(2لتكن:
∑
n=N
a0 ∑
n=N
= )P(x = Cn e inx + ))(an cos(nx) + bn sin(nx
n=−N
2 n=1
كثير حدود مثلثي .لدينا:
)C−n e−inx + Cn e inx = (C−n + Cn ) cos(nx) + i(Cn − C−n ) sin(nx
⇒ a0 = 2C0 , ∀n ≥ 1 ) , an = (C−n + Cn ) , bn = i(Cn − C−n
a0 an − i bn an + i bn
= ⇒ C0 , ∀n ≥ 1 = , Cn = , C−n
2 2 2
لـكثير الحدود المثلثي an , bn و المعاملات Cn لقد حصلنا على العلاقة بين المعاملات
an , bn المعاملات )P(x ) P(xالمعاملات Cnتسمى المعاملات الأسية لـكثير الحدود المثلثي
تسمى المعاملات المثلثية لـكثير الحدود المثلثي ). P(x
14
كثير الحدود المثلثي. . مفاهيم أساسية. الفصل
:( لتكن3
∑
n=N
a0 ∑
n=N
P(x) = Cn e inx = + (an cos(nx) + bn sin(nx))
n=−N
2 n=1
: لدينا.كثير حدود مثلثي
∀n ∈ Z , ≺ P/e inx ≻= Cn ≺ e inx /e inx ≻= Cn
⇒ ∀n ∈ Z , Cn =≺ P/e inx ≻
an
∀n ≥ 0 , ≺ P/ cos(nx) ≻= an ≺ cos(nx)/ cos(nx) ≻= ⇒ an = 2 ≺ P/ cos(nx) ≻
2
⇒ ∀n ≥ 0 , an = 2 ≺ P/ cos(nx) ≻
bn
∀n ≥ 1 , ≺ P/ sin(nx) ≻= bn ≺ sin(nx)/ sin(nx) ≻= ⇒ bn = 2 ≺ P/ sin(nx) ≻
2
⇒ ∀n ≥ 1 , bn = 2 ≺ P/ sin(nx) ≻
:( لتكن4
∑
n=N
a0 ∑
n=N
P(x) = Cn e inx = + (an cos(nx) + bn sin(nx))
n=−N
2 n=1
: لدينا.كثير حدود مثلثي
∑
n=N
2
∑
n=N
∥P∥22 = Cn e inx
2
= |Cn |22
n=−N n=−N
: لدينا كذلك.{ متعامدة و واحديةe inx , n ∈ Z} لإننا أثبتنا سابقا أن المجموعة
a0 2 ∑
n=N
∥P∥22 == 1 + (∥an cos(nx)∥22 + ∥bn sin(nx)∥22 )
2 2
n=1
|a0 |2 ∑ |an |2 + |bn |2
n=N
⇒ ∥P∥22 = +
4 n=1
2
:{ متعامدة و لدينا1 , cos(nx) , sin(nx) , n ∈ N } لإننا أثبتنا سابقا أن المجموعة
1 1
∥1∥22 = 1 , ∀n ≥ 1 , ∥cos(nx)∥22 = , ∥sin(nx)∥22 =
2 2
[ ليكن18 ,8] (Trigonometric weirstrass’s theorem)نظر ية ويرشتراش المثلثية
: بحيثP يوجد كثير حدود مثلثيf ∈ C2π (R, C) لكل،ϵ ≻ 0
∥ f − P∥∞ ≤ ϵ
.(C2π (R, C), ∥.∥∞ ) نقول بأن مجموعة كثيرات الحدود المثلثية كثيفة في الفضاء
. .كثير الحدود المثلثي .مفاهيم أساسية الفصل
ޝࣩࢰ ޓࡀ [ ] ۫1.9.1مجموعة كثيرات الحدود المثلثية كثيفة في الفضاء ) .(P C2π (R, C), ∥.∥2يعني،
لكل ) ، f ∈ P C2π (R, Cو لكل ،ϵ ≻ 0يوجد كثير حدود مثلثي Pبحيث:
∥ f − P∥2 ≤ ϵ
نواة دير يكله )(Dirichlet kernel 1.9.3
ޠݲࢰ ޓߨ ۫1.9.1ليكن كثير الحدود المثلثي التالي:
∑
k=n
= )Dn (x e ikx
k=−n
هذه الدالة تسمى بنواة دير يكله رقم .n
)Dn (x بعض خصائص الدالة
دالة زوجية. )Dn (x (1الدالة
(2لدينا:
∑
k=n
Dn (0) = 2n + 1 , ≤ | )∀x ∈ R , |Dn (x |e ikx | = 2n + 1
k=−n
⇒ ∥Dn ∥∞ = sup|Dn (x) | = 2n + 1
x∈R
(3لدينا:
∫ 2π
1
Dn (x) d x = 1
2π 0
، fلدينا: )∈ P C2π (R, C (4لكل دالة
∫
∑
k=n ∑
k=n ∑
k=n
1
2π
= )Sn ( f ) (0 = fˆ (k) e ik0 = )fˆ (k f ( y) e−ik y d y
k=−n k=−n k=−n
2π 0
∫ k=n
1
2π ∑
= )f ( y e−ik y d y
2π 0 k=−n
∫ 2π
1
= f ( y) Dn ( y) d y
2π 0
16
كثير الحدود المثلثي. . مفاهيم أساسية. الفصل
:بشكل عام لدينا
∫
∑
k=n ∑
k=n
1
2π
Sn ( f ) (x) = fˆ (k) e ik x = f ( y) e−ik y d y e ikx
k=−n k=−n
2π 0
∫
∑k=n
1
2π
= f ( y) e ik(x− y) d y
k=−n
2π 0
∫ k=n
1
2π ∑
= f ( y) . e ik(x− y) d y
2π 0 k=−n
∫ 2π
1
= f ( y) Dn (x − y) d y
2π 0
= ( f ⋆ Dn ) (x)
(5
∑
k=n
sin n+ 1
2x
∀x ∈ ]0, 2π[ , Dn (x) = e ikx = x
k=−n sin 2
: بالتالي،وهذا لإنه مجموع متتالية هندسية
∑
k=n ∑
k=2n
1 − e i(2n+1)x
−inx
∀x ∈ ]0, 2π[ , Dn (x) = e ikx
=e e ikx = e−inx
k=−n k=0
1 − ei x
(2n+1)x (2n+1)x (2n+1)x
−inx ei 2 e−i 2 − ei 2
=e x x x
ei 2 e−i 2 − e i 2
(2n+1)x
−2i sin 2
=
−2i sin 2x
sin n + 12 x
=
sin 2x
∑
k=n
sin n + 12 x
⇒ ∀x ∈ ]0, 2π[ , Dn (x) = e ikx =
k=−n sin 2x
17
كثير الحدود المثلثي. . مفاهيم أساسية. الفصل
(Fejer kernel) نواة فيجر 1.9.4
:[ ليكن كثير الحدود المثلثي التالي ] ۫1.9.2 ߨޠݲࢰ ޓ
1∑
n−1
Fn (x) = Dk (x)
n k=0
.n هذه الدالة تسمى بنواة فيجر من الرتبة
[11] Fn (x) بعض خصائص الدالة
.دالة زوجية Fn (x) ( الدالة1
:( لدينا2
1∑ 1∑
n−1 n−1
Fn (0) = (2k + 1) = n , ∀x ∈ R , |Fn (x) | ≤ |Dk (0) | = n
n k=0 n k=0
⇒ ∥Fn ∥∞ = sup|Fn (x) | = n
x∈R
:( لدينا3
∫ ∫
1
2π
1 ∑
n−1
1
2π
1 ∑
n−1
Fn (x) d x = Dk (x) d x = (1) = 1
2π 0
n k=0
2π 0
n k=0
:( لدينا4
nx
2
1 sin 2
∀x ∈ ]0, 2π[ , Fn (x) = x
n 2
:لإن
1∑ 1 ∑ sin k + 2 x
n−1 n−1 1
∀x ∈ ]0, 2π[ , Fn (x) = Dk (x) =
n k=0 n k=0 sin 2x
n−1
1 ∑
n−1 1 ∑
= x
I m ei( k+ 12 )x =
x
Im ei( k+ 21 )x
n sin 2 k=0 n sin 2 k=0
nx nx nx
1 1 − e inx i π2 1 ei 2 e−i 2 − ei 2
i 2x
= Im e = Im e
1 − ei x
x x x
n sin x
2 n sin x
2
ei 2 e−i 2 − e i 2
2
1 −2i sin nx nx 1 sin nx
2 2
= x
x
sin = x
n sin 2 −2i sin 2
2 n sin 2
18
)(Convolution P C2π . .جداء اللف في الفضاء .مفاهيم أساسية الفصل
)(Convolution P C2π جداء اللف في الفضاء 1.10
، fو ∈ .a )∈ P C2π (R, C لتكن
بالشكل التالي: (1نعرف الدالة
⌣
f
⌣
∀x ∈ R ), f (x) = f (−x
فإن: من الواضح بأنه لكل دالة
⌣
)f ∈ PC2π (R, C )f ∈ P C2π (R, C
بالشكل التالي: fa (2نعرف الدالة
∀x ∈ R ), f a (x) = f (x + a
)f a ∈ P C2π (R, C و ،a ∈ Rفإن: )f ∈ PC2π (R, C من الواضح كذلك بأنه لكل دالة
P C2π تعر يف جداء اللف في الفضاء
بالشكل التالي: f ∗g و ) . g ∈ P C2π (R, Cنعرف الدالة الجديدة )f ∈ P C2π (R, C ] [18لتكن
∫2π
1
∀x ∈ R = ), f ∗ g(x f (x − y)g( y)d y
2π
0
و .g f تسمى جداء لف الدالتين f ∗g الدالة الجديدة
بعض الخصائص العامة لجداء اللف
و ). g ∈ P C2π (R, C )f ∈ P C2π (R, C لتكن
(1
∀x ∈ R ), f ∗ g(x + 2π) = f ∗ g(x
في تعر يف جداء لف ،لحصلنا على: y (2لو إستعملنا المتغير الجديد u = x − yبدلا من المتغير
∫2π
1
∀x ∈ R = ), f ∗ g(x f (x − y)g( y)d y
2π
0
∫x ∫2π
1 1
= = f (u)g(x − u)du )f (u)g(x − u)du = g ∗ f (x
2π 2π
x−2π 0
⇒ ∀x ∈ R ), f ∗ g(x) = g ∗ f (x
19
)(Convolution P C2π . .جداء اللف في الفضاء .مفاهيم أساسية الفصل
⇒ f ∗g=g∗f
نقول بأن جداء لف تبديلي.
و ) .h ∈ P C2π (R, Cلدينا: )g ∈ PC2π (R, C ،f )∈ P C2π (R, C (3لتكن
∀α ∈ C , (α f + h) ∗ g = α.( f ∗ g) + h ∗ g
و .g f نقول بأن جداء لف خطي بالنسبة لكل من المتغيرين
ستكون كذلك كثير f ∗g كثير حدود مثلثي ،فإن الدالة g أو f (4إذا كانت إحدى الدالتين
حدود مثلثي[2] .
و ) .h ∈ P C2π (R, Cلدينا: )g ∈ PC2π (R, C ،f )∈ P C2π (R, C ޝࣩࢰ ޓࡀ [ ] ۫1.10.1لتكن
)( f ∗ g) ∗ h = f ∗ (g ∗ h
نقول بأن جداء لف تجميعي.
إثبات النظر ية
∫2π
1
∀x ∈ R = ), ( f ∗ g) ∗ h(x f ∗ g( y)h(x − y)d y
2π
0
∫2π ∫2π
1 1
= ( f (z)g( y − z)dz)h(x − y)d y
2π 2π
0 0
نضع
∫2π ∫2π
1 1
=I ( f (z)g( y − z)dz)h(x − y)d y
2π 2π
0 0
فنجد dz و dy نبادل بين
∫2π ∫2π
1 1
=I ()f (z g( y − z)h(x − y)d y)dz
2π 2π
0 0
y في التكامل الداخلي ،لنستعمل المتغير u = y − zبدلا من المتغير
∫2π ∫
2π−z
1 1
=I ()f (z g(u)h(x − z − u)du)dz
2π 2π
0 0−z
20
(Convolution) P C2π جداء اللف في الفضاء. . مفاهيم أساسية. الفصل
∫2π ∫2π
1 1
= f (z)( g(u)h(x − z − u)du)dz
2π 2π
0 0
فإن PC2π (R, C) في الفضاءu 7→ g(u)h(x − z − u) :بمأن الدالة
∫2π
1
I= f (z)(g ∗ h)(x − z)dz
2π
0
= f ∗ (g ∗ h)(x)
⇒ ( f ∗ g) ∗ h = f ∗ (g ∗ h)
.و هو المطلوب
جداء اللف والإستمرار
. g ∈ P C2π (R, C) وf ∈ P C2π (R, C) ۫ لتكن1.10.2 ࡀޝࣩࢰ ޓ
. مستمرة إستمرارا منتظماf ∗ g الدالة:لدينا
:بحيث M ≻0 يوجد عدد حقيقي.ϵ ≻ 0 إثبات النظر ية ليكن
∥g∥∞ ≤ M
: بحيثh ∈ C2π (R, C) توجد دالة
ϵ
∥ f − h∥1 ≤ ∥ f − h∥2 ≤
4M
∫2π
1
⇒ ∀x ∈ R , | f ∗ g(x) − h ∗ g(x)| = ( f ( y) − h( y))g(x − y)d y
2π
0
∫
2π
1
≤ |( f ( y) − h( y))g(x − y)| d y
2π
0
ϵ
≤ M ∥ f − h∥1 ≤
4
: لدينا،من جهة أخرى
∀ (x 1 , x 2 ) ∈ R2 , | f ∗ g(x 1 ) − f ∗ g(x 2 )|
= | f ∗ g(x 1 ) − h ∗ g(x 1 ) + h ∗ g(x 1 ) − h ∗ g(x 2 ) + h ∗ g(x 2 ) − f ∗ g(x 2 )|
≤ | f ∗ g(x 1 ) − h ∗ g(x 1 )| + |h ∗ g(x 2 ) − f ∗ g(x 2 )| + |h ∗ g(x 1 ) − h ∗ g(x 2 )|
≤ 2M ∥ f − h∥1 + |h ∗ g(x 1 ) − h ∗ g(x 2 )|
ϵ
≤ + |h ∗ g(x 1 ) − h ∗ g(x 2 )|
2
21
)(Convolution P C2π . .جداء اللف في الفضاء .مفاهيم أساسية الفصل
لـكن ،لدينا:
∫2π
1
∀(x 1 , x 2 ) ∈ R2 = |) , |h ∗ g(x 1 ) − h ∗ g(x 2 (h(x 1 − y) − h(x 2 − y))g( y)d y
2π
0
∫
2π
1
≤ |h(x 1 − y) − h(x 2 − y)| |g( y)| d y
2π
0
∫2π
M
≤ |h(x 1 − y) − h(x 2 − y)| d y
2π
0
بحكم أن الدالة hمستمرة إستمرارا منتظما ،يوجد ،α ≻ 0بحيث:
ϵ
≤ |)|x 1 − x 2 | ≤ α ⇒ |h(x 1 − y) − h(x 2 − y
2M
ϵ
⇒ ∀(x 1 , x 2 ) ∈ R2 ≤ |) , |x 1 − x 2 | ≤ α ⇒ |h ∗ g(x 1 ) − h ∗ g(x 2
2
⇒ ∀(x 1 , x 2 ) ∈ R2 , |x 1 − x 2 | ≤ α ⇒ | f ∗ g(x 1 ) − f ∗ g(x 2 )| ≤ ϵ
و هو المطلوب.
جداء اللف و الإشتقاق
و ). g ∈ PC2π (R, C )f ∈ PC2π (R, C ޝࣩࢰ ޓࡀ ۫1.10.3لتكن
( إذا كانت الدالة fقابلة للإشتقاق عند جميع نقاط Rو دالتها المشتقة f ′مستمرة)يعني الدالة
fمن الصنف ،(C 1فإن الدالة f ∗ gستكون من الصنف C 1عند جميع نقاط ،Rو لدينا:
∀x ∈ R ), ( f ∗ g)′ (x) = ( f ′ ∗ g)(x
ستكون من الصنف f ∗g ( إذا كانت الدالة fمن الصنف C kعند جميع نقاط ،Rفإن الدالة
C kعند جميع نقاط ،Rو لدينا:
∀x ∈ R }, ∀i ∈ {1, ...., k ), ( f ∗ g)(i) (x) = ( f (i) ∗ g)(x
ستكون من الصنف f ∗g ( إذا كانت الدالة fمن الصنف ∞ Cعند جميع نقاط ،Rفإن الدالة
∞ Cعند جميع نقاط .R
)(Convolution P C2π . .جداء اللف في الفضاء .مفاهيم أساسية الفصل
جداء اللف و التقريب
تحقق الشروط )P C2π (R, C [ لتكن ) (Tnمتتالية من الدوال في الفضاء ޝࣩࢰ ޓࡀ ] [ ] ۫1.10.4
التالية:
(
∃n0 ∈ N /∀n ≥ n0 , ∀x ∈ R , Tn (x) ≥ 0
(
∫2π
1
∃n0 ∈ N /∀n ≥ n0 , Tn (x)d x = 1
2π
0
(
∫π
]∀δ ∈ (0, π = ), Jδ (n [Tn (x) + Tn (−x)]d x −−−−→ 0
∞n7→+
δ
لدينا الحقيقة التالية:
)∀ f ∈ C2π (R, C , ∥ f ∗ Tn − f ∥∞ −−−−→ 0
∞n7→+
۫1.10.1 ࡀࣩࠛ൨ൣإذا كانت الدالة Tnموجبة ،زوجية على المجال [ ] − π, πو تناقصية على المجال
[ ]0, πو تحقق الشرط التالي:
[∀x ∈]0, π , Tn (x) −−−−→ 0
∞n7→+
فإنها ستحقق حتما الشرط الثالث ) 3للنظر ية السابقة لإن:
∫π
]∀δ ∈]0, π , Jδ (n) = 2 Tn (x)d x ≤ 2(π − δ)Tn (δ) −−−−→ 0
∞n7→+
δ
بحيث: M ≻0 . fليكن )∈ C2π (R, C إثبات النظر ية ] [18لتكن
∥ f ∥∞ ≤ M
. fو بالتالي ،ستكون مستمرةإستمرارا منتظما .يوجد إذا ،α ≻ 0بحيث: )∈ C2π (R, C الدالة
ϵ
∀(x 1 , x 2 ) ∈ R2 ≤ |) , |x 1 − x 2 | ≤ α ⇒ | f (x 1 ) − f (x 2
2
23
(Convolution) P C2π جداء اللف في الفضاء. . مفاهيم أساسية. الفصل
:لدينا
∫π ∫π
1 1
f (t) − ( f ∗ Tn )(t) = f (t)Tn (u)du − f (t − u)Tn (u)du
2π 2π
−π −π
∫π
1
= ( f (t) − f (t − u))Tn (u)du
2π
−π
∫π ∫π
1 1
⇒ | f (t) − ( f ∗ Tn )(t)| = f (t) − f (t − u)Tn (u)du ≤ | f (t) − f (t − u)| |Tn (u)| du
2π 2π
−π −π
∫−α ∫α
1 1
= | f (t) − f (t − u)| |Tn (u)| du + | f (t) − f (t − u)| |Tn (u)| du
2π 2π
−π −α
∫π
1
+ | f (t) − f (t − u)| |Tn (u)| du
2π
α
∫−α ∫α ∫π
1 1 ϵ 1
≤ 2M |Tn (u)| du + |Tn (u)| du + 2M |Tn (u)| du
2π 2π 2 2π
−π −α α
∫α ∫π
ϵ 1 1
= |Tn (u)| du + 2M |Tn (u) + Tn (−u)| du
2 2π 2π
−α α
ϵ 2M
≤ + Jα (n)
2 2π
:لـكننا إفترضنا بأن
Jα (n) −−−−→ 0
n7→+∞
ϵπ
⇒ ∃n0 ∈ N /∀n ≥ n0 , 0 ≤ Jα (n) ≤
2M
ϵ M
⇒ ∀n ≥ n0 , + Jα (n) ≤ ϵ
2 π
⇒ ∀n ≥ n0 , ∀t ∈ R , | f (t) − f ∗ Tn (t)| ≤ ϵ
⇒ ∀n ≥ n0 , ∥ f − f ∗ Tn ∥∞ ≤ ϵ
⇒ ∥ f ∗ Tn − f ∥∞ −−−−→ 0
n7→+∞
24
الفصل 2
سلاسل فورييه للدوال f ∈ P C2π
في هذا الفصل سندرس سلاسل فورييه للدوال الدور ية المستمرة قطعيا ،حيث نبدأ بتعر يف
السلاسل المثلثية عموما ثم نعرف معاملات فورييه ،و نتطرق إلى بعض خصائصها العامة .نعرف
بعد ذلك ،سلسلة فورييه .ثم ندرس مسألة تقارب هذه السلسلة ،و علاقتها بالدالة الأصلية .نتطرق
في هذا الإطار على عدة نظر يات )برسفال ،دير يكله ،و فيجر.(...
السلاسل المثلثية 2.1
تعر يف السلاسل المثلثية 2.1.1
] [5لتكن:
∑
gn
n≥0
يمكن gn سلسلة من الدوال .نقول بأن هذه السلسلة مثلثية إذا كان لكل عدد كلي ،nالدالة
صياغتها في الشكل التالي:
∀x ∈ R , g n (x) = Cn e inx + C−n e−inx
أعداد مركبة ثابتة. Cn , C−n حيث أن
تقارب السلاسل المثلثية 2.1.2
نظر ية تمهيدية لتكن الدالة التالية:
∀x ∈ R , g n (x) = Cn e inx + C−n e−inx
لدينا:
| ∥g n ∥∞ = sup |g n (x)| = |Cn | + |C−n
]x∈[0,2π
25
. .السلاسل المثلثية .سلاسل فورييه للدوال f ∈ P C2π الفصل
إثبات النظر ية التمهيدية لدينا:
∀x ∈ R | , |g n (x)| ≤ |Cn | + |C−n
من جهة أخرى ،لتكن:
Cn = ρn e iθn , C−n = ρ−n e iθ−n
⇒ ∀x ∈ R ), g n (x) = Cn e inx + C−n e−inx = ρn e i(θn +nx) + ρ−n e i(θ−n −nx
بحيث يكون: x هل يوجد عدد حقيقي
θn + nx = θ−n − nx
⇔ 2nx = θn + θ−n
θn + θ−n
=⇔x
2n
الجواب :نعم ،و في هذه الحالة ،لدينا:
)|g n (x)| = Cn e inx + C−n e−inx = (ρn + ρ−n ) e i(θn +nx
| = ρn + ρ−n = |Cn | + |C−n
| ⇒ ∥g n ∥∞ = sup |g n (x)| = |Cn | + |C−n
]x∈[0,2π
نظر ية ] [9لتكن:
∑
) (Cn e inx + C−n e−inx
n≥0
∑
ٺتقارب تقاربا طبيعيا ،إذا كانت السلسلة ) (Cn e inx + C−n e−inx سلسلة مثلثية .نقول بأن السلسلة
n≥0
التالية:
∑
Cn e inx + C−n e−inx ∞
n≥0
تقاربية.
∑
ٺتقارب تقاربا طبيعيا إذا و فقط إذا كانت ) (Cn e inx + C−n e−inx لدينا الحقيقة التالية :السلسلة
n≥0
السلسلة التالية:
∑
)| (|Cn | + |C−n
n≥0
تقاربية.
( ] [ لتكن ۫2.1.1 ࡀࣩࠛ൨ൣ
∑ ∑
= Cn e inx + C−n e−inx ))(an cos (nx) + bn sin (nx
n≥0 n≥0
. .معاملات فورييه .سلاسل فورييه للدوال f ∈ P C2π الفصل
سلسلة مثلثية .هذه السلسلة ٺتقارب تقاربا طبيعيا إذا و فقط إذا كانت السلسلة التالية:
∑
)| (|an | + |bn
n≥0
تقاربية ،لإن
an = Cn + C−n , ) bn = i (Cn − C−n
an + i bn an − i bn
= ⇒ Cn , = C−n
2 2
)| ⇒ |Cn | + |C−n | ⩽ |an | + |bn | ⩽ 2 (|Cn | + |C−n
( لتكن
∑
gn
n≥0
سلسلة من الدوال المعرفة من المجال ] [a, bالي مجموعة الاعداد المركبة.
∑ ∑
ٺتقارب تقاربا منتظما gn تقاربية فإن سلسلة الدوال ∞∥ ∥g n -إذا كانت السلسلة
n≥0 n≥0
،لـكن العكس غير صحيح.
∑
ٺتقارب تقاربا gn و سلسلة الدوال ][a, b متصلةعلى المجال gn -إذا كانت الدوال
n≥0
منتظماإلى الدالة ،Gفإن هذه الدالة الأخيرة Gستكون حتما مستمرةعلى المجال ].[a, b
ޝࣩࢰ ޓࡀ [ ] ۫2.1.1لتكن:
∑ ∑
)an cos (nx , )bn sin (nx
n≥0 n≥0
]α ∈ [0, π متسلسلتين دائريتين .لتكن
( إذا كانت ) (anمتتالية من الأعداد الحقيقية الموجبة،تناقصية ،و ٺتقارب إلى الصفر ،فإن
∑
السلسلة المثلثية ) an cos (nxٺتقارب تقاربا منتظما ،على المجال المغلق ].[α, 2π − α
n≥0
إذا كانت ) (bnمتتالية من الأعداد الحقيقية الموجبة،تناقصية ،و ٺتقارب إلى الصفر ،فإن
∑
السلسلة المثلثية ) bn cos (nxٺتقارب تقاربا منتظما ،على المجال المغلق ].[α, 2π − α
n≥0
معاملات فورييه 2.2
معاملات فورييه الأسية 2.2.1
عدد صحيح .العدد المركب التالي: n∈Z و )f ∈ P C2π (R, C لتكن
∫2π
1
f (x)e−inx d x
2π
0
27
. .معاملات فورييه .سلاسل فورييه للدوال f ∈ P C2π الفصل
أو أحيانا بالرمز ) .Cn ( f )fˆ(n للدالة ، fو نرمز له بالرمز n يسمى معامل فورييه الأسي رقم
ملاحظة إذا كانت الدالة fدور ية ،والعدد T ≻ 0يمثل دورة لها .لنفرض بأن الدالة مستمرة
قطعيا على المجال ] .[0, Tفي هذه الحالة ،معامل فورييه الأسي رقم nللدالة ، fهو معامل فورييه
،و هو العدد المركب التالي: f˜(x) = f ( 2π
T
)x للدالة: n الأسي رقم
∫T
1 2π
= ) Cn ( f f (x)e−in T x d x
T
0
بعض الخصائص العامة لمعاملات فورييه الأسية
.f )∈ PC2π (R, C ] [8لتكن
(1لكل عدد حقيقي ،a ∈ Rلدينا:
∫2π ∫
a+2π
1 1
= )fˆ(n = f (x)e−inx d x f (x)e−inx d x
2π 2π
0 a
لإن الدالة ). f (x)e−inx ∈ P C2π (R, C
∫π
1
= )⇒ fˆ(n f (x)e−inx d x
2π
−π
(2لدينا:
∧
)f (n) = Cn ( f ) = fˆ(−n
لإن:
∧
∫2π ∫2π ∫
a+2π
1 1 1
= )f (n = f (x)e−inx d x = f (x)e inx d x f (x)e inx d x
2π 2π 2π
0 0 a
)= fˆ(−n
بالشكل التالي: ،لنعرف الدالة (3لكل
⌣
f )f ∈ P C2π (R, C
⌣
∀x ∈ R ), f (x) = f (−x
لدينا:
∧ ∫π ∫π
⌣ 1 1
∀n ∈ Z = ), f (n = f (−x).e−inx d x )f (u)e inu du = fˆ(−n
2π 2π
−π −π
لقد إستعملنا المتغير الجديد.u = −x :
28
. .معاملات فورييه .سلاسل فورييه للدوال f ∈ P C2π الفصل
بالشكل التالي: fa و .a ∈ Rلنعرف الدالة )f ∈ P C2π (R, C (4لتكن
∀x ∈ R ), f a (x) = f (x + a
لدينا:
∧
∀n ∈ Z ), f a (n) = e ina fˆ(n
لإن:
∫2π ∫
a+2π
1 1
= )fˆa (x = f (x + a)e−inx d x f (u)e−in(u−a) d x
2π 2π
0 a
∫
a+2π
1
= e ina )f (u)e−inu d x = e ina fˆ(n
2π
a
لقد إستعملنا المتغير الجديد.u = x + a :
و .λ ∈ Cلدينا: )g ∈ PC2π (R, C ،f )∈ P C2π (R, C (5ليكن
∀n ∈ Z ), Cn (λ f + g) = λCn ( f ) + Cn (g
(6لدينا:
∫π ∫π
1 1
∀n ∈ Z ≤ ), fˆ(n = f (x)e−inx d x | f (x)| d x = ∥ f ∥1
2π 2π
−π −π
⇒ ∀n ∈ Z ∞∥ , fˆ(n) ≤ ∥ f ∥1 ≤ ∥ f ∥2 ≤ ∥ f
قطعيا. C1 ޝࣩࢰ ޓࡀ ۫2.2.1لتكن ) . f ∈ PC2π (R, Cلنفترض بأن الدالة fمستمرةو من الصنف
لتكن ) D f ∈ P C2π (R, Cشبة مشتقة للدالة . fلدينا الحقيقة التالية:
∧
∀n ∈ Z ), D f (n) = (in) fˆ(n
إثبات النظر ية لدينا:
∫2π ∫ n−1
∑
x i+1
∧ 1
= )D f (n = D f (x)e−inx d x D f (x)e−inx d x
2π i=0
0 xi
29
معاملات فورييه. . f ∈ P C2π سلاسل فورييه للدوال. الفصل
نستعمل قانون التكامل بالتجزئة
n−1 ∫
x i+1
∧ ∑ ∑
n−1
−inx
D f (n) = −(−in) f (x)e dx + [ f (x)e−inx ] xx i+1
i
i=0 i=0
xi
n−1 ∫
x i+1
∑ ∑
n−1
−inx −
= (in) f (x)e dx + [ f (x i+1 )e−inx i+1 − f (x i+ )e−inx i ]
i=0 i=0
xi
∑
n−1 ∫
x i+1
∑
n−1
−inx
= (in) f (x)e dx + [ f (x i+1 )e−inx i+1 − f (x i )e−inx i ]
i=0 i=0
xi
:لـكن
−
f (x i+1 ) = f (x i+1 ) , f (x i+ ) = f (x i )
: و بالتالي.[0, 2π] مستمرةعلى المجال f (x) لإن الدالة
n−1 ∫
x i+1
∧ ∑
D f (n) = (in) f (x)e−inx d x + [ f (x)e−inx ]2π
0
i=0
xi
∫2π
= (in) f (x)e−inx d x + 0
0
= (in) fˆ(n)
: لدينا. f ∈ P C2π (R, C) ۫ لتكن2.2.2 ࡀޝࣩࢰ ޓ
(
fˆ(n) −−−−→ 0 , fˆ(−n) −−−−→ 0
n7→+∞ n7→+∞
: لدينا،قطعيا Ck من الصنف f ( إذا كانت
nk fˆ(n) −−−−→ 0 , nk fˆ(−n) −−−−→ 0
n7→+∞ n7→+∞
.ϵ ≻ 0 إثبات النظر ية ليكن
:بحيث P ( لقد أثبتنا سابقا بأنه يوجد كثير حدود مثلثي1
ϵ
∥ f − P∥2 ≤
2
30
معاملات فورييه. . f ∈ P C2π سلاسل فورييه للدوال. الفصل
:لدينا
∫2π ∫2π
1 1
fˆ(n) = f (x)e−inx d x = ( f (x) − P(x))e−inx d x + P̂(n)
2π 2π
0 0
∫2π
1 P̂ ′ (n)
= ( f (x) − P(x))e−inx d x +
2π in
0
∫2π
1 −inx P̂ ′ (n) ∥P ′ ∥1
⇒ fˆ(n) ≤ ( f (x) − P(x))e dx + ≤ ∥ f − P∥1 +
2π in |n|
0
∥P ′ ∥1
≤ ∥ f − P∥2 +
|n|
ϵ ∥P ′ ∥1
≤ +
2 |n|
:لـكننا نعلم جيدا بأن
∥P ′ ∥1
−−−−→ 0
|n| |n|7→+∞
∥P ′ ∥1 ϵ
⇒ ∃n0 ∈ N /∀ |n| ≥ n0 , ≤
|n| 2
′
ϵ ∥P ∥1
⇒ ∃n0 ∈ N /∀ |n| ≥ n0 , + ≤ϵ
2 |n|
⇒ ∃n0 ∈ N /∀ |n| ≥ n0 , fˆ(n) ≤ ϵ
⇒ fˆ(n) −−−−→ 0 , fˆ(−n) −−−−→ 0
n7→+∞ n7→+∞
.و هو المطلوب
: لدينا. f للدالة k شبة مشتقة من الرتبة D(k) f ( ليكن2
D(k) f ∈ PC2π (R, C)
∧
(k) (k)
Cn (D f ) = (D f )(n) = (in)k fˆ(n)
∧
(k) (k)
⇒ Cn (D f ) = (D f )(n) = (in)k fˆ(n)
∧
⇒ Cn (D(k) f ) = ( D(k) f )(n) = nk fˆ(n) −−−−→ 0
|n|7→+∞
⇒ n fˆ(n) −−−−→ 0
k
, n fˆ(−n) −−−−→ 0
k
n7→+∞ n7→+∞
: لدينا. g ∈ P C2π (R, C) و f ∈ P C2π (R, C) :۫ ليكن2.2.3 ࡀޝࣩࢰ ޓ
∀n ∈ Z , Cn ( f ∗ g) = Cn ( f ) × Cn (g)
31
. .معاملات فورييه .سلاسل فورييه للدوال f ∈ P C2π الفصل
إثبات النظر ية لدينا:
∫2π ∫2π ∫2π
1 1 1
= )Cn ( f ∗ g = ( f ∗ g)(x)e−inx d x [ f (x − y)g( y)d y]e−inx d x
2π 2π 2π
0 0 0
و ،d yنحصل على: dx نبادل
∫2π ∫2π
1 1
= )Cn ( f ∗ g [ f (x − y)e−inx d x]g( y)d y
2π 2π
0 0
في التكامل الداخلي ،نستعمل المتغير الجديد u = x − y :بدلا من المتغير القديم ، xنحصل على:
∫2π ∫ y
2π− ∫2π ∫2π
1 1 1 1
= )Cn ( f ∗ g [ = f (u)e−in(u+ y) du]g( y)d y [ f (u)e−in(u+ y) du]g( y)d y
2π 2π 2π 2π
0 0− y 0 0
لإن الدالة u 7→ f (u)e−in(u+ y) :تنتمي إلى الفضاء ). PC2π (R, C
∫2π ∫2π
1 1
= )Cn ( f ∗ g [ f (u)e−inu du]g( y)e−in y d y
2π 2π
0 0
∫2π ∫2π
1 1
= ]) [Cn ( f )]g( y)e−in y d y = [Cn ( f g( y)e−in y d y
2π 2π
0 0
)= Cn ( f ) × Cn (g
معاملات فورييه المثلثية 2.2.2
عدد طبيعي .الأعداد المركبة التالية: n∈N و )f ∈ PC2π (R, C لتكن
∫2π ∫2π ∫2π
1 1 1
= ) a0 ( f f (x)d x = ) , an ( f f (x) cos(nx)d x = ) , bn ( f f (x) sin(nx)d x
π π π
0 0 0
تسمى بـ :معاملات فورييه المثلثية للدالة . f
ملاحظة إذا كانت الدالة fدور ية ،والعدد T ≻ 0يمثل دورة لها .لنفرض بأن الدالة مستمرة
قطعيا على المجال ] .[0, Tفي هذه الحالة ،معاملات فورييه المثلثية للدالة ، fهي معاملات فورييه
،و هي الأعداد المركبة التالية: f˜(x) = f ( 2π
T
)x المثلثية للدالة:
∫T ∫T ∫T
2 2 2π 2 2π
= ) a0 ( f f (x)d x = ) , an ( f f (x) cos(n x)d x = ) , bn ( f f (x) sin(n x)d x
T T T T T
0 0 0
32
. .معاملات فورييه .سلاسل فورييه للدوال f ∈ P C2π الفصل
بعض الخصائص العامة لمعاملات فورييه المثلثية
.f )∈ PC2π (R, C ] [9لتكن
(1لكل عدد حقيقي ،a ∈ Rلدينا:
∫
a+2π ∫
a+2π ∫
a+2π
1 1 1
= ) a0 ( f f (x)d x = ) , an ( f f (x) cos(nx)d x = ) , bn ( f f (x) sin(nx)d x
π π π
a a a
∫π ∫π ∫π
1 1 1
= ) ⇒ a0 ( f f (x)d x = ) , an ( f f (x) cos(nx)d x = ) , bn ( f f (x) sin(nx)d x
π π π
−π −π −π
دالة حقيقية ،فإن معاملات فورييه المثلثية للدالة fتكون جميعها )f ∈ P C2π (R, R (2إذا كانت
أعدادا حقيقية.
.f )∈ P C2π (R, C (3لتكن
ستكون فردية ،و بالتالي: )f (x) sin(nx زوجية ،فإن الدالة f -إذا كانت الدالة
∫π
1
∀n ≥ 1 = ) , bn ( f f (x) sin(nx)d x = 0
π
−π
فستكون زوجية ،و بالتالي: )f (x) cos(nx أما الدالة
∫π ∫π
1 2
∀n ≥ 0 = ) , an ( f = f (x) cos(nx)d x f (x) cos(nx)d x
π π
−π 0
ستكون فردية ،و بالتالي: )f (x) cos(nx فردية ،فإن الدالة f -إذا كانت الدالة
∫π
1
∀n ≥ 0 = ) , an ( f f (x) cos(nx)d x = 0
π
−π
فستكون زوجية ،و بالتالي: )f (x) sin(nx أما الدالة
∫π ∫π
1 2
∀n ≥ 1 = ) , bn ( f = f (x) sin(nx)d x f (x) sin(nx)d x
π π
−π 0
(4لدينا:
−inx −inx
e inx
+e e inx
−e
= )cos(nx = ), sin(nx
2 2i
33
. .مجموع فورييه-سلسلة فورييه .سلاسل فورييه للدوال f ∈ P C2π الفصل
∫2π
1
= ) ⇒ a0 ( f ) f (x)d x = 2C0 ( f
π
0
∫2π
1
= ) an ( f ) f (x) cos(nx)d x = Cn ( f ) + C−n ( f
π
0
∫2π
1 ) C−n ( f ) − Cn ( f
= ) bn ( f = f (x) sin(nx)d x )) = i(Cn ( f ) − C−n ( f
π i
0
(5لدينا:
an ( f ) = Cn ( f ) + C−n ( f ) ⇒ an ( f ) −−−−→ 0
∞n7→+
bn ( f ) = i(Cn ( f ) − C−n ( f )) ⇒ bn ( f ) −−−−→ 0
∞n7→+
مجموع فورييه-سلسلة فورييه 2.3
)f ∈ P C2π (R, C لتكن
1كثير الحدود المثلثي التالي
∑
n=N
∑ ) a0 ( f
N
= )SN ( f ) (x ˆ
= f (n) e
inx
+ ))(an ( f ) cos (nx) + bn ( f ) sin (nx
n=−N
2 n=1
للدالة . f N يسمى بمجموع فورييه من الرتبة
(2سلسلة الدوال التالية
∑ ∑ ) a0 ( f
fˆ (0) + = fˆ (n) e inx + fˆ (−n) e−inx + ))(an ( f ) cos (nx) + bn ( f ) sin (nx
n≥1
2 n≥1
تسمى بسلسلة فورييه للدالة . f
تقارب سلسلة فورييه 2.4
ޝࣩࢰ ޓࡀ ۫2.4.1لتكن
∑
−inx
C0 + Cn e inx + C−n e
n≥1
سلسلة مثلثية.
إذا كانت هذه السلسلة المثلثية ٺتقارب تقاربا منتظما إلى الدالة ، fفإن:
. .تقارب سلسلة فورييه .سلاسل فورييه للدوال f ∈ P C2π الفصل
)f ∈ PC2π (R, R (
( لدينا:
∀n ∈ N , fˆ (n) = Cn , ∀n ∈ N , fˆ (−n) = C−n
إثبات النظر ية
،كثيرة الحدود المثلثية: N -1بحكم أنه لكل عدد طبيعي
∑
n=N
PN (x) = C0 + Cn e inx + C−n e−inx
n=1
مستمرةو دور ية ،و العدد 2πيمثل دورة لها ،وٺتقارب تقاربا منتظما إلى الدالة fفإن الدالة،
fستكون بدورها مستمرةو دور ية ،والعدد 2πيمثل دورة لها يعنيf ∈ P C2π (R, R) ،
،لدينا: n -2لكل عدد صحيح
| )∀x ∈ R , |PN (x) e−inx − f (x) e−inx | = |PN (x) − f (x
.ومن ثم، f (x) e−inx ٺتقارب تقاربا منتظما للدالة Pn (x) e−inx N
وبالتالي ،متتالية الدوال
لدينا:
∫ 2π ∫ 2π
−inx
PN (x) e →d x −−−− f (x) e−inx d x
∞N 7→+
0 0
∫ 2π ∫ 2π
1 −inx 1
⇒ PN (x) e →d x −−−− )f (x) e−inx d x = fˆ (n
2π N 7→+∞ 2π
0 0
يحقق الشرط N لـكن لكل عدد طبيعي
|n| ≤ N
لدينا:
∫ 2π
1
⇒ PN (x) e−inx d x = Cn
2π 0
⇒ ∀n ∈ Z , fˆ (n) = Cn
الفضاء) (P C2π , ∥ . ∥2 تقارب سلسلة فورييه في 2.4.1
متراجحة بيسال )(Bessel’s Inequality
:الفضاء الإتجاهي الجزئي المولد بالمجموعة التالية PN . fليكن )∈ P C2π (R, C نظر ية التمهيدية لتكن
} ek = e ikx /k ∈ {−N , ..., N
35
. .تقارب سلسلة فورييه .سلاسل فورييه للدوال f ∈ P C2π الفصل
N هو مجموعة كثيرات الحدود المثلثية التي درجتها تكون أصغر أو تساوي العدد الطبيعي PN يعني،
لدينا:
التي تحقق الشرط التالي: PN SN ( f ) (1هي كثير الحدود المثلثيالوحيدة في
∀P ∈ PN , [ f − SN ( f )] ⊥ P
(2لكل عدد طبيعي ،Nلدينا:
∑
n=N
| fˆ (n) |2 ≤ ∥ f ∥22
n=−N
إثبات النظر ية التمهيدية
(1لدينا:
} ∀ n ∈ {−N , ..., N , 〈[ f − SN ( f ) /en ]〉 = 0
⇒ ∀ P ∈ PN , 〈[ f − SN ( f ) /P]〉 = 0
⇒ ∀ P ∈ PN , [ f − SN ( f )] ⊥ P = 0
لنفرض بأن Qكثير حدود مثلثي في ، PNوتحقق الشرط التالي:
∀P ∈ PN , [ f − Q] ⊥ P
⇒∀P ∈ PN , 〈[Q − SN ( f ) = ( f − SN ( f )) − ( f − Q)] /P〉 = 0
⇒〈[Q − SN ( f )] / [Q − SN ( f )]〉 = 0
بحكم أن ) ،[Q − SN ( f )] ∈ C2π (R, Cفإن:
) [Q − SN ( f )] = 0 ⇒ Q = SN ( f
(2لكل عدد طبيعي ،Nلدينا:
) [ f − SN ( f )] ⊥ SN ( f
حسب نظر ية فيثاغورس ،لدينا:
∥ f ∥22 = ∥ f − SN ( f ) ∥22 + ∥SN ( f ) ∥22
∑
n=N
= ∥SN ( f ) ∥2
2
∥ fˆ (n) ∥2 ≤ ∥ f ∥22
n=−N
. .تقارب سلسلة فورييه .سلاسل فورييه للدوال f ∈ P C2π الفصل
n=N
ޝࣩࢰ ޓࡀ ۫2.4.2المتتالية التالية:
∑
| fˆ (n) |2
n=−N N
متتالية تزايدية ومحدودة ،وبالتالي ستكون حتما تقاربية .لنرمز للعدد الذي ٺتقارب إليه بالرمز
التالي
∑
n=N ∑
∞+
lim = | fˆ (n) |2 | fˆ (n) |2
∞N →+
n=−N ∞−
لدينا الحقيقة التالية:
∑
∞+
| fˆ (n) |2 ≤ ∥ f ∥22
∞−
هذه المتراجحة تسمى بمتراجحة بيسال )(Bessel’s Ineguality
نظر ية برسفال )(Parseval’s theorem
. fلدينا )∈ P C2π (R, C لتكن
∑
∞+
| fˆ(n)|2 = ∥ f ∥22
∞−
إثبات نظر ية برسفال حسب متراجحة بيسال ،لدينا:
∑
∞+
| fˆ(n)|2 ≤ ∥ f ∥22
∞−
من جهة أخرى ،مجموعة كثيرات الحدود المثلثية كثيفة في الفضاء ) (P C2π (R, C) , ∥.∥2يعني
لكل ϵ > 0يوجد كثير حدود مثلثي P ،بحيث:
p
≤ ∥ f − P∥2 ϵ
درجة كثير الحدود المثلثي . Pلدينا: N لتكن
∀Q ∈ PN , 〈[ f − SN ( f )] /Q〉 = 0
]) P − SN ( f ) ∈ PN ⇒ [ f − SN ( f )] ⊥ [P − SN ( f
⇒ ∥ f − P∥22 = ∥ f − SN ( f ) ∥22 + ∥SN ( f ) − P∥22 ≤ ϵ
⇒ ∥ f − SN ( f ) ∥22 ≤ ∥ f − P∥22 ≤ ϵ
⇒ ∥ f ∥22 = ∥SN ( f ) ∥22 + ∥ f − SN ( f ) ∥22 ≤ ∥SN ( f ) ∥22 + ϵ
∑
∞+
≤ ⇒ ∥ f ∥22 | fˆ|2 + ϵ
∞−
37
. .تقارب سلسلة فورييه .سلاسل فورييه للدوال f ∈ P C2π الفصل
لقد أثبتنا بأنه لكل عدد حقيقي ϵ > 0 ،لدينا:
∑
∞+
∥f ∥22 ≤ | fˆ (n) |2 + ϵ
∞−
∑
∞+
≤ ∥ f ∥22 | fˆ (n) |2
∞−
و بالتالي:
∑
∞+
≤ ∥ f ∥22 | fˆ (n) |2
∞−
نظر ية برسفال بالنسبة للمعاملات المثلثية كتالي: )f ∈ P C2π (R, C ( لتكن ۫2.4.1 ࡀࣩࠛ൨ൣ
∞+
|a0 |2 ∑ |an |2 + |bn |2
+ = ∥ f ∥22
4 n=1
2
المعاملات المثلثية للدالة . f bn و an حيث
( لقد ذكرنا سابقا أنه إذا كانت الدالة fدور ية ،والعدد T ≻ 0يمثل دورة لها،وإذا كانت هذه
للدالة n الدالة مستمرة قطعيا على المجال ] .[0, Tفي هذه الحالة ،معامل فورييه الأسي رقم
للدالة ، f˜(x) = f ( 2πT x) :و هو العدد المركب التالي: n ، fهو معامل فورييه الأسي رقم
∫T
1 2π
= ) Cn ( f f (x)e−in T x d x
T
0
بالتالي،نظر ية برسفال تصبح في الشكل التالي:
∫ T ∑
∞+
1
∥ f˜∥22 = = | f (x) |2 d x |Cn ( f ) |2
T 0 ∞−
. fلدينا: )∈ P C2π (R, C ޝࣩࢰ ޓࡀ ۫2.4.3لتكن
∥ f − SN ( f ) ∥2 −−−−→ 0
∞N 7→+
نكتب كذلك:
) (PC2π (R,C),∥.∥2
SN ( f ) −−−−−−−−−→ f
∞N 7→+
هي: ) f − SN ( f إثبات النظر ية معاملات فورييه للدالة
Cn ( f − SN ( f )) = 0 ∀|n| ≤ N
)Cn ( f − SN ( f )) = fˆ (n ∀|n| ≤ N + 1
. .تقارب سلسلة فورييه .سلاسل فورييه للدوال f ∈ P C2π الفصل
حسب نظر ية برسفال ،لدينا:
∑
∞|n|=+ ∑
∞n=+ ∑
n=+N
∥ f − SN ( f ) ∥22 = = | fˆ (n) |2 | fˆ (n) |2 − | fˆ (n) |2 −−−−→ 0
∞n7→+
|n|=N +1 ∞n=− n=−N
. fلدينا: )∈ P C2π (R, C ( لتكن ޝࣩࢰ ޓࡀ ۫2.4.4
∀n ∈ Z , fˆ (n) = 0 ⇔ ∃A = {x 0 , x 1 , ...., x s } ⊆ [0, 2π] /∀x ∈ [0, 2π] − A, f (x) = 0
، fلدينا: )∈ D2π (R, C ( إذا كانت
∀n ∈ Z , fˆ (n) = 0 ⇔ f = 0
و ) ، g ∈ D2π (R, Cلدينا: )f ∈ D2π (R, C ( إذا كانت
∀n ∈ Z , fˆ (n) = ĝ (n) ⇔ f = g
التقارب البسيط لسلسلة فورييه 2.4.2
نظر ية دير يكله )(Dirichlet
:ليكن x0 ∈ R و )f ∈ P C2π (R, C لتكن
f x 0+ + f x 0−
= l0
2
إذا كانت النهاية التالية:
f (x 0 + x) + f (x 0 − x) − 2l0
lim+
x→0 x
موجودة وتكون عددا مركبا ،فإن :
lim SN ( f ) (x 0 ) = l0
∞N →+
إثبات نظر ية دير يكله
الخطوة:1
لتكن الدالة ، gالمعرفة بالشكل التالي:
) g (x) = f (x + x 0
لدينا:
)g ∈ P C2π (R, C) , ∀n ∈ Z, ĝ (n) = e inx 0 fˆ (n
39
. .تقارب سلسلة فورييه .سلاسل فورييه للدوال f ∈ P C2π الفصل
∑
n=+N
= )⇒ SN (g) (0 ) ĝ (n) = SN ( f ) (x 0
n=−N
الخطوة :2لتكن الدالة ،uالمعرفة بالشكل التالي:
)g (x) + g (−x
= )u (x
2
من الواضح بأن الدالة uزوجية ،ولدينا:
)ĝ (n) + ĝ (−n
u ∈ P C2π (R, C) , ∀n ∈ Z, = )û (n
2
∑
n=+N
= )⇒ SN (u) (0 )ĝ (n) = SN (g) (0
n=−N
لدينا كذلك:
f x 0+ + f x 0− f x 0+ + f x 0−
)l im u(x = l0 ), lim− u(x = l0
x→0+ 2 x→0 2
⇒ lim+ u (x) = lim− u (x) = l0
x→0 x→0
الخطوة :3لتكن الدالة ،hالمعرفة بالشكل التالي:
u (x) − l0
∀x ∈ R − 2πZ , = )h (x
ei x − 1
علي h يمثل دورة لها .لـكن السؤال ،هل يمكن تمديد الدالة 2π هذه الدالة دور ية والعدد
المجموعة ، Rلنحصل على دالة جديدة ) ، eh ∈ P C2π (R, Cبحيث h = ehR−2πZ؟؟ هذا الأمر ممكن
إذا وفقط إذا كانت النهايات التالية:
u (x) − l0 u (x) − l0
l im+ h (x) = lim+ , lim− h (x) = lim−
x→0 x→0 ei x − 1 x→0 x→0 ei x − 1
تكون موجودة ،وتكون أعدادا مركبة .لـكننا نلاحظ بأن:
u (x) − l0 u (x) − l0 x
∀x ∈ R − 2πZ = )h (x =
e −1
i x x ei x − 1
وأن
x x
lim+ i x = lim− i x = −i
x→0 e − 1 x→0 e − 1
و بالتالي ،فإن هذا الأمر ممكن إذا وفقط إذا كانت النهايات التالية:
u (x) − l0 u (x) − l0
lim+ , lim−
x→0 x x→0 x
40
. .تقارب سلسلة فورييه .سلاسل فورييه للدوال f ∈ P C2π الفصل
موجودة ،وتكون أعدادا مركبة .لـكن بحكم أن الدالة uزوجية ،فإن:
u (x) − l0 u (−x) − l0 u (x) − l0
l im− = lim+ = − lim+
x→0 x x→0 −x x→0 x
وبالتالي ،فإن الأمر السابق ممكن إذا وفقط إذا كانت النهاية التالية:
u (x) − l0
lim+
x→0 x
موجودة وتكون عددا مركبا .لـكن هذه النهاية تساوي
u (x) − l0 g (x) + g (−x) − 2l0 f (x + x 0 ) + f (−x + x 0 ) − 2l0
l im+ = lim+ = lim+
x→0 x x→0 2x x→0 2x
و بالتالي ،فهي موجودة ،وهي عددا مركبا ،وذالك حسب افتراضنا في نص النظر ية .وبالتالي،
لدينا:
e u (x) − l0
∀x ∈ R − 2πZ , h (x) = i x
e −1
⇒ x ∈ R − 2πZ , u (x) − l0 = e h (x) e i x − 1
⇒ x ∈ R − 2πZ , u (x) = l0 + e h (x) e i x − 1
h − C0 e
⇒ û (0) = l0 + C−1 e h − Cn e
h , ∀x ∈ Z − {0} , û (n) = Cn−1 e h
∑
n=+N
= )⇒ SN (u) (0 e (n) = l0 + C−N −1 e
u h − CN e
h
n=−N
لـكننا أثبتنا سابقا بأن:
CN e
h −→ 0 , C−N −1 e
h −→ 0
∞N →+ ∞N →+
و بالتالي:
h − CN e
SN (u) (0) = l0 + C−N −1 e h −→ l0
∞N →+
( في ظل شروط نظر ية دير يكله ،نكتب: ۫2.4.2 ࡀࣩࠛ൨ൣ
∑
∞+
) f (x + ) + f (x −
= Cn ( f ) e inx
∞−
2
للدالة . fنحصل على: ) an ( f ) , bn ( f ( إذا أردنا إستعمال المعاملات المثلثية
∑ ) a0 ( f
∞+
) f (x + ) + f (x −
+ = ))(an ( f ) cos (nx) + bn ( f ) sin (nx
2 n=1
2
. .تقارب سلسلة فورييه .سلاسل فورييه للدوال f ∈ P C2π الفصل
( إذا كانت الدالة fدور ية ،العدد T > 0يمثل دورة لها .و إذا كانت الدالة مستمرة قطعيا
على المجال ] .[0, Tفي هذه الحالة في ظل شروط نظر ية دير يكله ،نكتب:
T + T −
∑
∞+ f x +f x
) fe (x + ) + fe (x − 2π 2π
Cn ( f ) e inx
= =
∞−
2 2
∑
∞+ 2π
x ) f (x + ) + f (x −
in
⇒ = Cn ( f ) e T
∞−
2
حيث:
T
fe (x) = f x
2π
م ( لقد كتب جوزييف فورييه في كتابه ”النظر ية التحليلية للحرارة” الذي صدر سنة
مايلي ” ...كل دالة يمكن تفكي ها الى سلاسل مثلثية وأنه من السهل إثبات أن هذه
السلاسل ٺتقارب ،”...لـكنه لم يثبت هذا الإدعاء .
م ،مباشرة بعد وفاة أثبت هذه النظر ية عالم الر ياضيات الألماني ،دير يكله ،سنة
جوزييف فورييه.
. x0 ∈ R و )f ∈ P C2π (R, C ޝࣩࢰ ޓࡀ [ ] ۫2.4.5لتكن
إذا كانت النهايتين التاليتين:
f (x 0 + x) − f x 0+ f (x 0 + x) − f x 0−
lim , lim
x→0+ x x→0+ x
موجودتين ،وكانتا عددين مركبين ،فإن:
f x 0+ + f x 0−
= ) lim SN ( f ) (x 0
∞N →+ 2
إثبات النظر ية ليكن:
f x 0+ +f x 0−
= l0
2
لو جمعنا النهايتين السابقتين ،لحصلنا على:
f (x 0 + x) + f (x 0 − x) − f x 0+ − f x 0− f (x 0 + x) + f (x 0 − x) − 2l0
l im+ = lim+
x→0 x x→0 x
موجودة ،وتكون عددا مركبا .وبالتالي ،حسب النظر ية السابقة ،فإن:
f x 0+ + f x 0−
= lim SN ( f ) (x 0 ) = l0
∞N →+ 2
42
. .تقارب سلسلة فورييه .سلاسل فورييه للدوال f ∈ P C2π الفصل
.f )∈ P C2π (R, C نتيجة ] [16لتكن
الدالة قابلة للإشتقاق قطعيا ،فإن: f (1إذا كانت
) f (x + ) + f (x −
= )∀x ∈ R, lim SN ( f ) (x
∞N →+ 2
، fفإن )∈ D2π (R, C قابلة للإشتقاق قطعيا ،وتحقق شرط دير يكله ،يعني f (2إذا كانت الدالة
)∀x ∈ R, lim SN ( f ) (x) = f (x
∞N →+
، fفإن )∈ C2π (R, C قابلة للإشتقاق قطعيا ،ومستمرةيعني، f (3إذا كانت الدالة
)∀x ∈ R , lim SN ( f ) (x) = f (x
∞N →+
۫2.4.3 ࡀࣩࠛ൨ൣفي نص نظر ية دير يكله ،الشرط
f (x 0 + x) + f (x 0 − x) − 2l0
lim+
x→0 x
ضروري لصحة النظر ية ،إذا نجح عالم الر ياضيات الألماني دوبوا ريمون Du Bois- Reymond
م في إ يجاد دالة متصلة ) ، f ∈ P C2π (R, Cلـكن سلسلة فورييه لهذه الدالة لا ٺتقارب سنة
عند النقطة .0
التقارب الطبيعي لسلسلة فورييه 2.4.3
C1 متصلةومن الصنف f ޝࣩࢰ ޓࡀ [ ] ۫2.4.6لتكن ) . f ∈ P C2π (R, Cلنفرض بأن الدالة
المتقطعة.لدينا سلسلة فورييه للدالة fٺتقارب تقاربا طبيعيا للدالة . f
.لدينا الحقيقة التالية: f . D fشبه مشتقة للدالة )∈ PC2π (R, C إثبات النظر ية لتكن
∀n ∈ Z , )D f ˆ(n) = (in) fˆ (n
)D f ˆ(n
⇒ ∀n ∈ Z − {0} , = )fˆ (n
in
لـكن ،لدينا الحقيقة البسيطة التالية:
1 2 1
⇒ ∀x ∈ R, ∀ y ∈ R, x y − = x + y2 2x y − x 2 + y 2
2 2
1
= − (x − y)2 ≤ 0
2
1 2
≤ ⇒ ∀x ∈ R, ∀ y ∈ R, x y x +y 2
2
43
. .تقارب سلسلة فورييه .سلاسل فورييه للدوال f ∈ P C2π الفصل
وبالتالي:
)ˆ(n
D f 1 1
∀n ∈ Z − {0} , | = | )| fˆ (n ≤| |)+ | D f ˆ(n2
in 2 n2
∑
تقاربية ،لإنها سلسلة ريمان. لـكن السلسلة:
1
2
n∈Z−{0} n
∑
تقاربية ،وذلك حسب متراجحة بيسال. كذلك ،المتسلسة | D f ˆ(n)|2
n∈Z
∑ ∑
ٺتقارب ،تقاربا fˆ(n)e inx تقاربية .هذا يعني أن السلسلة المثلثية | )| fˆ (n وبالتالي ،فإن السلسلة
n∈Z n∈Z
التي ٺتقارب )g ∈ P C2π (R, C طبيعيا،ومن ثم فهي ٺتقارب تقاربا منتظما بالضرورة .لتكن الدالة
إليها هذه السلسلة المثلثية الأخيرة تقاربا منتظما .بحكم أن التقارب المنتظم يؤدي الى التقارب
البسيط ،فإن:
∑
n=N
∀x ∈ R , )fˆ (n) e inx −→ g (x
∞N →+
n=−N
من جهة أخرى ،حسب نظر ية دير يكله للتقارب البسيط ،فإن:
∑
n=N
∀x ∈ R , )fˆ (n) e inx −→ f (x
∞N →+
n=−N
)⇒ ∀x ∈ R, f (x) = g (x
⇒f =g
التقارب المنتظم لسلسلة فورييه 2.4.4
x0 إذا كانت سلسلة فورييه للدالة ) f ∈ P C2π (R, Cٺتقارب تقاربا منتظما للدالة fعند نقطة
فحتما ،ستكون الدالة fمستمرةعند هذه النقطة ، x 0لإن الدوال (SN ( f ))Nهي دوال مستمرةعند
جميع نقاط ،Rوعلى وجه الخصوص ،عند النقطة . x 0لـكن هل العكس صحيح؟ يعني ،إذا كانت
)، f ∈ PC2π (R, Cوكانت x 0ضمن نقاط استمرارالدالة ، fفهل يوجد مجال مغلق ][x 0 − α, x 0 + α
بحيث سلسلة فورييه للدالة fٺتقارب تقاربا منتظما للدالة fعلى هذه المجال؟ لنبدأ بالمثال التالي:
مثال لتكن الدالة ) ،h ∈ PC2π (R, Cالفردية ،المعرفة بالشكل التالي:
π− x
∀x ∈ ]0, π] , = )h (x
2
إنها دالة من الصنف ،C 1مستمرةعند جميع النقاط .R − 2πZ
∀x ∈ Z , h (2kπ) = h (0) = 0
π π
= ∀x ∈ Z , h (2kπ)+ = h 0+ , h (2kπ)− = h 0− = −
2 2
44
. .تقارب سلسلة فورييه .سلاسل فورييه للدوال f ∈ P C2π الفصل
للدالة ). h ∈ PC2π (R, Cبحكم أن الدالة hفردية ،فإن: bn , an معاملات فورييه المثلثية
∀n ∈ N , an = 0
∫ π ∫ π
2 1
∀n ∈ N , = bn = h (x) sin (nx) d x (π − x) sin (nx) d x
π π
0
0
∫π
1 (π − x) cos (nx) π 1 )cos (nx
= − + )(−1 dx
π n 0 π 0 n
1 1 1
= − = [sin (nx)]π0
n πn 2 n
الخلاصة
1
∀n ∈ N , an = 0 , ∀n ∈ N , = bn
n
سلسلة فورييه للدالة ) .h ∈ P C2π (R, Cهي السلسلة التالية:
)∑ sin (nx
n≥1
n
لقد أثبتنا سابقا ،بأن هذه السلسلة المثلثية ٺتقارب تقاربا منتظما على كل مجال مغلق
] ،[α + 2kπ, 2 (k + 1) π − αحيث أن ] ،α ∈ [0, πمن جهة أخرى ،حسب نظر ية
دير يكله ،لدينا:
∑
k=n
)sin (kx ) h (x + ) + h (x −
∀x ∈ [α + 2kπ, 2 (k + 1) π − α] , = )Sn (h) (x →− )= h (x
k=1
k ∞n→+ 2
و بالتالي ،سلسلة فورييه للدالة hٺتقارب تقاربا منتظما للدالة hعلى كل مجال مغلق
] ،[α + 2kπ, 2 (k + 1) π − αحيث أن ].α ∈ [0, π
هذا المثال سيساعدنا على إثبات النظر ية التالية:
ޝࣩࢰ ޓࡀ [ ] ۫2.4.7لتكن ) . f ∈ PC2π (R, Cلنفرض بأن الدالة fمن الصنف C 1قطعيا .
سلسلة فورييه للدالة fٺتقارب تقاربا منتظما للدالة fعلى كل مجال مغلق و محدودة لا تحتوي
نقاط عدم إستمرار للدالة . f
إثبات النظر ية توجد مجموعة منتهية من الأعداد الحقيقية:
0 = x 0 < x 1 < .... < x n = 2π
إلى دالة من الصنف C 1على مجال ) f/(x i ,x i+1 بحيث لكل } ،i ∈ {0, 1, ..., n − 1يمكننا تمديد الدالة
المغلق ] .[x i , x i+1
45
. .تقارب سلسلة فورييه .سلاسل فورييه للدوال f ∈ P C2π الفصل
، ] [x i , x i+1 على المجال المغلق C1 من الصنف gi ،توجد دالة }i ∈ {0, 1, ...., n − 1 يعني ،لكل
بحيث:
) g i/(x i ,x i+1 ) = f/(x i ,x i+1
تحقق شرط دير يكله عند النقاط } ،{x 0 , x 1 , ...., x nيعني: f لنفرض بأن الدالة
f x 1+ + f x i−
∀x i ∈ {x 0 , x 1 , ..., x n } , = ) f (x i
2
وهذا الإفتراض لا يغير من سلسلة فورييه للدالة ، fولا يغير من قيم الدالة fعند نقاط إستمرارها.
الخطوة :1لكل } ،i ∈ {0, 1, ...., n − 1لتكن الدالة hiالمعرفة بالشكل التالي:
) ∀x ∈ R , hi (x) = h (x − x i
حيث أن الدالة hهي الدالة التي تم تداولها في المثال السابق.
إنها دالة من الصنف C 1قطعيا .وهي من الصنف C 1ومستمرةعند جميع نقاط
}.R − {x i + 2kπ/k ∈ Z
∀k ∈ Z , hi (x i + 2kπ) = h (2kπ) = 0
π
∀k ∈ Z , = hi (x i + 2kπ)+ = h 0+
2
−
π
∀k ∈ Z , hi (x i + 2kπ) = h 0− = −
2
الخطوة :2مقارنة بين الدالة fوالدالة hiعند النقطة . x iكل من الدالتين hi , fليست مستمرةعند
النقطة . x iلـكن الفجوة δi = f x i+ − f x i−تختلف عن الفجوة π = hi x i+ − hi x i−
لنعرف الدالة h̄iبالشكل التالي:
δi
= h̄ihi
π
h̄i x i+ − h̄i x i− = δi و δi = f x i+ − f x i− أصبح لدينا التساوي بين الفجوتين:
الخطوة :3لنعرف الدالة g iبالشكل التالي:
f x i+ + f x i− δi f x i+ + f x i−
g i = h̄i + = hi +
2 π 2
46
. .تقارب سلسلة فورييه .سلاسل فورييه للدوال f ∈ P C2π الفصل
لدينا:
ومستمرةعند جميع نقاط C1 -الدالة من الصنف C 1قطعيا .وهي من الصنف
}.R − {x i + 2kπ/k ∈ Z
l im+ g i (x) = f x i+ , lim− g i (x) = f x i−
x→x i x→x i
⇒ lim+ ( f (x) − g i (x)) = 0 = f (0) − g i (0) , )lim ( f (x) − g i (x)) = 0 = f (0) − g i (0
x→x i x→x i−
)⇒ lim ( f (x) − g i (x)) = 0 = f (0) − g i (0
x→x i
مستمرةعند النقطة . x i f − gi هذا يعني أن الدالة
بالشكل التالي: F الخطوة 4والأخيرة :لنعرف الدالة
∑
i=n−1
F=f − gi
i=0
متصلة: F لدينا لكل } ،i ∈ {0, 1, ..., n − 1الدالة
-على المجال المفتوح ] .[x i , x i+1
∑
n−1
. xi ، fمستمرةعند النقطة − gi , − gk لأن كل من الدالتين xi -مستمرةعند النقطة
k=1
k̸=i
R مستمرةعند جميع نقاط F وبالتالي الدالة
قطعيا. C1 قطعيا لأنه مجموع دوال من الصنف C1 [-]̇ -1من الصنف
ٺتقارب تقاربا طبيعيا ،ومن ثم ٺتقارب تقاربا حسب النظر ية السابقة ،سلسلة فورييه للدالة
F
منتظما للدالة . F
من جهة أخرى ،وحسب المثال السابق ،لكل } ،i ∈ {0, 1, ..., n − 1سلسلة فورييه للدالة g iٺتقارب
تقاربا منتظما للدالة g iعلى كل مجال مغلق لا تحتوي على أحد النقاط } {x i + 2kπ, k ∈ Zوبالتالي،
متسلسله فورييه للدالة : f
∑
i=n−1
Sk ( f ) = Sk (F ) + ) Sk (g i
i=0
ٺتقارب تقاربا منتظما على كل مجال مغلق و محدودة لا تحتوي على أحد النقاط:
}}) {(x i + 2kπ, k ∈ Z), (i ∈ {0, ..., n − 1للدالة المجموع:
∑
i=n−1
f =F+ gi
i=0
. .تقارب سلسلة فورييه .سلاسل فورييه للدوال f ∈ P C2π الفصل
f ∈ C2π تقارب مجاميع فيجر بالنسبة للدوال 2.4.5
مجموع فيجر لدالة
كثير الحدود المثلثي التالي: )f ∈ PC2π (R, C ޠݲࢰ ޓߨ ۫2.4.1لتكن
∑1
n−1
= )Tn ( f ) (x )Sk ( f ) (x
n k=0
من الرتبة .k f من الرتبة .nالرمز ) SK ( f ) (xيعني مجموع فورييه للدالة f يسمى بمجموع فيجر للدالة
. fلدينا: )∈ P C2π (R, C ޝࣩࢰ ޓࡀ ۫2.4.8لتكن
∑1
n−1
= )Tn ( f ) (x )Sk ( f ) (x) = (Fn ∗ f ) (x
n k=0
يعني نواة فيجر من الرتبة .n Fn حيث أن الرمز
إثبات النظر ية لدينا:
∑1 ∑1 ∑1
n−1 n−1 n−1
= )Tn ( f ) (x = )Sk ( f ) (x = )(Dk ∗ f ) (x )Dk ∗ f (x) = (Fn ∗ f ) (x
n k=0 n k=0 n k=0
التقارب المنتظم لمجاميع فيجر بالنسبة
. fلدينا :متتالية كثيرات )∈ C2π (R, C نظر ية فيجر ) [12][3] (Fejer’s theoremلتكن
الحدود المثلثية ) Tn ( f ) = (Fn ∗ fٺتقارب تقاربا منتظما للدالة . f
تحقق الشروط التالية: )PC2π (R, C إثبات النظر ية ] (Fn ) [12متتالية من الدوال في الفضاء
(1
∀n ≥ 0, ∀x ∈ R, Fn (x) ≥ 0
(2
∫ 2π
1
∀n ≥ 0, Fn (x) d x = 1
2π 0
(3لنثبت أن:
∫ π
∀δ ∈ ]0, π] , = )Jδ (n [Fn (x) + Fn (−x)] d x −→ 0
∞n→+
δ
48
. .تقارب سلسلة فورييه .سلاسل فورييه للدوال f ∈ P C2π الفصل
لدينا:
∫ π ∫ π
= )∀δ ∈ ]0, π] , Jδ (n [Fn (x) + Fn (−x)] d x = 2 Fn (x) d x
δ δ
∫ π
nx
2
2 sin 2
= x
dx
n δ sin 2
بدلا من المتغير xفنجد: لنستعمل المتغير الجديد:
x
=t
2
∫ π
2
4 2
)sin (t
= )Jδ (n dt
n δ )sin (t
2
لـكن:
δ π 1 1
∈ ∀t , , <0 ≤
2 2 sin t δ
sin
2
∫ π
4 2
)2 (π − δ
≤ )⇒ Jδ (n δ
= (1) d t −→ 0
n sin2 2
δ
2
∞n sin2 δ2 x→+
ومنه:
∀ f ∈∈ C2π (R, C) , ∥Fn ∗ f − f ∥∞ −→ 0
∞n→+
التقارب البسيط لمجاميع فيجر بالنسبة
بالنسبة للدوال الغير المستمرة ،لدينا النظر ية التالية:
و . x 0 ∈ Rلدينا: )f ∈ P C2π (R, C [ لتكن ޝࣩࢰ ޓࡀ ] ۫2.4.9
f x 0+ + f x 0−
→Tn ( f ) (x 0 ) −
∞n→+ 2
إثبات النظر ية ] [12لتكن الدالة ، gالمعرفة بالشكل التالي:
) g (x) = f (x + x 0
لدينا:
g ∈ P C2π (R, C) , ∀n ∈ Z, )ĝ (n) = e inx 0 fˆ (n
⇒ ∀n ∈ N , ) Sn (g) (0) = Sn ( f ) (x 0
⇒ ∀n ∈ N , ) Tn (g) (0) = Tn ( f ) (x 0
49
. .تقارب سلسلة فورييه .سلاسل فورييه للدوال f ∈ P C2π الفصل
لتكن الدالة ،uالمعرفة بالشكل التالي:
)g (x) + g (−x
= )u (x
2
من الواضح تماما بأن الدالة uزوجية ،ولدينا :
)ĝ (n) + ĝ (−n
u ∈ P C2π (R, C) , ∀n ∈ Z, = )û (n
2
∑
k=+n
= )⇒ Sn (u) (0 )ĝ (k) = Sn (g) (0
k=−n
)⇒ Tn u (0) = Tn (g) (0
لدينا كذلك:
f x 0+ + f x 0− f x 0+ + f x 0−
= )lim u (x , = )lim u (x
x→0+ 2 x→0− 2
+
−
f x0 + f x0
= )⇒ lim u (x
x→0 2
بالشكل التالي: w لنعرف الدالة
f x 0+ + f x 0−
= )w (0 , ∀x ̸= x 0 + 2kπ, )w (x) = u (x
2
،مستمرةعند النقطة ،0ولدينا: )w ∈ PC2π (R, C الدالة
)Tn (w) (0) = Tn (u) (0
مستمرةعلى المجال [.]−α, α w يوجد اذا عدد حقيقي [ ، α ∈ ]0, πبحيث تكون الدالة
لتكن الدالة ) ،h ∈ C2π (R, Cالزوجية ،المعرفة بالشكل التالي:
h αi
∀x ∈ 0, , ;h (x) = 1
2
hα i 2
∈ ∀x ,α , = )h (x ; )(α − x
2 α
∀x ∈ [α, π] , h (x) = 0
R هذه الدالة hمستمرةعند جميع نقاط
̇ كذلك ،الدالة h, wمستمرةعند نقاط المجموعة [−π, π] − {−α, α} :من جهة أخرى ،لدينا:
|h (x) w (x) | ≤ ∥w∥∞ |h (x) | −→ h (α) = 0
x→α
|h (x) w (x) | ≤ ∥w∥∞ |h (x) | −→ h (−α) = 0
x→α
50
. .تقارب سلسلة فورييه .سلاسل فورييه للدوال f ∈ P C2π الفصل
متصلةعند جميع hw كذالك .و بالتالي }{−α, α بالتالي ،الدالة hwستكون مستمرةعند النقاط:
النقاط.حسب نظر ية فيجر السابقة ،لدينا:
∥Tn (hw) − hw∥∞ −→ 0
∞n→+
ومن ثم ،لدينا:
+
−
f x0 + f x0
= )Tn (hw) (0) −→ hw (0) = w (0
∞n→+ 2
،فهي تنتمي الى الفضاء ) . PC2π (R, Cوتساوي صفر على المجال [ ]−α, αيعني: w − hw أما الدالة
(w − hw)/(−α,α) = 0
وبالتالي ،هذه الدالة ،w − hwتحقق جميع شروط نظر ية دير يكله عند النقطة .0ومن تم ،لدينا:
Sn (w − hw) (0) −→ 0
∞n→+
حسب نظر ية سيزارو [12] Cesaro’s theoremللمتتاليات ،لدينا:
∑1
n−1
= )Tn (w − hw) (0 Sk (w − hw) (0) −→ 0
n k=0 ∞n→+
نعود للدالة ،wلدينا:
)w = hw + (w − hw
f x 0+ + f x 0−
→⇒ Tn (w) (0) = Tn (hw) (0) + Tn (w − hw) (0) −
∞n→+ 2
+ −
f x0 + f x0
→⇒ Tn ( f ) (x 0 ) −
∞n→+ 2
51
الفصل 3
بعض التطبيقات لسلاسل فورييه
في هذا الفصل ،نقدم البعض من تطبيقات سلاسل فورييه ،نبدأ ببعض القيم لدالة ريمان،
نتحدث بعد ذلك عن مسألة المحيط الثابت المعروفة ،و نستثمر سلاسل فورييه لاثبات حل هذه
المسألة.
نستعمل كذلك سلاسل فورييه في إثبات بعض النظر يات ،و نتطرق في الأخير لحل معادلة
الحرارة.
3.1دالة ريمان
سنحل في البداية المسألتين التاليتين :المسألة الأولى
لتكن الدالة ) f ∈ P C2π (R, Cفردية ،المعرفة بالشكل التالي:
∀x ∈ ]0, π[ , f (x) = 1
(1ابحث عن معاملات فوييه المثلثية للدالة . f
(2إستنتج أن:
π ∑ (−1)n
∞+
=
4 n=0
2n + 1
(3إستنتج أن:
π2 ∑ 1
∞+
=
6 n=1
n2
حل المسألة الأولى
52
. .دالة ريمان .بعض التطبيقات لسلاسل فورييه الفصل
فردية ،لدينا: f (1بحكم أن الدالة
∫ π
2 2
an ( f ) = 0, = ) bn ( f = sin (nx) d x ) (1 − (−1)n
0
π πn
4
⇒an ( f ) = 0, b2n ( f ) = 0, = ) b2n+1 ( f
)π (2n + 1
(2بحكم أن الدالة ) ، f ∈ D2π (R, Cوتحقق شروط نظر ية دير يكله ،لأنها من الصنف C 1قطعيا،
فان الدالة fتساوي حتما سلسلة فورييه الخاصة بها ،يعني:
4 ∑
∞+
∀x ∈ R, = )f (x )sin ((2n + 1) x
n=0
π (2n + )1
π ∑
∞+
4 π
⇒f ==1 )sin (2n + 1
2 n=0
)π (2n + 1 2
∑
∞+
4
= ⇒1 (−1)n
n=0
)π (2n + 1
π ∑
∞+
(−1)n
⇒ =
4 n=0
2n + 1
(3نستعمل نظر ية برسفال للدالة . f
∑
∞+
|bn |2
= ∥f
∥22
n=1
2
∞+ 2
∑1 4 n
= ⇒1 )(−1
)2 n=0 π (2n + 1
∞+
∑
8
= ⇒1 2
)n=0 π (2n + 1
2
∑ π2
∞+
1
⇒ = 2
)n=0 (2n + 1
8
53
. .دالة ريمان .بعض التطبيقات لسلاسل فورييه الفصل
لـكن ،المجموع:
∑
∞+
1 ∑
∞+
1 ∑
∞+
1
=S = 2
+ 2
)n=1 (2n )n=0 (2n + 1
n 2
n=1
1∑ 1
∞+
π2
= +
4 n=1 n2 8
1 π2
= S+
4 8
1 π2
⇒S= S+
4 8
3 π 2
=⇒ S
4 8
∑
∞+
1 π2
=⇒S =
n=1
n2 6
، fالمعرفة بالشكل التالي: )∈ PC2π (R, C المسألة الثانية لتكن الدالة
∀x ∈ [−π, π] , f (x) = x 2
(1ابحث عن معاملات فورييه المثلثية للدالة . f
(2استنتج أن :
π2 ∑ (−1)n−1
∞+
=
12 n=1 n2
(3استنتج أن:
π4 ∑ 1
∞+
=
90 n=1 n4
حل المسألة الثانية
زوجية ،لدينا: f (1بحكم أن الدالة
∫ π ∫ π
2 2 2 4
= ) a0 ( f f (x) d x = π2 , = ) an ( f = x 2 cos (nx) d x (−1)n , bn ( f ) = 0
π 0
3 π 0
n 2
54
. .دالة ريمان .بعض التطبيقات لسلاسل فورييه الفصل
(2بحكم أن الدالة ) ، f ∈ C2π (R, Cوتحقق شروط نظر ية دير يكله ،لأنها من الصنف C 1قطعيا،
فان الدالة fتساوي حتما سلسلة فورييه الخاصة بها ،يعني:
π2 ∑ 4
∞+
∀x ∈ R, = )f (x + 2
)(−1)n cos (nx
3 n=1
n
π2 ∑ 4
∞+
= ⇒ f (0) = 0 + 2
(−1)n
3 n=1
n
π2 ∑ 4
∞+
⇒− = 2
(−1)n
3 n=1
n
π2 ∑ (−1)n−1
∞+
⇒ =
12 n=1 n2
(3نستعمل نظر ية برسفال للدالة . f
|a0 |2 ∑ |an |2
∞+
∥f ∥22 = +
4 n=1
2
∫ ∞+ 2
π4 1 ∑ 4
π
1 n
⇒ = x dx +
4
2
)(−1
2π −π
9 2 n=1
n
∞+
∑ 2
π4
π 4
1 4
⇒ = +
5 9 2 n=1 n2
4π4 ∑ 8
∞+
π4 π4
⇒ − = =
5 9 45 n=1
n4
π4 ∑ 1
∞+
⇒ =
90 n=1 n4
الدالة التالية:
∑
∞+
1
∀Z ∈ C/Re (Z) > 1, = )η (z
n=1
nz
تسمى بدالةريمان .هذه الدالة لها علاقة وطيدة بالبحث في مجال الأعداد الأولية .في المسألة
الأولى و الثانية ،أثبتنا أن :
∑
∞+
1 π2 ∑
∞+
1 π4
= )ζ (2 = , = )ζ (4 =
n=1
n2 6 n=1
n4 90
يمكن تعميم النتائج السابقة والحصول على صيغة للمجموع
∑
∞+
1
, ∀n ∗∈ R
k=1
k2n
55
. .دالة ريمان .بعض التطبيقات لسلاسل فورييه الفصل
وهذا يعني إ يجاد قيم الدالة ) ζ (2kعند الأعداد الطبيعية الزوجية ،وسنوضح هذا في الفقرة التالية.
التي تحقق الشروط (Bn )n∈R ] [1][19نعرف كثيرات حدود برنولي بمتتالية كثيرات حدود
الثلاثة
التالية :
)(1 ∀x ∈ R , B0 (x) = 1
)(2 )∀n ∈ N∗ , ∀x ∈ R , Bn′ (x) = nBn−1 (x
∫ 2π
)(3 ∀n ∈ N∗ , Bn (x)d x = 0
0
فإن الشرط ) (2يبېن وجود ثابت λnبحيث Bn−1 في الحقيقة ،إذا افترضنا معرفة
∫ x
Bn (x) = λn + n Bn−1 (t)d t
0
والشرط ) (3يسمح لن بتعين λnكما يلي:
∫ 2π ∫ x
0 = 2πλn + n Bn−1 (t)d t d x
0 0
∫ x 2π ∫ 2π
)= 2πλn + n(x − 2π Bn−1 (t)d t −n (x − 2π)Bn−1 (x)d x
0 0 0
∫
ومنه نجد
2π
x
λn = n − 1 Bn−1 (x)d x
0
2π
إذن
∫ 2π ∫ x
t
)(4 Bn (x) = n − 1 Bn−1 (t)d t + n Bn−1 (t)d t
0
2π 0
فعلى سبيل المثال نجد
B1 (x) = x − π
2π2
)(5 B2 (x) = x 2 − 2πx +
3
B3 (x) = x 3 − 2πx 2 + 2π2 x
من ∗ Nلدينا n ونلاحظ أنه في حالة
∫ 2π ∫ 2π
′
= )Bn+1 (2π) − Bn+1 (0 Bn+1 (t)d t )= (n + 1 Bn (t)d t = 0
0 0
56
. .دالة ريمان .بعض التطبيقات لسلاسل فورييه الفصل
وبهذا يكون لدينا
)(6 )∀n ≥ 2, Bn (2π) = Bn (0
لنعرف في حالة nمن ∗ Nالتابع الدوري الوحيد B̃nالذي دورته 2πالذي يتفق مع Bnعلي المجال
قطعيا. C1 ينتمي الى الصنف B̃n [ .[0, 2πنلاحظ أن
فنجد k ̸= 0 لنعين سلسلة فورييه للتابع .B̃1في الحقيقة ،إن ،C0 (B̃) = 0أما في حالة
∫ 2π
1
= ) Ck (B̃1 (x − π)e−ikx d x
2π 0
2π ∫ 2π
(π − x)e−ik x 1 i
= + = e−ikx d x
2πik 0
2πik 0 k
وحسب نظر ية دير يكله نجد
∑ ie ikx ∑
∞
)sin(kx
)(7 = ∀x ∈ ]0, 2π[ , x − π = −2
}k∈Z\{0
k k=1
k
لنعين بوجه عام متسلسة فورييه للتابع B̃nمع 2 ≤ nفي الحقيقة يبېن الشرط ) (3أن C0 (B̃n ) = 0أما
حين يكون k ̸= 0فلدينا
1 n
= ) Ck (B̃n ) Ck (B̃ ′ n ) = Ck (B̃n−1
ik ik
وهذا يفيدنا لنستنتج بالتدريج
!n
)(8 ∀n ≥ 1, ∀k ∈ Z\{0}, Ck (B̃n ) = −
(ik)n
يسمحان لنا أن 2≤n حين يكون B̃n والتقارب المنتظم لسلسلة فورييه للتابع B̃n إن استمرار التابع
نستنتح
∑ e ikx
!∀n ≥ 2, ∀x ∈ [0, 2π], Bn (x) = −n
}k∈Z\{0
(ik)n
من ] [0, 2πمايلي x ومهما تكن ∗N من n ومنه نستنتج مهما تكن
∑
∞
cos kx (−1)n+1
)(9 = )B2n (x
k=1
k2n !)2(2n
∑
∞
sin kx (−1)n+1
)(10 = )B2n+1 (x
k=1
k2n+1 !)2(2n + 1
واستنادا إلى العلاقة ) (2نجد b0 = 1 فيكون ، .b1 = − 12 = bn
)Bn (0
(2π)n من ∗ ،N n لنعرف في حالة
!n
)(11 = )∀k ∈ {0, 1, ..., n}, Bn(k) (0 (2π)n−k bn−k
!)(n − k
57
. .مسألة المحيط الثابت .بعض التطبيقات لسلاسل فورييه الفصل
هي ،n + 1استنتجنا من منشور تايلور أن Bn+1 وإذا لاحظنا أن درجة كثير الحدود
∑
)n+1 (k
)Bn+1 (0
= )Bn+1 (t tk
k=0
!k
:1≤n فإذا استفدنا من العلاقتين ) (6و ) (11استنتجنا أنه في حالة
∑
n+1
)(2π n+1
= )bn+1 = Bn+1 (2π k
Cn+1 bn+1−k (2π)n+1
k=0
أو
∑
n
)(12 ∀n ≥ 1 , k
Cn+1 bk = 0
k=0
ومنه
1 ∑ k
n−1
)(13 ∀n ≥ 1 , bn = − C bk
n + 1 k=0 n+1
في تعيين جميع حدود المتتالية (bn )n∈Nالتي تسمى b0 وتفيد هذه العلاقة الأخيرة إضافة إلي الشرط
(Bn (x))n∈N متتالية أعداد برنولي.وتفيد هذه المتتالية بتعيين كثيرات الحدود
∑
n
)(14 = )∀n ∈ N , Bn (x Cnk bn−k (2π)n−k x k
k=1
x =0 في حين تعطي العلاقة ) (9عند n≥1 في حالة b2n+1 = 0 نلاحظ أن العلاقة ) (10تبېن أن
النتيجة الاتية:
∑
∞
1 b2n
∗
)(15 ∀n ∈ N , 2n
= (−1)n+1 (2π)2n
k=1
k !)2(2n
مسألة المحيط الثابت 3.2
،ونريد أن نرسم بهذا الحبل مسارا مغلقا و يحتوي على L إذا كان لدينا حبل له طول ثابت
أكبر مساحة ممكنة بداخله .هذه المسألة تسمى بمسألة المحيط الثابت.
الصياغة الر ياضية لمسألة المحيط الثابت المسار مغلق هو دالة:
f : [a, b] → C
)t → x (t) + i y (t
58
. .مسألة المحيط الثابت .بعض التطبيقات لسلاسل فورييه الفصل
،و تكون )f (a) = f (b بحيث تكون الدالة وحيدة القيمة على المجال [ ، [a, bتحقق الشرط :
مستمرةو من الصنف C 1قطعيا .يمكننا كذلك للتبسيط اعتبار المجال ].[a, b] = [0, 1
طول هذا المسار المغلق هو العدد الحقيقي الموجب التالي:
∫ b ∫ bq
′
=L = | f (t) |d t (x ′ (t))2 + ( y ′ (t))2 d t
a a
المساحة الداخلية هي:
∫ b
1
| =S |x (t) y ′ (t) − x ′ (t) y (t) d t
2 a
نظر ية تمهيدية توجد دالة:
]φ : [0, L] → [a, b
تحقق الشروط التالية:
φ (1تقابل ،ولدينا.φ (0) = a, φ (L) = b :
∀t ∈ [0, L] , | ( f ◦ φ)′ (t) | = 1 (2
إثبات النظر ية تمهيدية لتكن الدالة التالية:
∫ x
Ψ : [a, b] → [0, L] , = )Ψ (x | f ′ (t) |d t
a
لدينا:
.Ψ (a) = 0, Ψ (b) = L (1
(2الدالة Ψتقابل من المجال ] [a, bالى المجال ].[0, L
| )∀x ∈ [a, b] , Ψ ′ (x) = | f ′ (x (3
نضع الدالة :
φ = Ψ −1
الدالة φ = Ψ −1تحقق شروط النظر ية السابقة.
نتيجة لتكن الدالة التالية:
L
g : [0, 2π] → C , ∀t ∈ [0, 2π] , )g (t) = ( f ◦ φ t
2π
لدينا:
)]g ([0, 2π]) = f ([a, b (1
(2
L
∀t ∈ [0, 2π] , = | )|g ′ (t
2π
59
. .مسألة المحيط الثابت .بعض التطبيقات لسلاسل فورييه الفصل
نظر ية )مسألة المحيط الثابت( لدينا:
4πS ≤ L (1
4πS = L 2اذا و اذا فقط المسار له شكل دائرة.
بحيث: e
)g ∈ P C2π (R, C اثبات النظر ية)مسألة المحيط الثابت( لتكن الدالة
e
g/[0,2π] = g
لتكن:
)g (t) = x (t) + i y (t
شبه مشتقة للدالة g′
e قطعيا .لتكن : C1 متصلة ،ومن الصنف e
)g ∈ P C2π (R, C لدينا :الدالة
. e
)g ∈ PC2π (R, C
ولدينا: )g ′ ∈ P C2π (R, C
e (1من الواضح أن
∫ 2π
1
g ′ /e
e = g x ′ (t) + i y ′ (t) .[x (t) + i y (t)]d t
2π 0
∫ 2π ∫ 2π
1 ′
′
= )x (t) + i y (t [x (t) − i y (t)] d t
2π 0 0
∫ 2π ∫ 2π
1 1
= x ′ (t) x (t) + y ′ (t) y (t) d t + i x (t) y ′ (t) − x ′ (t) y (t) d t
2π 0
2π 0
∫ 2π
′
1
⇒ Im e
g /e
g = x (t) y ′ (t) − x ′ (t) y (t) d t
2π 0
∫ 2π
′
1 S
⇒ |I m e
g /e
g =| | = |x (t) y ′ (t) − x ′ (t) y (t) d t
2π 0
π
من جهة أخرى ،لدينا:
̂g ′ (n) = i.n. e
∀n ∈ Z, e )g (n
∑
∞+
′
⇒ e
g /e
= g ̂in| e
g (n) |2
∞−
⇒ Im g ′ /e
e g ̂= n| e
g (n) |2
60
. .مسألة المحيط الثابت .بعض التطبيقات لسلاسل فورييه الفصل
∑
∞+
∑
∞+ ∑
∞+
′
⇒− ̂n .| e
2
g (n) | ≤ I m
2
e
g /e
g = ̂n.| e
≤ | )g (n2
̂n2 .| e
g (n) |2
∞− ∞− ∞−
∑
∞+
⇒ |I m g ′ /e
e g ≤| ̂n2 .| e g ′ /e
g (n) |2 = e g′
∞−
لـكن ،لدينا:
∫ 2π ∫ 2π 2
′ 1 ′ 1 L L2
e
g /e
= g = |g (t) | .d t
2
= dt
2.π 0
2.π 0
2π 4.π2
وبالتالي:
2
S L
≤
π 4.π2
⇒ 4.π.S ≤ L 2
وهو المطلوب.
(2اذا كان لدينا المساواة ،يعني:
∑
∞+ ∑
∞+
̂n .| e
2
g (n) | = ± 2
̂n.| e
g (n) |2
∞− ∞−
الحالة الأولى اذا كان:
∑
∞+ ∑
∞+
̂n .| e
2
= | )g (n 2
̂n.| e
g (n) |2
∞− ∞−
∑
∞+
⇔ ̂n2 − n .| e
g (n) |2 = 0
∞−
⇔∀n ∈ Z − {0, 1} , ̂e
g (n) = 0
⇔∀x ∈ [0, 2π] , g (x) = C0 + C1 .e i x
| ⇔∀x ∈ [0, 2π] , |g (x) − C0 | = |C1
ونصف قطرها | .|C1 ) I (C0 هذا يعني أن المسار هو الدائرة التي مركزها النقطة
61
. .متراجحة writinger .بعض التطبيقات لسلاسل فورييه الفصل
الحالة الثانية إذا كان:
∑
∞+ ∑
∞+
̂n .| e
2
g (n) | = − 2
̂n.| e
g (n) |2
∞− ∞−
∑
∞+
⇔ ̂n2 + n .| e
g (n) |2 = 0
∞−
⇔∀n ∈ Z − {0, −1} , ̂e
g (n) = 0
⇔∀x ∈ [0, 2π] , g (x) = C0 + C−1 .e−i x
| ⇔∀x ∈ [0, 2π] , |g (x) − C0 | = |C−1
ونصف قطرها | ..|C−1في كل من ) I (C0 هذا يعني أن المسار هو الدائرة التي مركزها النقطة
الحالتين ،المسار له شكل دائرة.
متراجحة writinger 3.3
،فضاء التوابع التي )]E = C01 ([a.b ޝࣩࢰ ޓࡀ [ ] ۫3.3.1ليكن ] [a.bمجالا غير تافه من Rو̇ليكن
تنتمي الى الصنف C 1على ] [a.bوتنعدم عند كل من bو .aعندئذ:
∫ b ∫ b
(b − a)2
∀f ∈ E , ≤ | f (t) | d t
2
| f ′ (t) |2 d t
a
π2 a
أماالثابت (b − a)2 π−2فهو أفضل ثابت ممكن في هذه المتراجحة.
عندئذ يوجد تابع E عنصر من f و . b = πوليكن التابع a=0 الإثبات ] [1لنفرض أولا أن
وحيد
ينتمي إلى الصنف ˜f . f˜|[0.π] = fنتأكد بسهولة أن f˜ : R −→ Cفردي و يقبل 2πدور له و يحقق
.C 1
∑
فهي f˜′ = )˜ S( fمتسلسة فورييه للتابع ˜ . fأما سلسلة فورييه للتابع Cn en لتكن إذن
n∈Z
∑
= ) . f (0وبملاحضة أن )f (π = ) ،S( f˜′لإن ،C0 ( f˜′ ) = 0إذا إستخدمنا الفرض inCn en
}n∈Z\{0
62
. .خاصية هامة للدوال التحليلية .بعض التطبيقات لسلاسل فورييه الفصل
تابع فردي ،نستنتج أن: ˜f ،c0 = 0لإن
∫ π ∑
1
= | f˜(t) |2 d t |Cn |2
2π −π }n∈Z\{0
∑ ∫ π
1
≤ ≤ n2 |Cn |2 | f˜′ (t) |2 d t
}n∈Z\{0
2π −π
زوجيين إستنتجنا: t 7−→ | f˜′ (t)|2 و t 7−→ | f˜(t)|2 وبالاستفادة من كون التابعين
∫ π ∫ π
≤ | f (t) | d t
2
| f ′ (t) |2 d t
0 0
C في λ حيث تحدث المساواة إذا كان cn = 0مهما كانت nمن } ،Z\{−1, +1أي إذا وجد
يحقق .∀t ∈ [0, π] , f (t) = λ sin tلإثبات الحالة العامة نعرف
b−a
g : [0, π] −→ C , g(x) = f (a + )x
π
إذن π وعند 0 وينعدم عند ][0, π على C1 ينتمي إلى الصنف g حيث fمن . Eنلاحظ أن
بمقتضى الحالة السابقة نجد
∫ π ∫ π
≤ | g(t) | d t
2
| g ′ (t) |2 d t
0 0
∫ ∫
وهذا يكافئ
π π
)(b − a 2
≤ | f (t) |2 d t | f ′ (t) |2 d t
0
π2 0
إذ تحدث المساواة إذا وفقط إذا كان gمتناسبا مع التابع sinعلى ] ،[0, πأي إذا وفقط إذا وجد
λفي Cيحقق
t−a
(∀t ∈ [a, b] , f (t) = λ sin )π
b−a
خاصية هامة للدوال التحليلية 3.4
[ لتكن: ޝࣩࢰ ޓࡀ ] ۫3.4.1
f : B (Z0 , R) = {Z ∈ C/|z − z0 | < R} → C
دالة قابلة للاشتقاق و دالتها المشتقة ) f ′ (zمحدودة ) (boundedعلى كل مجموعة محدودة .لدينا
∑
الحقيقة التالية :توجد سلسلة قوى ، an Z nنصف قطر تقاربها R1يكون ،R1 ≥ R :بحيث:
n≥0
∑
∞+
= )∀z ∈ B (z0 , R) , f (z an (z − z0 )n
n=0
63
. .خاصية هامة للدوال التحليلية .بعض التطبيقات لسلاسل فورييه الفصل
المعرفة بالشكل التالي: gr إثبات النظر ية لكل عدد حقيقي [ ، r ∈ [0, Rلتكن الدالة
∀θ ∈ [0, 2π] , g r (θ ) = f z0 + r e iθ
لدينا الخصائص التالية:
)g r ∈ C2π (R, C (1
. R ،قابلة للاشتقاق عند جميع نقاط )g r ∈ C2π (R, C (2الدالة
حسب نظر ية دير يكله ،لدينا:
∑
∞+
∀θ ∈ R, = ) g r (θ Cn (g r ) e inθ
∞−
،وتساوي: gr هي معاملات فورييه للدالة ) Cn (g r حيث أن المعاملات
∫ 2π
1
∀n ∈ Z, = ) Cn (g r f z0 + r e iθ e−inθ dθ
2π 0
المعاملات) Cn (g r بعض خصائص
يساوي: [r ∈ [0, R (1إشتقاق ) Cn (g rبالنسبة للمتغير
∫ 2π
)) d (Cn (g r 1
= f ′ z0 + r e iθ e iθ e−inθ dθ
dr 2π 0
لأن كل شروط ادخال الاشتقاق داخل التكامل متوفرة ،بحكم أن الدالة المشتقة ) f ′ (zمحدودة
) (Boundedعلى كل مجموعة محدودة.
∫ 2π
)) d (Cn (g r 1
⇒ ir = f ′ z0 + r e iθ ir e iθ e−inθ dθ
dr 2π 0
باستعمال قانون التكامل بالتجزئة)بالنسبة للمتغير θداخل التكامل( ،نحصل على:
∫ 2π
)) d (Cn (g r 1
⇒ ir = )) f z0 + r e iθ ine−in.θ dθ = in (Cn (g r
dr 2π 0
)) d (Cn (g r
⇒r )) = n (Cn (g r
dr
نضرب الطرفين ب ، r −n−1 :نحصل على:
)) d (Cn (g r
⇒ r −n − nr −n−1 (Cn (g r )) = 0
dr
)) d (r −n Cn (g r
⇒ =0
dr
64
. .خاصية هامة للدوال التحليلية .بعض التطبيقات لسلاسل فورييه الفصل
وبالتالي ،الدالة ) ، r → r −n Cn (g rثابتة .لتكن:
r −n Cn (g r ) = an
⇒∀n ∈ Z, Cn (g r ) = an r n
(2الدالة fمحدودة على المجموعة المحدودة } ، B (z0 , r) = {z ∈ C/|z − z0 | ≤ rلأنها مستمرةعند
جميع نقاط ) . B (z0 , Rوبالتالي ،يوجد عدد حقيقي موجب ، M > 0 ،بحيث:
∀Z ∈ B (z0 , r), | f (z) | < M
∫ 2π
1
⇒∀n ∈ Z, ≤ | ) |Cn (g r | f z0 + r e iθ e−inθ |dθ < M
2π 0
⇒∀n ∈ Z , |Cn (g r ) | = |an |r n < M
⇒∀n ∈ Z, ∀x ∈ ]0, r] , |an |x n < M
⇒∀n ∈ Z, ∀x ∈ ]0, r] , |a−n |x −n < M
،نحصل حتما على: x → 0+ حين
⇒∀n ∈ N , a−n = 0
⇒∀n ∈ N , C−n (g r ) = 0
و بالتالي:
∑
∞+
∀θ ∈ R, = ) g r (θ Cn (g r ) e inθ
n=0
∑
∞+ ∑
∞+
n
⇒∀θ ∈ R, ∀r ∈ [0, R[ , g r (θ ) = f z0 + r e iθ
= n inθ
an r e = an r e iθ
n=0 n=0
∑
∞+
⇒∀z = z0 + r e iθ ∈ B (z0 , R) , = f (z) = f z0 + re iθ an (z − z0 )n
n=0
∑
R1 ٺتقارب ،وبالتالي ،نصف قطر تقاربها an z n من الواضح بأنه لكل ) z ∈ B (0, Rسلسلة القوى
n≥0
يكون أكبر أو يساوي .R
65
. .حل معادلة الحرارة .بعض التطبيقات لسلاسل فورييه الفصل
حل معادلة الحرارة 3.5
] [12هي معادلة تفاضلية جزئية يمكن اختصارها في المعادلة التفاضلية الجزئية التالية:
ut = ux x ,0 ≤ x ≤ π , t ≥ 0
u (0, t) = 0 , ∀t ≥ 0
)(E
u (π, t) = 0 , ∀t ≥ 0
u (x, 0) = f (x) , 0 ≤ x ≤ π
دالة مستمرةعلى المجال ].[0, π f′ حيث أن الدالة fقابلة للاشتقاق مرتين ودالتها المشتقة
الخطوة الأولى نلاحظ أولا بأن:
f (0) = u (0, 0) = 0 , u (π, 0) = f (π) = 0
⇒ f (0) = f (π) = 0
بحيث: )fe ∈ PC2π (R, C لتكن الدالة الفردية
fe/[0,π] = f
حسب نظر ية دير يكله ،لدينا:
∑
∞+
∀x ∈ R , = )fe (x )bn sin (nx
n=1
هي معاملات فورييه المثلثية للدالة ). fe ∈ P C2π (R, C المعاملات bn حيث أن
∑
∞+
∀x ∈ [0, π] , = )f (x )bn . sin (nx
n=1
الى المعادلات التفاضلية E لذلك ،من الطبيعي التفكير في تقسيم المعادلة التفاضلية الجزئية السابقة
الجزئية التالية:
ut = ux x , 0 ≤ x ≤ π, t ≥ 0
u (0, t) = 0 , ∀t ≥ 0
) ∀n ∈ N , (En
u (π, t) = 0 , ∀t ≥ 0
u (x, 0) = bn sin (nx) , 0 ≤ x ≤ π
66
. .حل معادلة الحرارة .بعض التطبيقات لسلاسل فورييه الفصل
ومن ثم ،اذا كانت الدالة unحلا للمعادلة ) ،(Enفإن الدالة المجموع )اذا كان ممكنا الجمع(:
∑
∞+
=u un
n=1
ستكون حلا للمعادلة الأصلية ).(E
الخطوة الثانية :البحث عن حلول للمعادلة ) .(En
لنبحث عن حل ) u (x, tيمكن كتابته في الشكل التالي:
)u (x, t) = h (x) g (t
لدينا الشرط الابتدائي التالي:
)u (x, 0) = bn sin (nx
من جهة أخرى ،لدينا .u (x, 0) = h (x) g (0) :وبالتالي:
)u (x, 0) = h (x) g (0) = bn sin (nx
1
= )⇒ h (x )bn sin (nx
)g (0
نعود الى المعادلة. ut = u x x :هذه المعادلة تصبح:
)h (x) g ′ (t) = h′′ (x) g (t
)h (x) g (t نقسم الطرفين ب:
)g ′ (t) h′′ (x
=
)g (t )h (x
لـكن ،حسب ما سبق:
′′
)h (x
= −n2
)h (x
)g ′ (t
⇒ = −n2
)g (t
)⇒ g ′ (t) = −n2 g (t
إنها معادلة تفاضلية خطية من الرتبة الأولى ،ومعاملاتها ثابتة حلها هو:
⇒ g (t) = g (0) e−n
2
t
)⇒ u (x, t) = h (x) g (t) = bn e−n t sin (nx
2
وبالتالي ،الدالة التالية:
)un (x, t) = bn e−n t sin (nx
2
67
. .حل معادلة الحرارة .بعض التطبيقات لسلاسل فورييه الفصل
هذه الدالة تمثل حلا للمعادلة ) (Enالسابقة.
الخطوة الثالثة:البحث عن حلول للمعادلة الأصلية). (Eدالة المجموع:
∑
∞+ ∑
∞+
)bn e−n t sin (nx
2
= )u (x, t = )un (x, t
n=1 n=1
لها معنى ر ياضي دقيق ،لأن السلسلة:
∑
∞+
| |bn
n=1
قطعيا .وبالتالي،السلسلة: C1 من الصنف ˜f تقاربية ،بحكم أن الدالة
∑
∞+
| |bn nk e−n t
2
∀t ≥ 0 , ∀k ∈ N ,
n=1
∞C بالنسبة للمتغير ، xوكذلك من الصنف ∞C من الصنف )u (x, t تقاربية ،ومن ثم ،الدالة
بالنسبة للمتغير ، tوتمثل حلا للمعادلة الأصلية).(E
الخطوة الرابعة و الأخيرة.
إثبات أن ) u (x, tهو الحل الوحيد للمعادلة الاصلية ) ،(Eمن الصنف C 2بالنسبة للمتغير ، xومن
الصنف C 1بالنسبة للمتغير . t
لنفرض العكس .يوجد بالتالي ،على الأقل حلين مختلفين) u1 (x, tو ) u2 (x, tللمعادلة الأصلية )(E
ليكن:
w = u1 − u2
لدينا الخصائص التالية:
wt = wx x , ∀0 ≤ x ≤ π , ∀t ≥ 0
w (0, t) = 0 , ∀t ≥ 0
w (π, t) = 0 , ∀t ≥ 0
w (x, 0) = 0 , ∀0 ≤ x ≤ π
∫
لتكن الدالة التالية:
π
∀t ≥ 0 , = )e (t w2 (x, t) d x
0
لدينا:
(1
∀t ≥ 0 , e (t) ≥ 0
∫π
= )e (0 w2 (x, 0) d x = 0
0
68
. .حل معادلة الحرارة .بعض التطبيقات لسلاسل فورييه الفصل
(2
∫ π ∫ π
′
= )∀t ≥ 0 , e (t = 2w (x, t) w t (x, t) d t 2w (x, t) w x x (x, t) d x
0 0
∫ π
= [2w (x, t) w x (x, t)] x=π
x=0
− 2w x (x, t) w x (x, t) d x
∫ π
0
∫ π
2
=0−2 [w x (x, t)] d x = −2 [w x (x, t)]2 d x
0 0
⇒ ∀t ≥ 0 , e′ (t) ≤ 0
⇒ ∀t ≥ 0 , e (t) ≤ e (0) = 0
⇒ ∀t ≥ 0 , e (t) = 0
∫ π
∀t ≥ 0, = )e (t w2 (x, t) d x = 0
0
مستمرةوموجبة ،فإن : )x → w2 (x, t ،الدالة t ≥0 بحكم أنه لكل
∀x ∈ [0, π] , w2 (x, t) = 0
⇒w=0
⇒ u1 = u2
وهو يتناقص مع إفتراضنا بأن )u1 (x, tو ) u2 (x, tحلين مختلفين للمعادلة الأصلية.
69
ة الخـاتم
في هذه المذكرة ،تطرقنا إلي دراسة سلاسل فورييه سلاسل فورييه للدوال الدور ية المستمرة
قطعيا وبعض تطبيقاتها .في هذا الإطار عرفنا أولا معاملات فورييه الأسية و المثلثية وخصائصهما
العامة ،إضافة إلى تعر يف سلسلة فورييه.
ثانيا إستعملنا متراجحة بيسال و نظر ية برسفال في صياغة عدة نتائج حول تقارب سلاسل
فورييه للدوال المدروسة .ز يادة على ذلك قدمنا الشروط الكافية لتقارب هذه السلاسل عند كل
نقطة حيث تطرقنا في هذا السياق إلى نظر ية دير يكله .إطلعنا كذلك على نظر ية فيجر ومفهوم
مختلف من التقارب.
وفي الأخير قمنا باستثمار النتائج السابقة في إ يجاد بعض قيم دالة ريمان ،حل معادلة الحرارة،
إضافة إلى بعض التطبيقات الأخرى.
70
المراجع العلمية
الجمهور ية العربية، المعهد العالي للعلوم التطبيقية و التكنولوجيا،الجزء الخامس،التحليل،[ عمران قوبا1]
.2018،السور ية
[2] Amos Lapidoth,A Foundation in Digital Communication, Cambridge University Press, Cam-
bridge,2009.
[3] Anders Vretblad,Fourier Analysis and Its Applications, Springer-Verlag, New York,2003.
[4] Andrea Prosperetti, Advanced Mathematics for Applications,Cambridge University
Press,New York,2011.
[5] Antoni Zygmund,Trigonometric Series, Cambridge University Press,London,1959.
[6] Cornelius Lanczos, Discourse on Fourier Series, the Society for Industrial and Applied Math-
ematics,Philadelphia,USA,2016.
[7] Dean G.Duffy, Advanced Engineering Mathematics,CRC Press LLC,Florida,1998.
[8] R.E. Edwards, Fourier Series A Modern Introduction, Springer-Verlag, New York, 1979.
[9] Georgi P. Tolstov,Fourier Series,Translated from the Russian by Richard A. Silverman, INC,
New York,1962.
[10] Gerald B. Folland,Fourier analysis and its applications, Wadsworth,Inc, Belmont, California,
1992.
[11] Jean-Marie,Séries Entières Séries de Puiseux Séries de Fourier ,Ellipses,Paris,1999.
[12] John Srdjan Petrovic,Advanced Calculus Theory and Practice, Taylor, Francis Group,
LLC,New York, 2014.
71
المراجع العلمية المراجع العلمية
[13] Juan Arias de Reyna,Pointwise Convergence of Fourier Series, Springer-Verlag,Berlin,2002.
[14] Murray R. Spiegel, Ph.D,Schaum’s Outline of Theory and Problems of Fourier
Analysis,McGraw-Hill, Inc, New York,1974.
[15] Philip P.G. Dyke,An Introduction to Laplace Transforms and Fourier Series ,Springer-
Verlag, London,2001.
[16] Robert T.Seeley,An Introduction to Fourier Series and Intgrals,Dover,Inc,Mineola,New York,
1966.
[17] Roger Godement ,Analyse Mathématique II Calcul Différentiel et Intégral, Séries de Fourier,
Fonctions Holomorphes ,Springer-Verlag,New York, 1998.
[18] Richard Beals,Analysis An Introduction,Cambridge University Press, New York,2004.
[19] Sergei K. Suslov, An Introduction to Basic Fourier Series,Springer Science, Arizona, U.S.A,
2003.
[20] Stevenb.Damelin,Willard Miller,J R,The Mathematics of Signal Processing, Cambridge Uni-
versity Press,Cambridge,2012.
[21] Valery Serov,Fourier Series Fourier Transform and their Applications to Mathematical
Physics,Springer International ,Finland,2017.
72
You might also like
- معادلة الحرارةDocument73 pagesمعادلة الحرارةlazhor100% (1)
- Benhoua NasrineDocument58 pagesBenhoua Nasrineinter wordNo ratings yet
- Mahfudzat 2 (Edit)Document52 pagesMahfudzat 2 (Edit)Qohwah JahannamNo ratings yet
- PDF Ebooks - Org Ku 16887Document115 pagesPDF Ebooks - Org Ku 16887mohamed omarNo ratings yet
- Mer 31Document70 pagesMer 31Red WarNo ratings yet
- PDFsam MergeDocument56 pagesPDFsam MergeAda LakNo ratings yet
- YOUCEF - SAFIA - F5 - Mathématique - Equations Aux Dérivées Partielles Et Analyse NumériqueDocument56 pagesYOUCEF - SAFIA - F5 - Mathématique - Equations Aux Dérivées Partielles Et Analyse Numériquehamzalassoued12No ratings yet
- إدارة مخاطر السموم الفطرية في صناعة الدواجنDocument95 pagesإدارة مخاطر السموم الفطرية في صناعة الدواجنLamjed ChihaniNo ratings yet
- الإدارة الإلكترونية للعلاقة مع الزبائن في القطاع الفندقي الفلسطينيDocument139 pagesالإدارة الإلكترونية للعلاقة مع الزبائن في القطاع الفندقي الفلسطينيManel SaharNo ratings yet
- Hisgeo 1am21 1trim d1Document4 pagesHisgeo 1am21 1trim d1Chiraz HaniNo ratings yet
- دراسة الخواص البنيوية. الالكترونية والضوئية لمركبDocument68 pagesدراسة الخواص البنيوية. الالكترونية والضوئية لمركبabdraouf89100% (1)
- Wepal 151316797504141Document5 pagesWepal 151316797504141feriel.adjerid83No ratings yet
- استخدام الاتصال الشامل في برامج العلاقات العامة بمديرية الحماية المدنية بمستغانم-convertiDocument135 pagesاستخدام الاتصال الشامل في برامج العلاقات العامة بمديرية الحماية المدنية بمستغانم-convertiRama RimaNo ratings yet
- م س 55Document163 pagesم س 55douaakhial23No ratings yet
- بحث ليزر 5Document102 pagesبحث ليزر 5Mahmood BasharNo ratings yet
- 2 محنة مقاومDocument3 pages2 محنة مقاومHua WeiNo ratings yet
- الاختبار الأول سنة أولى علميDocument3 pagesالاختبار الأول سنة أولى علميma3 HoudaNo ratings yet
- أثر استخدام أدوات التسويق الإلكتروني في تنشيط المبيعات في فنادق العاصمة الأردنية (دارسة ميدانية في فنادق الخمس نجوم في العاصمة الأردنية-عمان)Document108 pagesأثر استخدام أدوات التسويق الإلكتروني في تنشيط المبيعات في فنادق العاصمة الأردنية (دارسة ميدانية في فنادق الخمس نجوم في العاصمة الأردنية-عمان)sojoud shorbajiNo ratings yet
- Control FossilesDocument2 pagesControl FossilesSoukaina EchariaaNo ratings yet
- المشروع الكتابي التعديلة الاخيرةDocument76 pagesالمشروع الكتابي التعديلة الاخيرةbaset lyNo ratings yet
- الوقود الحيوي تعديل 3Document41 pagesالوقود الحيوي تعديل 3Ahmed MustafaNo ratings yet
- دراسة وتصميم نظام أتمتة مشفى مبني على الوبDocument91 pagesدراسة وتصميم نظام أتمتة مشفى مبني على الوبali alasdyNo ratings yet
- Binder 1Document98 pagesBinder 1Abo Anas MokdadNo ratings yet
- دور البنوك التجارية في تمويل قطاع السكن PDFDocument81 pagesدور البنوك التجارية في تمويل قطاع السكن PDFMalek DebabecheNo ratings yet
- Set Soalan Temu Uji Bahasa Arab Ting 3Document8 pagesSet Soalan Temu Uji Bahasa Arab Ting 3afiful afiqNo ratings yet
- Khadaich DjedalDocument71 pagesKhadaich DjedalrayanezianimalakNo ratings yet
- الفرض الثاني سنة 1 2023Document4 pagesالفرض الثاني سنة 1 2023Cha ImaNo ratings yet
- على تبني الأعملل (TOE) أثر العوامل التكنولوجية والتنظيمية والبيئية ال لكترونية في الشركلت الصغيرة والمتوسطة في الأردن- في مدينة عملنDocument112 pagesعلى تبني الأعملل (TOE) أثر العوامل التكنولوجية والتنظيمية والبيئية ال لكترونية في الشركلت الصغيرة والمتوسطة في الأردن- في مدينة عملنsojoud shorbajiNo ratings yet
- طريقة مويجات ليجندر في حل المعادلات التفاضلية التكامليةDocument52 pagesطريقة مويجات ليجندر في حل المعادلات التفاضلية التكامليةSadiq SalahNo ratings yet
- Kama LLLLL LLLLLDocument73 pagesKama LLLLL LLLLLsadjidamathNo ratings yet
- تحميل فروض اللغة العربية الرابع إبتدائي المرحلة الأولى نموذج 3Document2 pagesتحميل فروض اللغة العربية الرابع إبتدائي المرحلة الأولى نموذج 3Imane AZOUGGAGH OUALENNo ratings yet
- 2 محنة مقاومDocument4 pages2 محنة مقاومHua WeiNo ratings yet
- 202402020830550557 (2)Document3 pages202402020830550557 (2)samismier2010No ratings yet
- Haya 316 Qui FS Module 1 (2)Document5 pagesHaya 316 Qui FS Module 1 (2)عبدالمنعم شديدNo ratings yet
- الفرض الثالث العربية الخامسDocument2 pagesالفرض الثالث العربية الخامسNki NonkiNo ratings yet
- Mahfudzat 3 (Edit)Document75 pagesMahfudzat 3 (Edit)Qohwah JahannamNo ratings yet
- Books Library - Online 01181438Pp4N9Document237 pagesBooks Library - Online 01181438Pp4N9Mondher DhahriNo ratings yet
- 3 MergedDocument68 pages3 MergedOMAE01No ratings yet
- -1مذكرة تخرج الحبسةDocument173 pages-1مذكرة تخرج الحبسةAssil DjeradiNo ratings yet
- ميناء امدرمان البرىDocument89 pagesميناء امدرمان البرىKhaled100% (1)
- مذكرة التخرج النهائية PDF (محامدية حمزة)Document150 pagesمذكرة التخرج النهائية PDF (محامدية حمزة)Hamza Mh-DiaNo ratings yet
- 625 B 49 F 366 BDBDocument4 pages625 B 49 F 366 BDBRahma HNo ratings yet
- CorrosionDocument81 pagesCorrosionseraj ibramem0% (1)
- اختبار ثامن تجريبي 20201فصل أولDocument6 pagesاختبار ثامن تجريبي 20201فصل أولjassm kankony100% (1)
- ف ت س 7 ع 3 س 2015Document2 pagesف ت س 7 ع 3 س 2015Nassim ChraitiNo ratings yet
- دور تطوير المنتجات في تعزيز الميزة التنافسية للمؤسسة PDFDocument156 pagesدور تطوير المنتجات في تعزيز الميزة التنافسية للمؤسسة PDFEman Tawfik100% (1)
- كتاب أساسيات الفيزياء للمرحلة الثانوية والجامعية ـ موقع الفريد في الفيزياء PDFDocument299 pagesكتاب أساسيات الفيزياء للمرحلة الثانوية والجامعية ـ موقع الفريد في الفيزياء PDFBourahli SaifeddineNo ratings yet
- الفرض 1 الـــــعربـــية المرحلة الأولى المستوى 5 ذ وديع فاخرDocument4 pagesالفرض 1 الـــــعربـــية المرحلة الأولى المستوى 5 ذ وديع فاخرtashilat babzerganeNo ratings yet
- SVT Synthese 2 9emeDocument4 pagesSVT Synthese 2 9emeالمتميز اعدادي ثانويNo ratings yet
- مبادئ المساحة 2012Document328 pagesمبادئ المساحة 2012Bo Abdelkader100% (2)
- CE4 2éme PériodeDocument7 pagesCE4 2éme PériodeHiba AjdorNo ratings yet
- مراجعةDocument12 pagesمراجعةPrincess KarlaNo ratings yet
- الفرض الأول للعلوم الفيزيائية 3 إعدادي نمزذج 2Document1 pageالفرض الأول للعلوم الفيزيائية 3 إعدادي نمزذج 2Mouhibi AbdellahNo ratings yet
- الفرض الثالث مادة اللغة العربية المستوى السادسDocument5 pagesالفرض الثالث مادة اللغة العربية المستوى السادسjibani.mohamadNo ratings yet
- Integrating Face Recognition Algorithms With Typing Speed For Website AuthenticationDocument97 pagesIntegrating Face Recognition Algorithms With Typing Speed For Website AuthenticationBoy azNo ratings yet
- Dzexams 2ap Technologie 1791062Document2 pagesDzexams 2ap Technologie 1791062Rachid BouaifiNo ratings yet
- Dzexams 2ap Technologie 1791062Document2 pagesDzexams 2ap Technologie 1791062anna.na16567No ratings yet
- تسيير مخزون بالتكوين المهنيDocument70 pagesتسيير مخزون بالتكوين المهنيabdou hm100% (2)
