Hằng số tích phân

Trong giải tích, tích phân bất định của một hàm cho trước (hay là tập tất cả nguyên hàm) trên miền liên thông chỉ được định nghĩa bằng cách thêm một hằng số cộng, gọi là hằng số tích phân.[1][2] Hằng số này biểu thị sự liên quan giữa tích phân bất định và nguyên hàm. Nếu hàm xác định trên một khoảng là nguyên hàm của thì tập tất cả nguyên hàm của được cho bởi công thức với là một hằng số bất kỳ (nghĩa là bất kỳ giá trị nào sao cho là nguyên hàm hợp lệ). Đôi khi để đơn giản người ta lược bỏ hằng số tích phân trong danh sách tích phân.

Nguồn gốc của hằng số

Đạo hàm của hàm hằng bất kỳ là bằng 0. Khi biết một nguyên hàm của thì cộng hay trừ hằng số bất kỳ với nguyên hàm trên sẽ cho ta các nguyên hàm khác, do . Hằng số tích phân là cách biểu diễn một nguyên hàm bất kỳ trong vô hạn các nguyên hàm của hàm số.

Giả sử ta muốn tìm các nguyên hàm của . Một nguyên hàm là . Một nguyên hàm khác là . Một nguyên hàm thứ ba là . Mỗi nguyên hàm đều có đạo hàm là do đó chúng đều là nguyên hàm của .

Hằng số tích phân là một cách để biễu diễn các nguyên hàm khác nhau của cùng một hàm. Có nghĩa là tất cả nguyên hàm chỉ sai khác nhau một hằng số. Để biểu diễn tất cả nguyên hàm của , ta viết:

Thay bởi một số sẽ sinh ra một nguyên hàm. Bằng cách viết thay vì một số cụ thể, ta biểu thị ngắn gọn tất cả các nguyên hàm có thể có của . được gọi là hằng số tích phân. Dễ dàng chứng minh tất cả các hàm này là nguyên hàm của :

Tính cần thiết của hằng số tích phân

Tuy hằng số tích phân trông có vẻ không cần thiết vì ta có thể đặt hằng số bằng 0. Hơn nữa khi tính tích phân xác định bằng cách sử dụng định lý cơ bản của giải tích, hằng số luôn bị triệt tiêu.

Tuy nhiên, đặt hằng số bằng 0 không phải lúc nào cũng thích hợp. Ví dụ hàm có thể có ít nhất ba dạng nguyên hàm khác nhau:

Vì vậy, nếu bằng 0 thì vẫn còn lại một hằng số. Nghĩa là với một hàm số cho trước, không có "nguyên hàm đơn giản nhất".

Một vấn đề khác nếu đặt bằng 0 đó là đôi khi ta muốn tìm nguyên hàm có giá trị cho trước tại một điểm xác định (như trong bài toán giá trị khởi đầu). Ví dụ, để tìm nguyên hàm của có giá trị 100 tại thì chỉ có một giá trị của thỏa mãn (trong trường hợp này ).

Hạn chế này được diễn tả theo ngôn ngữ của phương trình vi phân. Tìm tích phân bất định của hàm cũng tương tự bài toán giải phương trình vi phân . Phương trình vi phân nào cũng có nhiều đáp án, mỗi hằng số tích phân đại diện cho một đáp án duy nhất của bài toán giá trị ban đầu thỏa mãn ba tiêu chuẩn Hadamard. Việc áp đặt điều kiện để nguyên hàm có giá trị 100 tại chính là một điều kiện ban đầu. Mỗi điều kiện ban đầu tương ứng với một và chỉ có một giá trị của C, cho nên nếu không có C sẽ không thể giải được bài toán.

Có một cách biện luận khác xuất phát từ đại số trừu tượng. Không gian của tất cả các hàm giá trị thực (thích hợp) trên tập số thực là một không gian vector với toán tử vi phân chính là toán tử tuyến tính. Toán tử ánh xạ đến một hàm bằng 0 khi và chỉ khi hàm đó là hàm hằng. Do đó hạt nhân của là không gian của tất cả các hàm hằng. Quá trình tích phân bất định có mục tiêu là tìm tiền ảnh của hàm cho trước. Không có tiền ảnh chính tắc nào của một hàm cho trước nào nhưng tập của tất cả các tiền ảnh có dạng coset. Việc chọn một hằng số tương tự như việc chọn một phần tử của coset. Trong bối cảnh này việc giải bài toán giá trị ban đầu được ngẩm hiểu nằm trong siêu phẳng cho trước bởi điều kiện ban đầu.

Nguyên nhân tồn tại một hằng số khác biệt giữa các nguyên hàm

Phát biểu: Cho là 2 hàm khả vi tại mọi điểm. Giả sử với mọi số thực x thì tồn tại một số thực sao cho với mọi số thực x.

Để chứng minh điều này, lưu ý rằng . Do vậy có thể thế với bằng hàm hằng 0, bài toán trở thành chứng minh rằng một hàm khả vi tại mọi điểm mà có đạo hàm luôn bằng 0 phải là hàm hằng:

Chọn số thực a, và đặt . Theo định lý cơ bản của giải tích, với x bất kỳ cùng với giả định rằng đạo hàm của bằng 0, suy ra

từ đó . Vậy là hàm hằng.

Có 2 sự thật rất quan trọng trong chứng minh này. Sự thật đầu tiên, trục số thực là liên thông. Nếu trục số thực không liên thông, ta không thể lấy tích phân từ điểm thực a cố đinh đến điểm x bất kỳ. Ví dụ nếu ta yêu cầu các hàm xác định trên hợp của các khoảng [0,1] và [2,3], khi thì không có tích phần trong khoảng 0 đến 3 do hàm không xác định trong khoảng 1 đến 2. Từ đó sẽ có 2 hằng số, mỗi hằng số cho mỗi tập liên thông của tập xác định. Tổng quát, nếu ta thay các hằng số này bằng các hàm hằng cục bộ, ta có thể mở rộng định lý này cho các tập xác định không liên hợp. Cho ví dụ, có 2 hằng số tích phân của và vô hạn hằng số của do đó dạng tổng quát của tích phân là:[3][4]

Sự thật thứ 2, được coi là khả vi tại mọi điểm. Nếu không có vi phân dù tại chỉ 1 điểm thì định lý trên sẽ sụp đổ. Ví dụ, cho hàm bước Heaviside bằng 0 nếu x âm và bằng 1 nếu x không âm, đặt . Thì đạo hàm của bằng 0 khi hàm xác định và đạo hàm của luôn bằng 0. Rõ ràng rằng không sai khác nhau qua hằng số. Thậm chí nếu liên tục tại mọi điểm và hầu như khả vi tại mọi điểm thì định lý cũng sụp đổ. Ví dụ khác, cho hàm Cantor và đặt .

Tham khảo

  1. ^ Stewart, James (2008). Calculus: Early Transcendentals (ấn bản thứ 6). Brooks/Cole. ISBN 0-495-01166-5.
  2. ^ Larson, Ron; Edwards, Bruce H. (2009). Calculus (ấn bản thứ 9). Brooks/Cole. ISBN 0-547-16702-4.
  3. ^ "Reader Survey: log|x| + C", Tom Leinster, The n-category Café, ngày 19 tháng 3 năm 2012
  4. ^ . ISBN 978-0-691-13088-0. |title= trống hay bị thiếu (trợ giúp)|tựa đề= trống hay bị thiếu (trợ giúp)