📘 Cheat Sheet: Đạo hàm & Tích phân số phức
1. Số phức cơ bản
- Định nghĩa: $z = x + i y$, với $x, y \in \mathbb{R}$, $i^2 = -1$.
- Liên hợp (conjugate): $\overline{z} = x - i y$.
- Môđun (modulus): $|z| = \sqrt{x^2 + y^2}$.
- Tích với liên hợp: $z \overline{z} = |z|^2$.
2. Phần thực & phần ảo
- Phần thực: $\mathcal{R}(z) = \dfrac{z + \overline{z}}{2}$.
- Phần ảo: $\mathcal{I}(z) = \dfrac{z - \overline{z}}{2i}$.
3. Đạo hàm số phức theo biến thực
Nếu $z(t) = x(t) + i y(t)$ với $t \in \mathbb{R}$:
-
Đạo hàm:
$$ \frac{dz}{dt} = \frac{dx}{dt} + i \frac{dy}{dt} $$ -
Liên hợp:
$$ \frac{d}{dt}\overline{z} = \overline{\frac{dz}{dt}} $$
4. Công thức đạo hàm quan trọng
-
Quy tắc tích với liên hợp:
$$ \frac{d}{dt}(z\overline{z}) = \frac{dz}{dt}\overline{z} + z\frac{d\overline{z}}{dt} $$ -
Vì $z\overline{z} = |z|^2$, ta có:
$$ \frac{d}{dt}|z|^2 = \frac{dz}{dt}\overline{z} + \overline{\frac{dz}{dt}}z $$ -
Lấy phần thực:
$$ \mathcal{R}\!\left(\frac{dz}{dt}\overline{z}\right) = \frac{1}{2}\frac{d}{dt}|z|^2 $$
👉 Đây chính là công thức trong hình bạn gửi.
5. Tích phân số phức (biến thực)
Với $z(t) = x(t) + i y(t)$:
$$ \int z(t)\,dt = \int x(t)\,dt + i \int y(t)\,dt $$6. Tích phân đường cong (Contour Integral)
Cho đường cong $\gamma \subset \mathbb{C}$, tham số hóa bởi $z(t), a \leq t \leq b$:
$$ \int_\gamma f(z)\,dz = \int_a^b f(z(t))\, z'(t)\, dt $$Các định lý quan trọng
-
Định lý Cauchy (Cauchy’s Integral Theorem): Nếu $f$ giải tích trong miền đơn liên $D$, thì với mọi đường cong kín $\gamma \subset D$:
$$ \int_\gamma f(z)\, dz = 0 $$ -
Công thức tích phân Cauchy (Cauchy’s Integral Formula): Nếu $f$ giải tích trong miền chứa $z_0$:
$$ f(z_0) = \frac{1}{2\pi i} \int_\gamma \frac{f(z)}{z - z_0} \, dz $$ -
Định lý phần dư (Residue Theorem): Với $f$ giải tích ngoại trừ các điểm kỳ dị cô lập, và $\gamma$ bao quanh các điểm này:
$$ \int_\gamma f(z)\, dz = 2\pi i \sum \text{Residue của } f \text{ tại các cực bên trong } \gamma $$
7. Công thức ghi nhớ nhanh
- $\dfrac{d}{dt}|z|^2 = 2\mathcal{R}!\left(\dfrac{dz}{dt}\overline{z}\right)$
- $\int_\gamma f(z),dz = \int f(z(t))z’(t),dt$
- $\int_\gamma f(z),dz = 0$ nếu $f$ giải tích trong miền đơn liên chứa $\gamma$.
Rất tốt! Mình sẽ giải thích 3 khái niệm quan trọng trong giải tích phức mà bạn nhắc:
- “hàm giải tích (analytic function)”
- “miền đơn liên (simply connected domain)”
- “đường cong kín (closed curve)”
Mình sẽ đi theo cấu trúc: định nghĩa formal → trực giác/intuition → ví dụ minh họa.
1. Hàm giải tích (analytic function)
🔹 Định nghĩa formal
Một hàm phức $f: D \to \mathbb{C}$ được gọi là giải tích (analytic) trên miền $D$ nếu:
-
$f$ khả vi phức tại mọi điểm của $D$.
-
Tức là giới hạn sau tồn tại (giống như đạo hàm trong số thực, nhưng tinh tế hơn):
$$ f'(z_0) = \lim_{z \to z_0} \frac{f(z) - f(z_0)}{z - z_0} $$với $z, z_0 \in \mathbb{C}$.
Điều đặc biệt: để tồn tại đạo hàm này, hàm phải thỏa mãn phương trình Cauchy–Riemann và phải khả vi theo cả hai biến thực $x, y$.
🔹 Intuition
- Trong giải tích thực, ta chỉ cần xét đạo hàm theo một chiều (trái, phải).
- Trong giải tích phức, vì số phức có vô hạn hướng tiếp cận (góc nào cũng được), ta đòi hỏi đạo hàm phải tồn tại và bằng nhau theo mọi hướng.
- Khả vi phức trên một miền mở dẫn đến các hệ quả mạnh như tính giải tích và các định lý tích phân Cauchy.
👉 Intuition: “Hàm giải tích” là hàm rất “trơn tru”, không chỉ mượt theo 1 chiều mà mượt theo mọi hướng trong mặt phẳng phức.
🔹 Ví dụ
- $f(z) = z^2$, $f(z) = e^z$, $f(z) = \sin(z)$ đều giải tích trên toàn bộ $\mathbb{C}$.
- $f(z) = \overline{z}$ không giải tích, vì đạo hàm thay đổi theo hướng tiếp cận.
2. Miền đơn liên (simply connected domain)
🔹 Định nghĩa formal
Một miền $D \subset \mathbb{C}$ gọi là đơn liên nếu:
- $D$ liên thông (connected), tức là đi từ bất kỳ điểm nào trong $D$ tới điểm khác bằng đường liên tục nằm trong $D$.
- Mọi đường cong kín trong $D$ đều có thể liên tục co lại thành một điểm trong $D$ mà không rời khỏi miền.
🔹 Intuition
- Hãy tưởng tượng miền là một “miếng cao su 2D”.
- Nếu không có lỗ → ta có thể co mọi vòng tròn vẽ trong đó lại thành một điểm.
- Nếu có “lỗ” (ví dụ miền hình vành khăn), thì một số đường cong kín không thể co lại thành một điểm mà không “mắc” vào cái lỗ đó.
👉 Intuition: miền đơn liên là miền “không có lỗ thủng”.
🔹 Ví dụ
- Đĩa mở ${z \in \mathbb{C}: |z| < 1}$: đơn liên.
- Mặt phẳng trừ đi điểm $0$: $\mathbb{C} \setminus {0}$: không đơn liên (vì có “lỗ” ở gốc tọa độ).
3. Đường cong kín (closed curve)
🔹 Định nghĩa formal
Một đường cong tham số hóa bởi:
$$ \gamma: [a, b] \to \mathbb{C}, \quad \gamma(t) \in \mathbb{C} $$gọi là kín nếu:
$$ \gamma(a) = \gamma(b) $$🔹 Intuition
- Đường cong kín là “chu vi khép kín”, giống như vẽ một vòng tròn hoặc một hình méo tùy ý mà quay lại điểm ban đầu.
- Có thể coi đó là “biên” của một miền trong mặt phẳng.
👉 Intuition: đường cong kín là một “vòng dây” trong mặt phẳng phức.
🔹 Ví dụ
- Vòng tròn đơn vị: $\gamma(t) = e^{it}, , t \in [0, 2\pi]$.
- Hình chữ nhật trong $\mathbb{C}$ được đi theo chu vi và quay lại điểm xuất phát.
✅ Với 3 khái niệm này, bạn đã đủ để hiểu Định lý tích phân Cauchy:
Nếu $f$ giải tích trên miền đơn liên $D$, thì tích phân của $f$ dọc theo bất kỳ đường cong kín nào trong $D$ đều bằng 0.
Rất tốt, mình sẽ đi sâu vào phương trình Cauchy–Riemann – đây là “linh hồn” của giải tích phức.
📘 Phương trình Cauchy–Riemann
1. Thiết lập bài toán
Giả sử $f(z)$ là một hàm số phức, viết dưới dạng:
$$ z = x + i y, \quad f(z) = u(x, y) + i v(x, y) $$Trong đó:
- $u(x, y)$ là phần thực của $f(z)$.
- $v(x, y)$ là phần ảo của $f(z)$.
Ví dụ:
- Nếu $f(z) = z^2 = (x + i y)^2 = (x^2 - y^2) + i (2xy)$, thì $u(x,y) = x^2 - y^2$, $v(x,y) = 2xy$.
2. Đạo hàm trong giải tích phức
Đạo hàm tại $z_0$ được định nghĩa như trong giải tích thực:
$$ f'(z_0) = \lim_{z \to z_0} \frac{f(z) - f(z_0)}{z - z_0} $$Nhưng khác biệt lớn: $z$ có thể tiến tới $z_0$ theo vô hạn hướng trong mặt phẳng. 👉 Nghĩa là: đạo hàm chỉ tồn tại nếu giới hạn này không phụ thuộc vào hướng tiếp cận.
3. Điều kiện Cauchy–Riemann
Khi khai triển điều kiện “không phụ thuộc hướng tiếp cận”, ta thu được hệ phương trình Cauchy–Riemann:
$$ \frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \quad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x} $$Đây là điều kiện cần để $f(z)$ khả vi phức tại điểm $(x,y)$. Nếu kèm thêm điều kiện khả vi liên tục, thì đây cũng là điều kiện đủ.
4. Intuition (trực giác)
- Với hàm số thực một biến, ta chỉ cần kiểm tra sườn dốc từ trái và phải để có đạo hàm.
- Với hàm phức, ta cần kiểm tra sườn dốc từ mọi hướng.
👉 Phương trình Cauchy–Riemann chính là “điều kiện cân bằng” đảm bảo rằng các hướng khác nhau đều cho cùng một đạo hàm.
Bạn có thể hình dung như thế này:
- $u(x,y)$ và $v(x,y)$ giống như hai bản đồ địa hình.
- Phương trình Cauchy–Riemann đảm bảo chúng được “ăn khớp” hoàn hảo để không có hướng nào cho kết quả khác biệt.
5. Ví dụ minh họa
Ví dụ 1: Hàm giải tích
$f(z) = z^2 = (x^2 - y^2) + i(2xy)$
-
$u(x,y) = x^2 - y^2$, $v(x,y) = 2xy$.
-
Tính đạo hàm riêng:
$$ \frac{\partial u}{\partial x} = 2x, \quad \frac{\partial v}{\partial y} = 2x $$$$ \frac{\partial u}{\partial y} = -2y, \quad \frac{\partial v}{\partial x} = 2y $$ -
Ta thấy: $\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}$ và $\frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}$.
✅ Thỏa mãn Cauchy–Riemann ⇒ $f(z) = z^2$ giải tích.
Ví dụ 2: Hàm không giải tích
$f(z) = \overline{z} = x - i y$.
-
$u(x,y) = x$, $v(x,y) = -y$.
-
Tính đạo hàm riêng:
$$ \frac{\partial u}{\partial x} = 1, \quad \frac{\partial v}{\partial y} = -1 $$ -
Rõ ràng $\frac{\partial u}{\partial x} \neq \frac{\partial v}{\partial y}$.
❌ Không thỏa mãn Cauchy–Riemann ⇒ không giải tích.
6. Kết luận
- Hệ Cauchy–Riemann là điều kiện cần cho khả vi phức khi các đạo hàm riêng tồn tại; nếu các đạo hàm riêng bậc nhất liên tục trong một lân cận và thỏa hệ này, đó cũng là điều kiện đủ tại điểm đang xét.
- Nó thể hiện sự “hòa hợp” giữa phần thực và phần ảo của hàm.
- Nếu $u$ và $v$ có các đạo hàm riêng bậc nhất liên tục trên một miền mở và thỏa hệ Cauchy–Riemann, thì $f=u+iv$ khả vi phức trên miền đó. Từ tính chỉnh hình, ta suy ra $f$ khả vi vô hạn lần và có khai triển Taylor cục bộ. Chỉ riêng việc các đạo hàm riêng tồn tại và thỏa CR tại từng điểm, nếu thiếu điều kiện chính quy bổ sung, chưa đủ cho kết luận này.
Phần tiếp theo trình bày mối liên hệ giữa hệ Cauchy–Riemann và phương trình Laplace.
Hệ Cauchy–Riemann liên hệ hàm chỉnh hình với phương trình Laplace, một phương trình đạo hàm riêng xuất hiện trong các mô hình điện thế, truyền nhiệt và dòng chảy.
Mình sẽ giải thích theo trình tự: thiết lập → chứng minh → intuition → ví dụ.
📘 Từ Cauchy–Riemann đến phương trình Laplace
1. Nhắc lại phương trình Cauchy–Riemann
Giả sử $f(z) = u(x,y) + i v(x,y)$. Hệ CR là:
$$ \frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \quad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}. $$2. Phương trình Laplace
Một hàm $\phi(x,y)$ được gọi là nghiệm điều hòa (harmonic function) nếu thỏa:
$$ \Delta \phi = \frac{\partial^2 \phi}{\partial x^2} + \frac{\partial^2 \phi}{\partial y^2} = 0. $$Đây gọi là phương trình Laplace trong 2 biến.
3. Chứng minh: phần thực và phần ảo của hàm giải tích là nghiệm Laplace
Bắt đầu từ CR:
-
Từ $\dfrac{\partial u}{\partial x} = \dfrac{\partial v}{\partial y}$: Lấy đạo hàm theo $x$:
$$ \frac{\partial^2 u}{\partial x^2} = \frac{\partial^2 v}{\partial x \partial y}. $$ -
Từ $\dfrac{\partial u}{\partial y} = -\dfrac{\partial v}{\partial x}$: Lấy đạo hàm theo $y$:
$$ \frac{\partial^2 u}{\partial y^2} = -\frac{\partial^2 v}{\partial x \partial y}. $$
👉 Cộng hai kết quả:
$$ \frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} = 0. $$Tương tự, ta cũng suy ra:
$$ \frac{\partial^2 v}{\partial x^2} + \frac{\partial^2 v}{\partial y^2} = 0. $$✅ Kết quả: cả $u$ và $v$ đều là nghiệm Laplace.
4. Intuition (trực giác)
-
Phương trình Laplace mô tả các trường ổn định, không đổi theo thời gian. Ví dụ: nhiệt độ trong một tấm kim loại mỏng khi đạt cân bằng, điện thế trong không gian không có điện tích, hay vận tốc dòng chảy không xoáy.
-
Khi một hàm phức $f(z)$ giải tích, phần thực $u(x,y)$ và phần ảo $v(x,y)$ luôn “ăn khớp” với nhau sao cho cả hai mô tả trường điều hòa trong mặt phẳng.
Tại những điểm $f’(z)\ne0$, các đường mức của hai hàm điều hòa liên hợp $u$ và $v$ cắt nhau vuông góc. Trong một số mô hình, chúng có thể được diễn giải như điện thế và hàm dòng.
5. Ví dụ minh họa
Ví dụ 1: $f(z) = z^2 = (x^2 - y^2) + i(2xy)$
- $u(x,y) = x^2 - y^2$,
- $v(x,y) = 2xy$.
Tính Laplace:
$$ u_{xx} + u_{yy} = 2 - 2 = 0, \quad v_{xx} + v_{yy} = 0 + 0 = 0. $$✅ Cả $u$ và $v$ đều là nghiệm Laplace.
Ví dụ 2: $f(z) = e^z = e^x (\cos y + i \sin y)$
- $u(x,y) = e^x \cos y$,
- $v(x,y) = e^x \sin y$.
Tính Laplace:
$$ u_{xx} + u_{yy} = e^x \cos y - e^x \cos y = 0, $$$$ v_{xx} + v_{yy} = e^x \sin y - e^x \sin y = 0. $$✅ Lại thỏa phương trình Laplace.
6. Kết luận
-
Nếu $f(z)$ giải tích trên miền $D$, thì cả phần thực $u$ và phần ảo $v$ đều là nghiệm Laplace trong $D$.
-
Trong vật lý:
- $u$ có thể là điện thế, $v$ là hàm dòng.
- Tại điểm $f’(z)\ne0$, các đường mức của $u$ và $v$ trực giao.
-
Mối liên hệ này cho phép dùng công cụ giải tích phức trong một số bài toán dòng thế, điện thế và truyền nhiệt, khi các giả thiết của mô hình được thỏa mãn.
Các đường mức của hai hàm điều hòa liên hợp trực giao tại những điểm mà đạo hàm không triệt tiêu.
Hệ Cauchy–Riemann liên hệ hàm chỉnh hình với phương trình Laplace, một phương trình đạo hàm riêng xuất hiện trong các mô hình điện thế, truyền nhiệt và dòng chảy.
Mình sẽ giải thích theo trình tự: thiết lập → chứng minh → intuition → ví dụ.
📘 Từ Cauchy–Riemann đến phương trình Laplace
1. Nhắc lại phương trình Cauchy–Riemann
Giả sử $f(z) = u(x,y) + i v(x,y)$. Hệ CR là:
$$ \frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \quad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}. $$2. Phương trình Laplace
Một hàm $\phi(x,y)$ được gọi là nghiệm điều hòa (harmonic function) nếu thỏa:
$$ \Delta \phi = \frac{\partial^2 \phi}{\partial x^2} + \frac{\partial^2 \phi}{\partial y^2} = 0. $$Đây gọi là phương trình Laplace trong 2 biến.
3. Chứng minh: phần thực và phần ảo của hàm giải tích là nghiệm Laplace
Bắt đầu từ CR:
-
Từ $\dfrac{\partial u}{\partial x} = \dfrac{\partial v}{\partial y}$: Lấy đạo hàm theo $x$:
$$ \frac{\partial^2 u}{\partial x^2} = \frac{\partial^2 v}{\partial x \partial y}. $$ -
Từ $\dfrac{\partial u}{\partial y} = -\dfrac{\partial v}{\partial x}$: Lấy đạo hàm theo $y$:
$$ \frac{\partial^2 u}{\partial y^2} = -\frac{\partial^2 v}{\partial x \partial y}. $$
👉 Cộng hai kết quả:
$$ \frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} = 0. $$Tương tự, ta cũng suy ra:
$$ \frac{\partial^2 v}{\partial x^2} + \frac{\partial^2 v}{\partial y^2} = 0. $$✅ Kết quả: cả $u$ và $v$ đều là nghiệm Laplace.
4. Intuition (trực giác)
-
Phương trình Laplace mô tả các trường ổn định, không đổi theo thời gian. Ví dụ: nhiệt độ trong một tấm kim loại mỏng khi đạt cân bằng, điện thế trong không gian không có điện tích, hay vận tốc dòng chảy không xoáy.
-
Khi một hàm phức $f(z)$ giải tích, phần thực $u(x,y)$ và phần ảo $v(x,y)$ luôn “ăn khớp” với nhau sao cho cả hai mô tả trường điều hòa trong mặt phẳng.
Tại những điểm $f’(z)\ne0$, các đường mức của hai hàm điều hòa liên hợp $u$ và $v$ cắt nhau vuông góc. Trong một số mô hình, chúng có thể được diễn giải như điện thế và hàm dòng.
5. Ví dụ minh họa
Ví dụ 1: $f(z) = z^2 = (x^2 - y^2) + i(2xy)$
- $u(x,y) = x^2 - y^2$,
- $v(x,y) = 2xy$.
Tính Laplace:
$$ u_{xx} + u_{yy} = 2 - 2 = 0, \quad v_{xx} + v_{yy} = 0 + 0 = 0. $$✅ Cả $u$ và $v$ đều là nghiệm Laplace.
Ví dụ 2: $f(z) = e^z = e^x (\cos y + i \sin y)$
- $u(x,y) = e^x \cos y$,
- $v(x,y) = e^x \sin y$.
Tính Laplace:
$$ u_{xx} + u_{yy} = e^x \cos y - e^x \cos y = 0, $$$$ v_{xx} + v_{yy} = e^x \sin y - e^x \sin y = 0. $$✅ Lại thỏa phương trình Laplace.
6. Kết luận
-
Nếu $f(z)$ giải tích trên miền $D$, thì cả phần thực $u$ và phần ảo $v$ đều là nghiệm Laplace trong $D$.
-
Trong vật lý:
- $u$ có thể là điện thế, $v$ là hàm dòng.
- Tại điểm $f’(z)\ne0$, các đường mức của $u$ và $v$ trực giao.
-
Mối liên hệ này cho phép dùng công cụ giải tích phức trong một số bài toán dòng thế, điện thế và truyền nhiệt, khi các giả thiết của mô hình được thỏa mãn.
Các đường mức của hai hàm điều hòa liên hợp trực giao tại những điểm mà đạo hàm không triệt tiêu.
Intuition về “nén” và “xoáy” trong dòng chảy lý tưởng (CR)
Dòng chảy lý tưởng có thể mô tả chính xác bởi phương trình Cauchy–Riemann. Và nó thực sự là ví dụ tốt để hiểu tích phân số phức. Dòng chảy lý tưởng là dòng chảy không có nén (divergence = 0) và không có xoáy (curl = 0).
-
Nén (divergence ≠ 0)
- Nghĩa: dòng chảy không bảo toàn hạt.
- Hạt biến mất (dòng bị hút vào) hoặc tự sinh ra (dòng phun ra).
- Kỳ dị về bảo toàn số lượng.
-
Xoáy (curl ≠ 0)
- Nghĩa: hạt chất lỏng có chuyển động xoay nội tại, ngoài việc trôi theo dòng.
- Giống như một phân tử vừa đi theo dòng, vừa tự xoay tít tại chỗ.
- Kỳ dị về động học vi mô.
-
Điều kiện Cauchy–Riemann (CR)
- Ép buộc divergence = 0 và curl = 0.
- Loại bỏ cả hai kỳ dị (“mất hạt” và “tự xoay”).
- Kết quả: một dòng chảy lý tưởng — bảo toàn, hài hòa, chỉ trôi chứ không xoáy.
Rồi 👍, mình viết lại Định lý Cauchy (Cauchy’s Integral Theorem) thật rõ ràng, vừa chính thức, vừa gắn với trực giác mà ta vừa bàn nhé:
1. Phát biểu chính thức
Cho miền $D \subset \mathbb{C}$ là miền đơn liên (simply connected domain), và $f(z)$ là hàm giải tích (analytic) trên toàn bộ miền đó.
Khi đó, với mọi đường cong kín trơn $\gamma$ nằm trong $D$, ta có:
$$ \oint_\gamma f(z)\,dz = 0. $$2. Ý nghĩa trực giác (phiên bản “dòng chảy”)
-
Xem $f(z) = u(x,y) + i v(x,y)$ như một trường dòng chảy lý tưởng (không nén, không xoáy).
-
$\oint_\gamma f(z),dz$ là “tổng hợp của công và thông lượng” của dòng quanh vòng kín $\gamma$.
-
Vì dòng lý tưởng không có nguồn, không có hố, không có xoáy cục bộ, nên:
- Công quanh vòng = 0.
- Thông lượng xuyên qua vòng = 0.
- Tổng tích phân = 0.
👉 Đây chính là “vào bao nhiêu, ra bấy nhiêu” mà bạn đã nói.
3. Ý nghĩa “nguồn–kỳ dị”
-
Nếu bên trong $\gamma$ không có kỳ dị của $f(z)$ → tích phân = 0.
-
Nếu có kỳ dị (ví dụ: $f(z)=1/z$ tại $z=0$):
- Giống như có một “nguồn” hoặc “điện tích” nằm trong vòng.
- Khi đó, $\oint_\gamma f(z),dz \neq 0$.
- Đây chính là lý do xuất hiện Công thức tích phân Cauchy và sau này là Định lý Dư lượng (Residue Theorem).
✅ Tóm gọn lại:
- Định lý Cauchy = “Hàm giải tích trên miền không có kỳ dị ⇒ tích phân quanh vòng kín = 0.”
- Đây là phiên bản trong giải tích phức của một định luật bảo toàn trong vật lý: không có nguồn ⇒ flux = 0.
Phần tiếp theo có thể được phát triển bằng Công thức tích phân Cauchy, trong đó giá trị của hàm chỉnh hình ở bên trong được biểu diễn qua tích phân trên biên dưới các giả thiết thích hợp.
🎯 Bạn mô tả quá chuẩn rồi! Mình viết lại mạch lạc hơn một chút dưới dạng trực giác để “chốt hạ” nhé:
1. Công (work) trong vòng kín
-
Nếu đi xuôi theo vector field → giống như có lực đẩy hỗ trợ, ta nhận được công.
-
Nếu đi ngược vector field → phải chống lại lực, ta mất công.
-
Đi hết một vòng kín, thì:
- Có chỗ được trợ lực, có chỗ bị cản trở.
- Tổng cộng lại “bù qua sớt lại” → công ròng = 0.
👉 Đây chính là hệ quả của việc dòng chảy không xoáy (curl = 0).
2. Thông lượng (flux) qua vòng kín
-
Khi đi dọc theo vòng kín:
- Ở bên trái của đường cong, một số vector field sẽ xuyên qua vào trong.
- Ở bên phải, cũng có số vector xuyên ra ngoài.
-
Vì dòng chảy không nén (divergence = 0), nên:
- Số dòng đi vào = số dòng đi ra.
- Tổng thông lượng = 0.
3. Ý nghĩa vật lý
-
Công = 0: vì không có “lốc xoáy mini” để tích trữ công ròng.
-
Flux = 0: vì không có “nguồn” hay “hố” sinh–hút hạt bên trong vòng.
-
Do đó:
$$ \oint_\gamma f(z)\,dz = 0. $$
👉 Đây chính là Định lý Cauchy trong trực giác dòng chảy.
✅ Tóm lại:
- Công quanh vòng kín = 0 (vì không xoáy).
- Flux xuyên qua vòng kín = 0 (vì không nén).
- Tích phân phức = 0 (vì CR buộc cả hai điều kiện đúng cùng lúc).
Một hình vòng kín cùng trường vectơ có thể minh họa hai đại lượng sau:
- công bù trừ nhau dọc theo vòng,
- flux vào–ra cân bằng nhau,
- kết quả tích phân kín = 0?
Dưới đây là một bản “vừa tính tay, vừa nhìn thấy” cho $\displaystyle \oint_\gamma \frac{1}{z},dz$ quanh điểm kỳ dị $0$, theo đúng cấu trúc: tổng quan → mục tiêu → ý tưởng → chi tiết.
Tổng quan (overview)
-
Ta tính tích phân theo đường cong (contour integral) $\displaystyle \oint_\gamma \frac{1}{z},dz$ với $\gamma$ là một đường kín không đi qua $0$.
-
Kết quả phụ thuộc vào chỉ số bao quanh (winding number) $n(\gamma,0)$: số lần $\gamma$ quấn quanh $0$ (ngược chiều kim đồng hồ tính dương).
-
Kết luận chuẩn:
$$ \oint_\gamma \frac{1}{z}\,dz \;=\; 2\pi i\, n(\gamma,0). $$Trường hợp đơn giản nhất $n(\gamma,0)=1$: giá trị bằng $2\pi i$.
Mục tiêu (goal)
Chứng minh (và tính toán chi tiết) rằng:
- Với đường tròn tâm $0$, bán kính $r$ và hướng chuẩn ngược chiều kim đồng hồ,
- Với đường kín bất kỳ không cắt $0$,
Ý tưởng (idea)
- Ý tưởng 1 (tham số hóa trực tiếp – direct parameterization): Trên vòng tròn $z=r e^{i\theta}$, ta có $dz = i r e^{i\theta} d\theta$. Thế vào $\frac{1}{z}$ rồi tích phân $\theta$ từ $0$ đến $2\pi$ là ra ngay $2\pi i$.
- Ý tưởng 2 (đổi biến bằng log và số quấn – argument change): Trên đường bất kỳ tránh $0$, ta có thể “kéo” một nhánh liên tục của $\log z$ dọc theo đường. Vì $d(\log z)=\frac{dz}{z}$, nên $\oint \frac{dz}{z} = \Delta(\log z)$ sau một vòng. Phần thực quay về như cũ, phần góc $\arg$ tăng đúng $2\pi n(\gamma,0)$ → kết quả $2\pi i n$. Trực giác: “tổng độ đổi góc” khi ta đi một vòng chính là số lần ta quay quanh gốc.
Chi tiết (details)
Cách 1: Tính trực tiếp trên vòng tròn
Xét $\gamma:; z(\theta)=r e^{i\theta}$, $\theta\in[0,2\pi]$. Khi đó:
- $dz = i r e^{i\theta}, d\theta$.
- $\displaystyle \frac{1}{z} = \frac{1}{r e^{i\theta}} = \frac{e^{-i\theta}}{r}$.
Tích phân:
$$ \oint_{|z|=r} \frac{1}{z}\,dz = \int_{0}^{2\pi} \frac{e^{-i\theta}}{r}\,\big(i r e^{i\theta}\, d\theta\big) = \int_{0}^{2\pi} i\, d\theta = i\,[\theta]_{0}^{2\pi} = 2\pi i. $$Nếu đi thuận chiều kim đồng hồ, dấu sẽ đổi: giá trị là $-2\pi i$.
(Tuỳ chọn) Tách “công–thông lượng” để thấy bằng mắt
Viết $z=x+iy$. Trên đường tròn $x=r\cos\theta,; y=r\sin\theta$:
$$ \frac{1}{z}=\frac{x}{x^2+y^2}-i\,\frac{y}{x^2+y^2} =\frac{\cos\theta}{r}-i\,\frac{\sin\theta}{r}. $$Khi đó:
- Công (work) $=\displaystyle \oint (u,dx - v,dy)=0$.
- Thông lượng (flux) $=\displaystyle \oint (v,dx + u,dy)=\int_0^{2\pi} d\theta = 2\pi$. Nên $\displaystyle \oint \frac{1}{z},dz = \text{work} + i,\text{flux} = 0 + i\cdot 2\pi = 2\pi i$.
Trực giác: $\frac{1}{z}$ là dòng tỏa (radial): vector luôn vuông góc quỹ đạo tròn ⇒ không sinh công, nhưng xuyên qua vòng ⇒ có thông lượng.
Cách 2: Đường kín bất kỳ và số quấn
Giả sử $\gamma:[0,1]\to\mathbb{C}\setminus{0}$ là đường kín trơn, $\gamma(0)=\gamma(1)$, không cắt $0$.
- Vì $\gamma(t)\neq 0$, tồn tại hàm góc liên tục $\phi(t)=\arg \gamma(t)$ dọc theo quỹ đạo (ta “nâng” góc lên cho chạy liên tục). Xét
là một “nhánh log” kéo theo đường. Khi đó
$$ L'(t) \;=\; \frac{\gamma'(t)}{\gamma(t)}. $$- Tích phân:
- Vì $\gamma$ là đường kín, $|\gamma(1)|=|\gamma(0)|$ ⇒ phần thực $\log|\gamma|$ trở lại như cũ; còn góc thì $\phi(1)=\phi(0)+2\pi n(\gamma,0)$, trong đó $n(\gamma,0)$ là chỉ số bao quanh (winding number). Vậy:
Suy ra
$$ \boxed{\;\displaystyle \oint_\gamma \frac{dz}{z} \;=\; 2\pi i\, n(\gamma,0)\;} $$như cần chứng minh.
Hệ quả:
- Nếu $\gamma$ không bao $0$ ⇒ $n(\gamma,0)=0$ ⇒ tích phân bằng $0$.
- Nếu $\gamma$ bao $0$ một lần theo chiều dương ⇒ $=2\pi i$.
- Bao $k$ lần ⇒ $=2\pi i,k$.
- Đi ngược chiều ⇒ dấu âm.
Gợi ý trực giác (intuitive wrap-up)
- $\displaystyle \frac{dz}{z} = d(\log z)$ “trên đường” (chọn nhánh log trơn theo đường).
- Đi hết một vòng quanh $0$, $\log z$ tăng đúng $i\cdot 2\pi$ mỗi lần quấn, vì góc tăng $2\pi$.
- Do đó $\oint \frac{dz}{z}$ đo tổng độ đổi góc = $2\pi i$ × (số lần quấn).
Bạn muốn mình minh hoạ thêm bằng hình vẽ số quấn và dòng tỏa để “thấy” vì sao công = 0 còn thông lượng = $2\pi$ trên đường tròn không?