This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
math121b:02-10 [2020/02/09 23:55] pzhou |
math121b:02-10 [2020/02/22 18:03] (current) pzhou |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== 2020-02-10, Monday ====== | ====== 2020-02-10, Monday ====== | ||
- | + | \gdef\div{\text{div}} \gdef\vol{\text{Vol}} \gdef\b{\mathbf} \gdef\d{\partial} | |
- | We first finish up the derivation of Laplacian last time. See the lecture note [[02-07]]. Then, we introduce two vector operations, divergence and curl. Finally, we give a summary of the mathematical treatment of tensor analysis. | + | |
+ | |||
+ | We first finish up the derivation of Laplacian last time. See the lecture note [[02-07]]. Then, we review three concepts $df, \nabla f, \nabla \cdot \b V\nabla \times \b V\R^3$). | ||
+ | |||
+ | |||
+ | Then, we will follow Boas 10.8 and 10.9, to reconcilliate | ||
- | Then, we will follow Boas 10.9 and 10.10, to introduce the physic-engineer notations: the nabla operator . | ||
===== Differential of a function is a 1-form (covector field)===== | ===== Differential of a function is a 1-form (covector field)===== | ||
In Cartesian coordinate, the differential of a function is | In Cartesian coordinate, the differential of a function is | ||
- | df = \sum_i \frac{\df }{\d x_i} dx_i. | + | df = \sum_i \frac{\d f }{\d x_i} dx_i. |
In general coordinate , the differential of a function is | In general coordinate , the differential of a function is | ||
Line 26: | Line 31: | ||
Note that and depends on the coordinate system. | Note that and depends on the coordinate system. | ||
+ | Beware that $\nabla u_i \neq \frac{\d}[\d u_i}$. | ||
** Notation ** $$ \nabla f = \grad f.$$ | ** Notation ** $$ \nabla f = \grad f.$$ | ||
Line 53: | Line 59: | ||
- | Exercise: prove that for any compactly supported function ((a compactly supported function on is a function that vanishes outside a sufficently large ball. )), we have | + | The reason we have the above formula is that , for any compactly supported function ((a compactly supported function on is a function that vanishes outside a sufficently large ball. )), we have |
- | \int_{\R^n} (\nabla \cdot \b V)(u) f(u) \sqrt{|g|(u)} du_1\cdots d u_n = \int_{\R^n} | + | \int_{\R^n} (\nabla \cdot \b V)\, \varphi\, |
+ | |||
+ | ====== Back to Boas ====== | ||
+ | |||
+ | ===== Section 10.8 ===== | ||
+ | For Cartesian coordinate, we have basis vectors . | ||
+ | |||
+ | For spherical coordinate, we have **unit** basis vectors , and corresponding coordinate basis vectors (not unit length). These corresponds to our coordinate basis tangent vectors: | ||
+ | |||
+ | |||
+ | See Example 2 on page 523, for how to consider a general curvilinear coordinate on . | ||
+ | |||
+ | The notation corresponds to | ||
+ | |||
+ | An element in can be viewed as a linear operator , by inserting to the second slot of . In this sense is the identity operator on . You might have seen in Quantum mechanics the bra-ket notation (( sometimes omitted as usual in physics.)) It is the same thing, where forms a basis and are the dual basis. | ||
+ | |||
+ | ** Orthogonal coordinate system (ortho-curvilinear coordinate) **, the matrix is diagonal, with entries (not to be confused with our notation for dual basis). This is | ||
+ | the case we will be considering mainly. | ||
+ | |||
+ | ===== Section 10.9 ===== | ||
+ | Suppose we have orthogonal coordinate system , and **unit** basis vectors , we have | ||
+ | |||
+ | |||
+ | Given a vector field , we write its component in the basis of (warning! this is not our usual notation, we usual write with basis ) | ||
+ | . | ||
+ | |||
+ | ==== Divergence. ==== | ||
+ | Try to do problem 1. | ||
+ | |||
+ | An important property is the " | ||
+ | \b \nabla \cdot (f \b V) = \b \nabla f \cdot \b V + f \b \nabla | ||
+ | |||
+ | ==== Curl ==== | ||
+ | To compute the curl, we note the following rule | ||
+ | |||
+ | and | ||
+ | . | ||
+ | |||
+ | In the ortho-curvilinear coordinate, we can use the above rule to get a formula for the curl. I will not test on the curl operator in the orthocurvilinear case. | ||
+ | |||
+ | |||
+ | |||
+ | |||