????xj?yj??x?y£¬0???1¡£ ??j?1ÓÉÉÏÊöÍÆµ¼¿ÉÖªTÊÇѹËõl?lÉϵÄѹËõÓ³É䣬ÓÖlÊÇÍ걸µÄ¡£ËùÒÔTÔÚlÉÏÓÐΨ
Ò»µÄ²»¶¯µã¡£ 8£®£¨µÚ¶þÀàFredholm·½³Ì½âµÄ´æÔÚΨһÐÔ£©ÉèÓÐÏßÐÔ»ý·Ö·½³Ì£º
????aij??sup?j?1j?11£¬Ôò0???1¡£ËùÒÔTÊÇ
M(b?a)T:L2[a,b]?L2[a,b]ÉϵÄѹËõÓ³É䣬ÓÖÒòΪL2[a,b]ÊÇÍ걸µÄ£¬ËùÒÔTÔÚ
??M(b?a)¡£ÏÔÈ»£¬Èç¹û??L2[a,b]´æÔÚΨһµÄ²»¶¯µã¡£
x(t)??(t)???k(t,s)x(s)ds£¬
ab 9£®£¨Volterra»ý·Ö·½³Ì½âµÄ´æÔÚΨһÐÔ£©Éèk(t,s)ÔÚ[a,b]?[a,b]ÉÏÁ¬Ðø£¬ÔòVolterra»ý·Ö·½³Ì£ºx(t)???k(t,s)x(s)ds??(t)¶ÔÈÎÒâ??C[a,b]¼°ÈκβÎÊý?¶¼´æ
abÆäÖÐ??L(a,b)£¬?ÊDzÎÊý£¬»ý·ÖºËk(t,s)ÔÚ[a,b]?[a,b]ÉÏÁ¬Ðø£¬ÇÒÂú×㣺
2??abbÔÚΨһµÄÁ¬Ðø½â£¨Ìáʾ£ºÁîM?max{k(t,s)|t,s?[a,b]}£¬Ó³Éä
ak(t,s)dtds??£¬
22T:C[a,b]?C[a,b]Ϊ
(Tx)(t)???k(t,s)x(s)ds??(t)¡£
atÔòÉÏÊö»ý·Ö·½³Ì¶Ô¾ø¶ÔÖµ³ä·ÖСµÄ?£¬ÔÚL(a,b)ÖдæÔÚΨһ½â¡££¨Ìáʾ£ºÁî
1¡££© M?max?k(t,s)|t,s?[a,b]??1£¬??M(b?a)Ö¤Ã÷£ºÁîT:L[a,b]?L[a,b]Ϊ£º(Tx)(t)??(t)??b22È»ºóÓùéÄÉ·¨ËµÃ÷(Tx2)(t)?(Tx1)(t)?{?M(t?a)/n!}x2?x1¡£È¡nbnnnnn?ak(t,s)x(s)ds¡£Ôò
212³ä·Ö´óʹ
£© ?Mn(b?a)n/n!?1¡£ÔÚÀûÓö¨Àí4¡£
n?bb??(Tx)(t)?(Ty)(t)???k(t,s)(x(s)?y(s))ds???k(t,s)(x(s)?y(s))dsdt??a?a? a???b?b??b?bk(t,s)2ds???bx(s)?y(s)2ds?dt??????k(t,s)x(s)?y(s)dsdt???????a????a??a??a??a??????????121212212(1)12Ö¤Ã÷£ºÁîÓ³ÉäT:C[a,b]?C[a,b]Ϊ(Tx)(t)???k(t,s)x(s)ds??(t)£¬ÇÒ
atM?max{k(t,s)|t,s?[a,b]}¡£ ÀûÓÃÊýѧ¹éÄÉ·¨£ºµ±n?1ʱ£¬
(Tx2)(t)?(Tx1)(t)???k(t,s)(x2(s)?x1(s))ds??max?k(t,s)(x2(s)?x1(s))ds
aa?t?battbbbbb222?????a?ak(t,s)dsdt?????ax(s)?y(s)ds???????a?ak(t,s)dsdt??x?y¡£
????????max?k(t,s)x2(s)?x1(s)ds??M?maxx2(s)?x1(s)ds??M(t?a)x2?x1
a?t?baaa?t?bttÉÏÊöÍÆµ¼¹ý³ÌÖУ¬£¨1£©ÀûÓõÄHolder²»µÈʽ¡£ Áî
12Éè(Tn?1x2)(t)?(Tn?1x1)(t)?{?Ôò
n?1Ôò£º Mn?1(t?a)n?1/(n?1)!}x2?x1£¬
M?max?k(t,s)|t,s?[a,b]??1£¬
(Tnx2)(t)?(Tnx1)(t)?T(Tn?1x2)(t)?T(Tn?1x1)(t)
??max?k(t,s)(Tn?1x2)(s)?(Tn?1x1)(s)ds??M?max(Tn?1x2)(s)?(Tn?1x1)(s)dsa?t?baaa?t?bttbb2???????k(t,s)dsdt???M2(b?a)??aa??122?
9
??M?(Tatn?1x2)(s)?(Tn?1x1)(s)ds??Mnx2?x1(n?1)!n?(s?a)atn?1ds
??Mn(t?a)nn!nx2?x1¡£
S?1¡£
£¨2£©(Tx)(t)?t1Òò´Ëµ±n³ä·Ö´óʱ£¬0??Mn(t?a)n/n!?1¡£ËùÒÔTnΪC[a,b]?C[a,b]ÉÏ
n?10x(s)ds?maxt?x(s)ds?(?x(s)ds)maxt??x(s)dst?[0,1]00t?[0,1]0111µÄѹËõÓ³É䣬ÓÖC[a,b]ÊÇÍ걸µÄ£¬ËùÒÔTnÔÚC[a,b]ÉÏÓÐΨһµÄ²»¶¯µã¡£ÓÉÊéP30Ò³Éϵ͍Àí4¿ÉÖª£ºTÔÚC[a,b]ÉÏÓÐΨһµÄ²»¶¯µã¡£
??maxx(s)ds?x?ds?x£¬ËùÒÔS?1£»ÓÖµ±x0(t)?1ʱ£¬x0(t)?1£¬
0s?[0,1]01
¹ÊT?Tx0(t)?t?1¡£×ÛÉÏËùÊö£¬T?1¡£ £¨
110t?[0,1]0µÚ Æß ½Ú
2£®Éè?(t)ÊÇ[a,b]ÉϵÄʵº¯Êý£¬¶Ôx?C[a,b]£¬Áî(Tx)(t)??(t)x(t), t?[a,b]£¬Ö¤Ã÷T??(C[a,b]µÈ¼ÛÓÚa?C[a,b]¡£
Ö¤Ã÷£º³ä·ÖÐÔÏÔÈ»¡£ÏÂÖ¤±ØÒªÐÔ¡£Áîx0(t)?1£¬Ôò(Tx0)(t)??(t)£¬ÓÉÓÚ
3
110t?[0,1]0£©
(S?T)(x(t))?t2?x(s)ds?maxt2?x(s)ds?(?x(s)ds)maxt2??x(s)ds
ËùÒÔS?T?1£»ÓÖµ±x0(t)?1ʱ£¬x0(t)?1£¬??maxx(s)ds?x?ds?x£¬
0s?[0,1]011x0(t)?C[a,b]£¬ÇÒT??(C[a,b]£¬Ôò?(t)?(Tx0)(t)?C[a,b]¡£
3£®¶¨ÒåT:C[0,1]?C[0,1]Ϊ(Tx)(t)?t¹ÊS?T?(S?T)(x0(t))?t2?1¡£×ÛÉÏËùÊö£¬S?T?1¡£ £¨4£©
?10x(s)ds£¬ÔÙ¶¨ÒåS:C[0,1]?C[0,1]Ϊ
(T?S)(x(t))?t?sx(s)ds?maxt?sx(s)ds??sx(s)ds??maxsx(s)ds
0t?[0,1]11111000s?[0,1]ÊÔÎÊSÓëTÊÇ·ñ¿É»»£¨¼´S?T?T?S£©£¿²¢ÇóS£¬T£¬S?T(Sx)(t)?tx(t)£¬¼°T?S¡£
×¢£º¶¨ÒåÓò¿Õ¼äÖеķ¶ÊýΪ£ºx(t)?1?x(s)ds£»ÖµÓò¿Õ¼äÖеķ¶ÊýΪ£º
0x(t)?max(x(t))¡£
t?[0,1]½â£º (S?T)(x(t))?S(T(x(t))?t102?x(s)ds¡£
0111ËùÒÔT?S?£»ÓÖµ±x0(t)?1x£¬
0s?[0,1]0s?[0,1]22111ʱ£¬x0(t)?1£¬¹ÊT?S?(T?S)(x0(t))?t?sds?t?¡£×ÛÉÏËùÊö£¬
0221T?S?¡£
2??(maxx(s))sds?maxx(s)?sds?1(T?S)(x(t))?T(S(x(t))?t?sx(s)ds¡£È¡x0(t)?1£¬Ôò
sup4£®ÉèÎÞÇî¾ØÕó(aij)Âú×㣺
?i??j?1?a?ij?????¡£¶¨ÒåT:l?lΪ£º¶Ôx?(?i)?l£¬
t?(T?S)(x0(t))£¬Òò´ËSÓëTÊDz»¿É»»¡£ 2£¨1£©(Sx)(t)?tx(t)?maxtx(t)?maxtx(t)?maxx(t)?x(t)£¬ËùÒÔ(S?T)(x0(t))?t2?t?[0,1]t?[0,1]t?[0,1]Tx?(?i)£¬ÆäÖÐ?i??aij?j, (i??)¡£Ö¤Ã÷£ºT?sup?aij¡£
j?1i??j?1?Ö¤Ã÷£º
S?1£»ÓÖµ±x0(t)?1ʱ£¬x0(t)?1£¬¹ÊS?Tx0(t)?t?1¡£×ÛÉÏËùÊö£¬
10
??Tx?(?aij?j)?sup?aij?j?sup?aij?j?sup?aij(sup?j??i?1j?1i?1j?1i?1?j?1j?1j?1????)?? ??xsup?aij¡£ËùÒÔT?sup?aij¡£ÁíÒ»·½Ã棬¶ÔÈÎÒâ¹Ì¶¨µÄi0?1£¬Áî
i??j?1i??j?1??(Tx)(t)?ba?t?bax0?(sgnai0j)?l£¬ÇÒx0?1¡£ÔòT?Tx0?(?ai0jsgnai0j)??ai0j£¬
?j?1j?1???max?k(t,s)maxx(s)ds?xmax?k(t,s)dsa?s?ba?t?ba???bbak(t,s)x(s)ds?max?k(t,s)x(s)ds?max?k(t,s)x(s)ds
bb?ba?t?baa?t?bab¡£ËùÒÔ
ÓÉi0µÄÈÎÒâÐÔ£¬ËùÒÔT?supi?1?aj?1?ij¡£×ÛÉÏËùÊö£¬T?supi?1?aj?1?T?maxa?t?bak(t,s)dt¡£ÁîÒ»·½Ã棬Áîx0(t)?1£¬Ôòx0(t)?1¡£Òò´Ë
a?t?baij¡£
T?T?
25£®£¨Hilert-Schmidt£©ÐÍ»ý·ÖËã×Ó£©Éèk(t,s)?L([a,b]?[a,b])£¬Áî
?babk(t,s)ds?max?k(t,s)dsba?t?ba£»ÔÙÁî
x0(t)??1£¬ÓÖÓÐ
T:L2[a,b]?L2[a,b]bb2?T????k(t,s)dsdt???aa?Ϊ
12£º
(Tx)(t)??k(t,s)x(s)dsab?ak(t,s)ds?max?(?k(t,s))ds¡£ÓÉ´Ë¿ÉÖª£º
ba¡£Ö¤Ã÷
T?max?k(t,s)ds¡£
a?t?b¡££¨Ìáʾ£ºÀûÓÃ
12b12Holder²»µÈʽ
×ÛÉÏËùÊö£¬T?maxa?t?b?bak(t,s)dt¡£
?ba22£© f(t)g(t)????af(t)dt??????ag(t)dt??¡£
????b
7£®Ö¤Ã÷?ÉϵķÇÁãÏßÐÔ·ºº¯f²»ÊÇÁ¬ÐøµÄµÈ¼ÛÓÚker(f)ÔÚ?ÖгíÃÜ¡£ Ö¤Ã÷£º±ØÒªÐÔ£ºf²»Á¬Ðø?fÎÞ½ç??{xk}£¬ÇÒxk?1£¬Ê¹µÃf(xk)?k¡£
12Ö¤Ã÷£º
22?bb??b?b?????(Tx)(t)??k(t,s)x(s)ds??k(t,s)x(s)dsdt?k(t,s)x(s)dsdt????a?a???a??a? a?????b(1)222???dt??x????????k(t,s)ds?x(s)dsk(t,s)dsdt???????¡£ ?????????a????aa??a??abbbbb121212?x??£¬Áîyk?x?f(x)xk£¬Ôòyk?ker(f)£¬ÇÒyk?x£¬ÓɳíÃÜÐÔ¶¨Òå¿Éf(xk)Öª£ºker(f)ÔÚ?ÖгíÃÜ¡£
³ä·ÖÐÔ£ºÈôfÁ¬Ðø?ker(f)ÊÇ?ÉϵıÕ×ӿռ䡣ÓÖÒòΪker(f)ÔÚ?ÖгíÃÜ£¬ËùÒÔ??ker(f)?ker(f)?f?0¡£´ËÓëf?0ì¶Ü¡£¹ÊÈôf²»Á¬Ðø¡£
ËùÒÔT??????bbaa£¨1£©ÀûÓÃÁËHolder²»µÈʽ¡£ k(t,s)dsdt??¡£ÉÏÊöÍÆµ¼¹ý³ÌÖУ¬
?212µÚ °Ë ½Ú
1£®ÉèkÊǷǸºÕûÊý£¬Ö¤Ã÷[a,b]ÉÏ´ÎÊý²»³¬¹ýkµÄ¶àÏîʽȫÌåPk[a,b]ÊÇC[a,b]µÄ±Õ×ӿռ䡣 Ö¤Ã÷£ºÈÝÒ×ÑéÖ¤Pk[a,b]°´C[a,b]Éϵķ¶Êý³ÉΪ¸³·¶¿Õ¼ä£¬ÏÂÃæÒªÖ¤Ã÷ËüÊDZյġ£
nÁîxn?t(0?n?k,t?[a,b])£¬ÔòÈÝÒ×ÑéÖ¤{x0,x1,?xk}ÊÇPk[a,b]µÄ»ù£¬ÇÒ
6£®Éèk(t,s)?C([a,b]?[a,b])£¬¶¨ÒåT:C[a,b]?C[a,b]Ϊ£º
(Tx)(t)??k(t,s)x(s)ds¡£Ö¤Ã÷£ºT?maxaba?t?b?bak(t,s)dt¡£
Ö¤Ã÷£º
dimPk[a,b]?k?1¡£ÓÖÒòΪÓÐÏÞά¿Õ¼äÊDZռ¯¡£ËùÒÔPk[a,b]ÊÇC[a,b]µÄ±Õ×Ó
¿Õ¼ä¡£
11
* 5£®ÉèMÊǸ³·¶¿Õ¼ä?ÖеÄ×ӿռ䣬x0??¡£Ö¤Ã÷x0?M?Ö»Òªf??Âú×ã
f|M?0£¬Ôòf(x0)?0¡£ 2£®Ö¤Ã÷¶¨Àí3£¨¸³·¶¿Õ¼ä?ÊÇÓÐÏÞάµÄ³äÒªÌõ¼þÊÇ£º?ÖеÄÓнç±Õ¼¯¶¼Êǽô¼¯¡££©
*Ö¤Ã÷£º²»·ÁÉèdim??n£¬{e1,e2,?,en}ΪËüµÄ»ù¡£¹¹ÔìT:??KnΪ֤Ã÷£º±ØÒªÐÔ¡£Ó÷´Ö¤·¨¡£Éè?f??Âú×ãf|M?0£¬µ«f(x0)?0£¬ÓÉ£Ð50Ò³
Tx?[?1,?2,?,?n]£¬ÕâÀïx???kekÓÉ´Ë¿ÉÖª?ÓëKnÍØÆËͬ¹¹¡£ÓÖÒòΪKnÓÐ
k?1nµÄÍÆÂÛ2µÄ½áÂÛ¿ÉÖªx0?M£¬ÕâÓëx0?Mì¶Ü¡£ËùÒÔÖ»Òªx0?MÕâÒ»Ìõ¼þ³É
*Á¢£¬±Ø¿ÉÍÆ³öÖ»Òªf??Âú×ãf|M?0£¬Ôòf(x0)?0¡£
*³ä·ÖÐÔ£ºÍ¬ÑùÓ÷´Ö¤·¢¡£x0?MÔòÓÉ£Ð50Ò³µÄÍÆÂÛ2µÄ½áÂÛ¿ÉÖª£º´æÔÚf??*Âú×ãf|M?0£¬ÇÒf(x0)?0£¬ÏÔÈ»ÕâÓëf(x0)?0ì¶Ü¡£ËùÒÔÖ»Òªf??Âú×ã
½ç±Õ¼¯¶¼Êǽô¼¯ÓëKnÊÇÓÐÏÞάÊǵȼ۵ģ¬ËùÒÔ?ÊÇÓÐÏÞάµÈ¼ÛÓë?ÖеÄÓнç±Õ¼¯¶¼Êǽô¼¯¡£
3£®Éèdim???£¬AÓëB¾ùÊÇ?µÄ·Ç¿Õ×Ó¼¯£¬ÇÒÆäÖÐÒ»¸öÊDZռ¯£¬ÁíÒ»¸öÊǽô
¼¯£¬Ö¤Ã÷´æÔÚx0?A£¬y0?B£¬Ê¹x0?y0?d(A,B)¡£Ìرðµ±d(A,B)?0ʱ£¬
6£®ÉèAÊǸ³·¶¿Õ¼ä?µÄ·Ç¿Õ¼¯£¬x0??¡£Ö¤Ã÷x0¿ÉÓÃAÖÐÔªµÄÓÐÏÞÏßÐÔ×éºÏA?B??¡£
Ö¤Ã÷£º²»·ÁÉèAÊDZռ¯£¬BÊǽô¼¯¡£¶¨Òåf:B?RΪf(y)?d(y,A)£¬ÓÉÓÚdÊÇÁ¬ÐøÓ³É䣬ÇÒ½ô¼¯µÄÁ¬ÐøÏñÊǽô¼¯£¬Ôò±Ø´æÔÚy0?B£¬Ê¹µÃ
?f|M?0£¬Ôòf(x0)?0ÕâÒ»Ìõ¼þ³ÉÁ¢£¬±Ø¿ÉÍÆ³öx0?M¡£
±Æ½üµÄ³äÒªÌõ¼þÊÇ£ºÖ»Òªf??Âú×ãf|A?0£¬Ôòf(x0)?0¡£
*Ö¤Ã÷£º¸ÃÌâ¼´ÒªÖ¤Ã÷x0?span(A)?Ö»Òªf??Âú×ãf|A?0£¬Ôòf(x0)?0¡£ *±ØÒªÐÔ¡£Éèx0?span(A)£¬ÔòÓÉϰÌâ5µÄ½áÂÛ¿ÉÖª£ºÖ»Òªf??Âú×ãf|span(A)?0£¬
*f(y0)?d(y0,A)?inff(y)?r¡£
y?B~ÁîC?B(y0,r?1)?A£¬ÔòCÊÇÓнç±Õ¼¯£¬ÓÖÒòΪCÊÇÓÐÏÞάµÄ£¬ËùÒÔCÊǽô¼¯¡£ÓÉCµÄÈ¡·¨ÏÔÈ»ÓÐd(x0,C)?d(x0,A)¡£
Ôòf(x0)?0¡£¶øÓÉspan(A)µÄ¹¹Ôì¿ÉÖª£ºf|span(A)?0?f|A?0¡£ ³ä·ÖÐÔ£ºÓÉf|span(A)?0?f|A?0ÒÔ¼°Ï°Ìâ5µÄ½áÂÛÖ±½Ó¿ÉµÃ¡£
7£®Éèx1,x2,?,xnÊǸ³·¶¿Õ¼ä?ÖÐÓÐÏÞ¸öÏßÐÔÎÞ¹ØÏòÁ¿£¬Ö¤Ã÷´æÔÚ
C½ô??x0?C£¬Ê¹d(y0,C)?x0?y0?d(y0,A)?d(A,B)¡£
µÚ ¶þ ÕÂ
µÚ Ò» ½Ú
4£®É踳·¶¿Õ¼ä??{0}£¬Ö¤Ã÷£º¶ÔÓÚÈκÎx??£¬ºãÓÐx?supf(x)¡£
f?1f??**Ö¤Ã÷£ºÓÉ£Ð49Ò³µÄÍÆÂÛ1¿ÉÖª£º´æÔÚf0??£¬Ê¹µÃf0?1£¬ÇÒf0(x)?x¡£
f1,f2,?,fn??*ʹfi(xj)??ij£¬i,j?1,2,?,n¡£
Ö¤Ã÷£ºÒÔx1ΪÀýÀ´ËµÃ÷¡£ÁîM?span(x2,?xn)£¬ÔòËüΪ?ÖеÄ×ӿռ䡣ÒòΪ
x1,x2,?,xnÏßÐÔÎ޹أ¬ËùÒÔd(x1,M)?0¡£ÓÉ·ºº¯ÑÓÍØ¶¨ÀíÖª£º?f1??*£¬Ê¹
µÃf1(x1)?1£¬f1|M?0¡£ÔÙÓÉMµÄ¹¹Ôì·½·¨¿ÉÖªf1(xj)?0,(j?2)¡£Í¬Àí¿ÉµÃ£ºfi(xj)??ij¡£
*8£®Éè?ÊǸ³·¶¿Õ¼ä£¬x0??Âú×ãÌõ¼þÖ»Òªf??ÇÒf?1£¬Ôòf(x0)?c£¬Ö¤Ã÷x0?c¡£
f?1ÁíÒ»·½ÃæÓÐf(x)?f?x?f(x)?x£¬ËùÒÔx?supf(x)¡£
f?1f??*
12