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. 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 và  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  và  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  và  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à:"Reader Survey: log|x| + C", Tom Leinster, The n-category Café, ngày 19 tháng 3 năm 2012|tựa đề= trống hay bị thiếu (trợ giúp)

Sự thật thứ 2,  và  được coi là khả vi tại mọi điểm. Nếu  và  không có vi phân dù tại chỉ 1 điểm thì định lý trên sẽ sụp đổ. Ví dụ, cho  là 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  và  không sai khác nhau qua hằng số. Thậm chí nếu  và  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  là hàm Cantor và đặt .

 Tham khảo 

Thể loại:Giải tích tích phân