Đạo hàm yếu

Trong toán học, một đạo hàm yếu (tiếng Anh: weak derivative) là một sự tổng quát của đạo hàm mạnh (strong derivative) cho những hàm không đòi hỏi phải khả vi, mà chỉ đòi hỏi điều kiện khả tích, tức là nằm trong không gian Lebesgue .

 Định nghĩa 
Giả sử  là một hàm số trong không gian Lebesgue . Ta nói  trong  là một đạo hàm yếu của  nếu,

với tất cả các hàm số khả vi có đạo hàm liên tục  với .

Tổng quát hóa lên không gian  chiều, nếu  và  ở trong không gian  của các hàm khả tích địa phương trên một tập mở  nào đó, và nếu  là một đa chỉ số, ta nói  là đạo hàm yếu bậc  của  nếu

với tất cả các hàm , nghĩa là, với tất cả các hàm số khả vi vô hạn  với giá compact trong . Nếu  có một đạo hàm yếu, nó thường được viết là  bởi vì đạo hàm yếu là duy nhất (ít nhất, cho tới một tập hợp với độ đo bằng không, xem bên dưới).

 Ví dụ 
Hàm giá trị tuyệt đối u: [−1, 1] → [0, 1], u(t) = |t|, cái mà không khả vi tại t = 0, có đạo hàm yếu v thường được gọi là hàm dấu cho bởi công thức

Đây không phải là đạo hàm yếu duy nhất của u: mọi w bằng v hầu khắp nơi cũng là một đạo hàm yếu của u. Thông thường đây không phải là vấn đề gì lớn vì trong lý thuyết của các không gian Lp và các không gian Sobolev, các hàm bằng nhau hầu khắp nơi được đồng nhất.

 Các tính chất 
Nếu hai hàm cùng là đạo hàm yếu của cùng một hàm thì chúng bằng nhau trừ trên một tập hợp có độ đo Lebesgue bằng không. Nếu chúng ta xem xét lớp tương đương các hàm số, trong đó hai hàm số là tương đương nếu chúng bằng nhau hầu khắp nơi, thì khi đó đạo hàm yếu của một hàm là duy nhất.

Thêm nữa, u khả vi theo nghĩa thông thường thì đạo hàm yếu của nó chính là đạo hàm theo nghĩa thông thường. Như vậy đạo hàm yếu chính là một sự tổng quát hoá của đạo hàm mạnh. Hơn nữa, những nguyên tắc cổ điển của đạo hàm cho tổng và tích của các hàm vẫn đúng cho trường hợp đạo hàm yếu.

 Những mở rộng 
Khái niệm này dẫn đến sự ra đời cho định nghĩa nghiệm yếu trong các không gian Sobolev, cái mà rất hữu ích cho những bài toán về phương trình vi phân và trong giải tích hàm.

Tham khảo

Thể loại:Giải tích toán học