Trong bài “Sự hội tụ của chuỗi lũy thừa – chuỗi Fourier”
(http://bomongiaitich.wordpress.com/2012/06/01/su-hoi-tu-cua-chuoi-luy-thua-chuoi-fourier/)
nói về sự hội tụ của các chuỗi Taylor và chuỗi Fourier có đặt ra câu hỏi:
Xuất phát từ một hàm đủ tốt, ta xây dựng được chuỗi Taylor (chuỗi Fourier) của hàm đó. Giả sử các chuỗi đó hội tụ, câu hỏi đặt ra chúng hội tụ đến đâu? có phải liên quan đến hàm ban đầu không?
Câu hỏi trên cũng có thể phát biểu:
liệu hai hàm đủ tốt có cùng chuỗi Taylor (Fourier) thì chúng trùng nhau không?
Nói cách khác ta cần quan tâm đến tính duy nhất của chuỗi Taylor cũng như chuỗi Fourier.
Trước hết, với chuỗi Taylor cho hàm khả vi vô hạn tại
,
trong bài “Sự hội tụ của chuỗi lũy thừa – chuỗi Fourier” có đưa ra một số ví dụ về tính không duy nhất của chuỗi lũy thừa. Chẳng hạn xét các hàm khả vi vô hạn trên đường thẳng thực, hàm đồng nhất không và hàm
khi
,
có cùng khai triển Taylor tại .
Như vậy chữ “đủ tốt” ở đây cần nhiều hơn “khả vi vô hạn” hay
“khả vi vô hạn” không đảm bảo tính duy nhất!
Vậy cần tốt đến mức nào để đảm bảo tính duy nhất?
Câu trả lời đầu tiên: tính “giải tích”. Hàm được gọi là giải tích tại
nếu chuỗi Taylor tại
của hàm này đảm bảo xác định duy nhất ngược trở lại hàm
trong lân cận “đủ nhỏ” .
Người ta đã chứng minh được rằng hàm khả vi vô hạn là giải tích tại
khi và chỉ khi
có các số dương để
.
Như vậy, “đủ nhỏ” ở đây nghĩa là với mỗi hàm giải tích tại
, có một số dương
lớn nhất trong các số dương để có bất đẳng thức
, khi đó chuỗi Taylor của hàm
tại
xác định hàm
trong khoảng
. Có thể thay ngay rằng
không lớn hơn bán kính hội tụ
của chuỗi Taylor
.
Dĩ nhiên khi chuỗi Taylor phân kỳ nên không có gì phải nói trong trường hợp này.
Nhưng khi điều gì xảy ra? Liệu chuỗi Taylor có hội tụ đến đúng hàm
hay không?
Ta tạm gác lại câu hỏi này và có kết luận như sau:
Trong không gian các hàm khả vi vô hạn, giải tích tại (hay các hàm khả vi vô hạn thỏa mãn (1)), dãy giá trị các đạo hàm tại
có thể coi như một dấu hiệu để nhận dạng hay nếu coi mỗi hàm khả vi vô hạn, giải tích tại
như một quyển sách thì để tìm trong các quyển này một quyển sách ta lấy từ khóa chính là dãy giá trị các đạo hàm tại
.
Quay trở lại câu hỏi trên bằng việc xét ví dụ
xác định bởi
.
Hàm này có khai triển Taylor tại
với bán kính hội tụ , hội tụ đến
trên
.
Có nên nếu
thì
(vì khi
).
Như vậy nếu dừng lại ở việc xét tính giải tích của hàm tại một điểm chưa đủ!
Ta cần quan tâm hàm giải tích trên một khoảng chẳng hạn hàm giải tích trên
, nghĩa là hàm giải tích tại mọi điểm
.
Người ta cũng chứng minh được rằng
hàm khả vi vô hạn là giải tích trên
nếu và chỉ nếu
với mỗi
đều có một lân cận
và các số thực dương để
.
Ta lại có kết luận sau:
Trong không gian các hàm giải tích trên khoảng dãy giá trị các đạo hàm tại mỗi điểm hoàn toàn xác định được hàm hay nói cách khác nếu có hai hàm mà tại một điểm nào đó trong khoảng
chúng có chung dãy giá trị các đạo hàm tại điểm đó thì chúng phải trùng nhau.
Tiếp tục theo hướng này, người ta xét các lớp hàm khả vi vô hạn như sau.
Với mỗi dãy số dương không gian
là tập tất cả các hàm
khả vi vô hạn trên
thỏa mãn
có một số dương để
.
Không gian được gọi là tựa giải tích nếu
với mỗi có
thì
;
hay nói cách khác không gian được gọi là tựa giải tích nếu dãy giá trị các đạo hàm là dãy từ khóa!
A. Denjoy (1921) và T. Carleman (1926) chứng minh được rằng:
Không gian là tựa giải tích khi và chỉ khi một trong các điều sau xảy ra:
(a) ;
(b)
;
(c) .
Các bạn có thể xem chứng minh kết quả trên trong cuốn “The Analysis of linear PDEs I” của L. Hormander (trang 20-24).
Đường link của cuốn sách
https://www.box.com/s/eiz7r658b6xyv1ocbn3i
Khi có:
thì
là hàm giải tích trên
.
Ở trên ta mới bàn đến tính duy nhất từ dãy giá trị các đạo hàm. Ta cũng có thể hỏi về tính duy nhất: với mỗi hàm khả vi vô hạn liệu có mấy chuỗi lũy thừa
cùng hội tụ đến hàm trong một lân cận của điểm
?
Trước khi trả lời câu hỏi này ta nhắc lại định lý xấp xỉ Weierstrass:
Với mỗi hàm bất kỳ ta đều có thể xấp xỉ đều nó bởi một dãy các đa thức, hay theo ngôn ngữ
là đa thức sao cho
Có thể thấy rằng có nhiều cách chọn với mỗi
. Tuy nhiên ở đây có sự khác biệt khá lớn so với chuỗi Taylor! Bạn đọc thử tìm hiểu xem?
Còn câu trả lời cho tính “duy nhất” ở trên là: nếu có chỉ có một. Lý do đưa ra bằng cách tính toán khá đơn giản cho thấy
.
Cũng với hai câu hỏi trên được xét cho chuỗi Fourier thì tình hình có vẻ ngược lại. Cụ thể, với câu hỏi đầu, một chuỗi Fourier cho trước
liệu có bao nhiêu hàm tuần hoàn chu kỳ cùng nhận chuỗi Fourier này là khai triển Fourier của nó? Nói cách khác có hàm tuần hoàn chu kỳ
khác
nào có hệ số Fourier đều bằng
?
Nếu xét trong lớp các hàm tuần hoàn chu kỳ , bình phương khả tích trên đoạn
, nhờ đẳng thức Parseval
ta có ngay câu trả lời cho tính duy nhất, nghĩa là trong không gian các hàm bình phương khả tích trên , tuần hoàn chu kỳ
các hệ số Fourier hoàn toàn xác định hàm.
Trong trường hợp hàm khả tích Riemann ta có nếu tất cả các hệ số Fourier đều bằng thì hàm sẽ bằng
tại những điểm hàm đó liên tục. Như vậy, hàm sẽ bằng
hầu khắp nơi!
Ở đây ta cũng nên có sự so sánh với Định lý xấp xỉ Weierstrass cho hàm tuần hoàn liên tục, Định lý Fejer về sự hội tụ đều của dãy tổng Fejer. Bằng việc dùng tổng Fejer
,
trong đó ,
với lưu ý khi khả tích Lebesgue thì
ta cũng có câu trả lời cho tính duy nhất trong trường hợp hàm khả tích Lebesgue.
Với câu hỏi thứ hai, liệu có hai chuỗi Fourier cùng xác định một hàm hay không? Nói cách khác nếu với mỗi chuỗi Fourier
đều hội tụ điểm về
thì tất cả các hệ số Fourier ?
Câu hỏi này được đề xuất bởi B. Riemann, sau đó E. Heine giao cho G. Cantor. Năm 1870, Cantor đã trả lời khẳng định câu hỏi trên. Sau đó hai năm Cantor tiếp tục mở rộng ra bằng việc giảm nhẹ giả thiết: không cần chuỗi Fourier hội tụ về tại mọi điểm mà có thể bỏ đi một số điểm! Mọi sự thú vị có lẽ bắt đầu từ đây!
Cần lưu ý về sự hội tụ ở đây là hội tụ điểm. Nếu chuỗi Fourier hội tụ trung bình bình phương về , nghĩa là
thì có ngay tất cả các hệ số Fourier đều phải bằng vì
.
Quay trở lại lúc Cantor bỏ bớt đi một số điểm, sau đó H. Lebesgue (1903), S. N. Bernstein (1908) và W. H. Young (1909) mở rộng đến kết quả sau
nếu chuỗi Fourier hội tụ điểm về trừ ra một số đếm được các điểm thì tất cả các hệ số Fourier phải bằng
.
Câu hỏi đặt ra lúc này liệu “trừ ra một tập có độ đo không” có được không, hay chính xác hơn
liệu chuỗi Fourier hội tụ hầu khắp nơi về thì tất cả các hệ số Fourier có nhất thiết đều bằng
hay không?
D. Menshov có câu trả lời phủ định bằng việc xây dựng phản ví dụ.
Cũng cần lưu ý rằng L. Fejer và H. Lebesgue chứng minh được rằng:
Nếu khai triển Fourier của một hàm khả tích Lebesgue hội tụ hầu khắp nơi về thì hàm đó bằng
hầu khắp nơi.
Nói cách khác trong lớp hàm khả tích Lebesgue thì việc bỏ đi “tập có độ đo không” không làm mất tính duy nhất.
Như vậy có thể thấy ví dụ của Menshov liên quan đến cái gì đó rộng hơn hàm khả tích Lebesgue, cái được gọi là giả hàm (pseudo-functions) hay rộng hơn hàm suy rộng! Cụ thể của việc xây dựng này các bạn có thể xem trong bài
“SET THEORY AND UNIQUENESS FOR TRIGONOMETRIC SERIES” của A. S. Kechris.
Các bạn có thể lấy trong trang
http://www.math.caltech.edu/people/kechris.html
Ngoài ra, D. Menshov khẳng định được rằng:
Bất kỳ hàm đo được Lebesgue đều có một chuỗi Fourier hội tụ hầu khắp nơi đến nó. Như vậy có thể có nhiều chuỗi Fourier như vậy!
Câu chuyện về tính duy nhất của chuỗi Fourier cho đến nay vẫn còn mở!