Trong bài đăng này, tôi sẽ khái quát việc chứng minh một định lý quan trọng về phương trình tích phân Volterra thông qua việc sử dụng một định lý về ánh xạ co trong không gian mêtríc đầy đủ, định lý ấy cụ thể như sau :
Định lý : Cho là một ánh xạ từ không gian mêtríc đầy đủ vào . Giả sử có một số nguyên dương sao cho là một ánh xạ co. Lúc đó có một điểm bất động duy nhất trong .
Vấn đề cần chứng minh như sau :
Định lý : Cho là một ánh xạ liên tục từ vào . Đặt là không gian các ánh xạ liên tục từ vào với chuẩn với mọi trong . Cho là một phần tử trong và trong . Chứng minh phương trình tích phân Volterra tuyến tính sau đây có một nghiệm duy nhất trong .
Chứng minh :
Như đã nói, tôi sẽ chứng minh định lý này dựa vào định lý trên, do đó việc chứng minh là một không gian định chuẩn đầy đủ và tính tuyến tính của phương trình tích phân Volterra tôi sẽ không đề cập trong chứng minh này. Với mọi , ta đặt
Trước tiên, chúng ta sẽ chứng minh là một hàm trong . Khi đó, ta phải chứng minh là một hàm trong . Điều này có nghĩa là liên tục trong với . Ta sẽ dựa vào định nghĩa sau
(1) : Với mỗi , cho trước , ta phải tìm sao cho , với mọi ,
Nói rõ hơn, ta phải có
Với mỗi , cho trước , ta phải tìm sao cho , với mọi ,
Vì là ánh xạ liên tục từ vào nên ta chứng minh được liên tục đều. Khi đó, ta có định nghĩa về sự liên tục đều như sau
(2) : Cho , với mỗi , tồn tại sao cho , với mọi thỏa mãn
Hơn nữa, vì là một tập compắc nên với mỗi dãy hội tụ về một thì ta có thêm định nghĩa sau
(3) : Với mỗi , tồn tại sao cho , với mọi
Ta đặt , khi đó định nghĩa (2) sẽ trở thành
Với hội tụ về một , với mỗi , tồn tại sao cho ,
Do đó, định nghĩa (1) phải là
Với hội tụ về một , cho trước , ta phải tìm sao cho ,
Mà ta đã biết rằng
Do đó,
Khi đó, ta chọn và đặt .
Như vậy, ta đã chứng minh được là một hàm trong .
Từ đó, ta sẽ chứng minh rằng tồn tại để cho là một ánh xạ co, nghĩa là
Dựa vào tính tuyến tính của hàm số , ta có
Đặt , ta được
Như vậy, tổng quát hóa lên ta cần chứng minh rằng với mọi thì
Thật vậy, ta sẽ chứng minh biểu thức trên dựa vào phương pháp qui nạp toán học.
- Với thì biểu thức đúng theo như biến đổi ban đầu.
- Giả sử rằng biểu thức đúng với , nghĩa là
- Ta cần chứng minh biểu thức đúng với . Thật vậy, ta có
Khi ta đặt và sử dụng phép giao hoán, biểu thức trên trở thành
Vậy ta đã chứng minh được giả thiết qui nạp đưa ra. Gọi , ta có bất đẳng thức sau
Hơn nữa, ta phải chứng minh thêm một giả thiết qui nạp tiếp theo
- Bất đẳng thức này đúng với .
- Giả sử nó đúng với , nghĩa là
- Ta cần chứng minh nó cũng đúng với . Thật vậy, ta vẫn sử dụng kĩ thuật đã làm ở bài qui nạp trước, ta có
Vậy ta đã chứng minh được giả thiết qui nạp thứ 2. Vì nên
Mặt khác, để ý rằng
Nên ta kết thúc việc chứng minh ở đây.