From b7f722277bac7d7777057a546785f0b95360aa8a Mon Sep 17 00:00:00 2001 From: Indigo5684 <159226326+Indigo5684@users.noreply.github.com> Date: Tue, 30 Sep 2025 13:19:41 -0500 Subject: [PATCH] LaTeX Fixes --- .../abstract-algebra/DF-12-modules-pids.md | 2 +- docs/math/abstract-algebra/DF-13-fields.md | 2 +- .../10-electromagnetic-waves.md | 157 ++++++++++++++++-- .../11-potential-formulation.md | 40 +++++ docs/physics/electrostatics/1-math.md | 2 +- .../mechanics/13-hamiltonian-mechanics.md | 29 ++++ docs/physics/mechanics/4-energy.md | 2 +- docs/physics/mechanics/5-oscillations.md | 4 +- docs/physics/thermal/2-second-law.md | 2 +- .../thermal/3-interactions-implications.md | 2 +- 10 files changed, 221 insertions(+), 21 deletions(-) create mode 100644 docs/physics/electrodynamics/11-potential-formulation.md create mode 100644 docs/physics/mechanics/13-hamiltonian-mechanics.md diff --git a/docs/math/abstract-algebra/DF-12-modules-pids.md b/docs/math/abstract-algebra/DF-12-modules-pids.md index 1d0a65d..9233af3 100644 --- a/docs/math/abstract-algebra/DF-12-modules-pids.md +++ b/docs/math/abstract-algebra/DF-12-modules-pids.md @@ -53,7 +53,7 @@ Additionally, if $R$ is a PID, as $\text{Ann}_R(N)$ is an ideal, $\text{Ann}(N) **Theorem**. Fundamental Theorem, Existence: Invariant Form. Let $R$ be a PID and $M$ be a finitely generated $R$-module. THen, -- $M$ is isomorphic for some $r \in \mathbb{N}\cup{0}$, $a_1, \ldots, \a_m \neq 0 \in R$ such that $a_1 | a_2 | \ldots | a_m$, with +- $M$ is isomorphic for some $r \in \mathbb{N}\cup{0}$, $a_1, \ldots, a_m \neq 0 \in R$ such that $a_1 | a_2 | \ldots | a_m$, with $$ M \cong R^{\oplus r} \oplus \frac{R}{(a_1)R} \oplus \frac{R}{(a_2)R} \oplus \ldots \oplus \frac{R}{(a_m)R} diff --git a/docs/math/abstract-algebra/DF-13-fields.md b/docs/math/abstract-algebra/DF-13-fields.md index 481f935..85af695 100644 --- a/docs/math/abstract-algebra/DF-13-fields.md +++ b/docs/math/abstract-algebra/DF-13-fields.md @@ -10,7 +10,7 @@ **Theorem**. Let $F$ be a field, $p(x) \in F[x]$. Then, there exists a $K$ such that $p(x)$ has a root in $K$. -**Theorem**. Let $F$ be a field, $p(x) \in F[x]$. Then, $K = \frac{F[x]}{(p(x))}$ and $\theta = x \amod{p(x)}$, $K$ has a basis of $1, \theta, \ldots, \theta^{n-1}$ where $n = \deg(p)$. +**Theorem**. Let $F$ be a field, $p(x) \in F[x]$. Then, $K = \frac{F[x]}{(p(x))}$ and $\theta = x a \mod{p(x)}$, $K$ has a basis of $1, \theta, \ldots, \theta^{n-1}$ where $n = \deg(p)$. **Theorem**. Let $K/F$ and $\alpha, \beta, \ldots \in K$. Then, the smallest subfield of $K$ containing $F$ and $\alpha, \beta, \ldots$ is $F(\alpha, \beta, \ldots)$, which is the *field generated by $\alpha, \beta, \ldots$ over $F$*. diff --git a/docs/physics/electrodynamics/10-electromagnetic-waves.md b/docs/physics/electrodynamics/10-electromagnetic-waves.md index 8af8358..cc8a1d2 100644 --- a/docs/physics/electrodynamics/10-electromagnetic-waves.md +++ b/docs/physics/electrodynamics/10-electromagnetic-waves.md @@ -37,13 +37,13 @@ $$\begin{align} ### Section 10.1.1 - The Wave Equation and Plane Waves -**Definition**. The equation $[\frac{\partial^2}{\partial x^2} - \frac{1}{v^2} \frac{\partial^2}{\partial t^2}] f(x, t) = 0$ is well-known to mathematicians (see [Differential Equations](../../todo.md)), and is known as the **wave equation**. In physics, the speed of the wave is $v = c = \frac{1}{\sqrt{\mu_0 \varepsilon_0}}$. +**Definition**. The equation $[\frac{\partial^2}{\partial x^2} - \frac{1}{\nu^2} \frac{\partial^2}{\partial t^2}] f(x, t) = 0$ is well-known to mathematicians (see [Differential Equations](../../todo.md)), and is known as the **wave equation**. In physics, the speed of the wave is $\nu = c = \frac{1}{\sqrt{\mu_0 \varepsilon_0}}$. -Consider some function $f(s)$. If $s = x - vt$ or $x + vt$, it is trivial to see that $f(x)$ satisfies the wave equation. +Consider some function $f(s)$. If $s = x - \nu t$ or $x + \nu t$, it is trivial to see that $f(x)$ satisfies the wave equation. **Definition**. A *plane wave* is a solution to the Laplacian form of the last two Maxwell equations for empty space that also satisfy the one-dimensional wave equation. However, these solutions may not be valid electromagnetic waves as they are not guaranteed to satisfy the first two Maxwell equations. -Notably, the functions for $\mathbf{E} = \mathbf{E}_0 f(s)$ and $\mathbf{H} = \mathbf{H}_0 g(s)$ do not have to be equal. However, $v = c$. +Notably, the functions for $\mathbf{E} = \mathbf{E}_0 f(s)$ and $\mathbf{H} = \mathbf{H}_0 g(s)$ do not have to be equal. However, $\nu = c$. **Definition**. A *plane electromagnetic wave* is a plane wave which satisfies the first two Maxwell equations. The divergence equations restrict $\mathbf{E}_0$ and $\mathbf{H}_0$ to be in the plane normal to the direction of motion, as $\hat{\mathbf{K}} \cdot \mathbf{E}_0 = 0$. That is, electomagnetic plane waves are transverse, not longitudinal. @@ -51,11 +51,11 @@ Additionally, the curl equations force $f(s) = g(s)$, such that $H_0 = E_0 \sqrt **Definition**. The quantity $Y_0 = \sqrt{\frac{\varepsilon_0}{\mu_0}}$ is the *vacuum admittance* and its inverse, $Z_0 = \sqrt{\frac{\mu_0}{\varepsilon_0}}$ is the *vacuum impedance*. -If we assume the direction of propagation can be written as $\hat{\mathbf{k}}$, we can write $f(s) = f(\hat{\mathbf{k}} \cdot \mathbf{r} - vt)$, such that $\mathbf{E}(\mathbf{r}, t) = \mathbf{E}_0 f(\hat{\mathbf{k}}\cdot\mathbf{r} - vt)$, where $\hat{\mathbf{k}}\cdot\mathbf{E}_0 = 0$. +If we assume the direction of propagation can be written as $\hat{\mathbf{k}}$, we can write $f(s) = f(\hat{\mathbf{k}} \cdot \mathbf{r} - \nu t)$, such that $\mathbf{E}(\mathbf{r}, t) = \mathbf{E}_0 f(\hat{\mathbf{k}}\cdot\mathbf{r} - \nu t)$, where $\hat{\mathbf{k}}\cdot\mathbf{E}_0 = 0$. -From this, we can see that $\mathbf{H}(\mathbf{r}, t) = \sqrt{\frac{\varepsilon_0}{\mu_0}} \hat{\mathbf{k}} \times \mathbf{E}_0 f(\hat{\mathbf{k}} \cdot \mathbf{r} - vt)$. Similarly, $\hat{\mathbf{k}} \cdot \mathbf{H} = 0$. +From this, we can see that $\mathbf{H}(\mathbf{r}, t) = \sqrt{\frac{\varepsilon_0}{\mu_0}} \hat{\mathbf{k}} \times \mathbf{E}_0 f(\hat{\mathbf{k}} \cdot \mathbf{r} - \nu t)$. Similarly, $\hat{\mathbf{k}} \cdot \mathbf{H} = 0$. -Additionally, we can compute $\mathbf{S} = \mathbf{E} \times \mathbf{H} = c \varepsilon_0 E_0^2 f^2(\hat{\mathbf{k}} \cdot \mathbf{r} - vt) \hat{\mathbf{k}}$. We can also see that $\varepsilon_0 E^2 = \mu_0 H^2$ at any given time. +Additionally, we can compute $\mathbf{S} = \mathbf{E} \times \mathbf{H} = c \varepsilon_0 E_0^2 f^2(\hat{\mathbf{k}} \cdot \mathbf{r} - \nu t) \hat{\mathbf{k}}$. We can also see that $\varepsilon_0 E^2 = \mu_0 H^2$ at any given time. ### Section 10.1.2 - Monochromatic Plane Waves @@ -74,7 +74,7 @@ We can calculate the energy density $u$, energy current density $\mathbf{S}$, mo ### Section 10.1.3 - Monochromatic Plane Waves in a Linear Model -Monochromatic plane waves with frequency $\omega$ in a simple linear material are similar to monochromatic plane waves in a vacuum, except when in a material, we know that the magnitude of the wave vector $k = \frac{\omega}{v}$, and $v = \frac{1}{\sqrt{\mu \varepsilon}}$. +Monochromatic plane waves with frequency $\omega$ in a simple linear material are similar to monochromatic plane waves in a vacuum, except when in a material, we know that the magnitude of the wave vector $k = \frac{\omega}{\nu}$, and $\nu = \frac{1}{\sqrt{\mu \varepsilon}}$. ### Section 10.1.4 - Polarization of Monochromatic Plane Waves @@ -165,7 +165,7 @@ E_t &= \frac{2Y_1}{Y_1 + Y_2} E_i \\ E_r = \frac{Y_1 - Y_2}{Y_1 + Y_2} E_i \end{align}$$ -If we assume $\mu_1 = \mu_2$, we can rewrite the equations in terms of wave numbers $k_i$, where $k_i = \frac{\omega}{v_i} = \omega \sqrt{\mu_i \varepsilon_i}$ +If we assume $\mu_1 = \mu_2$, we can rewrite the equations in terms of wave numbers $k_i$, where $k_i = \frac{\omega}{\nu_i} = \omega \sqrt{\mu_i \varepsilon_i}$ $$\begin{align} E_t &= \frac{2k_1}{k_1 + k_2} E_i \\ @@ -193,7 +193,7 @@ Now, we assume that the wave is incident to the interface at some angle $\theta_ **Theorem**. Snell's Law. In the plane if incidence, the continuity of the electromagnetic field implies that for all times on the $z=0$ plane, the argument of the $\cos(\mathbf{k}_{i,r,t} \cdot \mathbf{r} - \omega t)$ must be equal. That is, in our example, for $\mathbf{r} = x \hat{\mathbf{x}} + y \hat{\mathbf{y}}$, we see that $\mathbf{k}_i \cdot \mathbf{r} = \mathbf{k}_t \cdot \mathbf{r} + \phi_r = \mathbf{k}_t \cdot \mathbf{r} + \phi_t$. Then, $\phi_r$ and $\phi_t$ must vanish, and the wave vectors must satisfy $k_{ix}x + k_{iy}y = k_{rx}x + k_{ry}y = k_{tx}x + k_{ty}y$. This implies that $k_{ix} = k_{rx} = k_{tx}$ and $k_{iy} = k_{ry} + k_{ty}$. -More generally, the requirement of continuity on the interface implies that the three wave vectors are coplanar and that components parallel to the interface must be equal, leading to $k_i \sin \theta_i = k_r \sin \theta_r = k_t \sin \theta_t$. Note that in this case, $k_i = k_r = \frac{\omega}{v}$ as they describe propagation in the same media, so $\theta_r = \theta_i$. As $n \propto \frac{1}{v}$, we see that $n \propto k$, so we can rewrite Snell's Law as $n_i \sin \theta_i = n_t \sin \theta_t$. This gives us the following wave vectors: +More generally, the requirement of continuity on the interface implies that the three wave vectors are coplanar and that components parallel to the interface must be equal, leading to $k_i \sin \theta_i = k_r \sin \theta_r = k_t \sin \theta_t$. Note that in this case, $k_i = k_r = \frac{\omega}{\nu}$ as they describe propagation in the same media, so $\theta_r = \theta_i$. As $n \propto \frac{1}{\nu}$, we see that $n \propto k$, so we can rewrite Snell's Law as $n_i \sin \theta_i = n_t \sin \theta_t$. This gives us the following wave vectors: $$\begin{align} \mathbf{k}_i &= k_i(\sin \theta_i \hat{\mathbf{x}} + \cos \theta_i \hat{\mathbf{z}}) \\ @@ -301,7 +301,7 @@ $$\begin{align} \kappa = \omega \sqrt{\mu\varepsilon} \sqrt{\frac{\sqrt{1 + (\frac{\sigma}{\varepsilon \mu})^2} - 1}{2}} \\ \end{align}$$ -Note that when $\sigma \ll \varepsilon \omega$, the wave number collapses to $k = \frac{\omega}{v}$, and we recover propagation in a vacuum. However, when $\sigma \gg \varepsilon \omega$, we see that $k = \kappa = \sqrt{\frac{\mu \omega \sigma}{2}}$. Here, the distance the wave propagates before decreasing by a factor of $\frac{1}{e}$ is known as the skin depth $d$, where $d = \frac{1}{\kappa} = \sqrt{\frac{2}{\mu \omega \sigma}}$. This is significantly less than the wavelength $\lambda = \frac{2\pi}{k}$. Note that in this limit, the electromagnetic wave is heavily damped. +Note that when $\sigma \ll \varepsilon \omega$, the wave number collapses to $k = \frac{\omega}{\nu}$, and we recover propagation in a vacuum. However, when $\sigma \gg \varepsilon \omega$, we see that $k = \kappa = \sqrt{\frac{\mu \omega \sigma}{2}}$. Here, the distance the wave propagates before decreasing by a factor of $\frac{1}{e}$ is known as the skin depth $d$, where $d = \frac{1}{\kappa} = \sqrt{\frac{2}{\mu \omega \sigma}}$. This is significantly less than the wavelength $\lambda = \frac{2\pi}{k}$. Note that in this limit, the electromagnetic wave is heavily damped. The magnetic field is simpler to solve. We know that $\frac{\partial\mathbf{H}}{\partial t} = -\frac{1}{\mu}\nabla \times \mathbf{E} = \hat{\mathbf{y}} \frac{E_0 e^{-\kappa z}}{\mu}[k \sin(kz - \omega t) + \kappa \cos(kz - \omega t)]$ @@ -369,7 +369,7 @@ We can also compute energy currents. That is, $I_i = \frac{1}{2} Y_1 E_i^2 = \fr The transmitted wave is a bit more complicated. We see $I_t = \langle \mathbf{S}_t \cdot \hat{\mathbf{z}} \rangle = \frac{\sqrt{k_2^2 + \kappa^2}}{k_1} Y_1 E_t^2 \langle \cos(\omega t + \phi_t) \cos(\omega t + \phi_t + \phi) \rangle e^{-2\kappa z} = \frac{1}{2} Y_1 E_t^2 e^{-2\kappa z}$. -## Section 10.3 +## Section 10.3 - Electrodynamic Interactions between Waves and Mattter ### Section 10.3.1 - Response Functions and Fourier Transforms @@ -377,7 +377,7 @@ This section will cover the relations $\mathbf{D} = \varepsilon \mathbf{E}$, $\m We know that the permeability of a material is not a constant, but instead can depend on the electric field at all previous times. We then define a response function $\varepsilon_R(t - t')$ such that -$$\mathbf{D}(t) = \int_{\-infty}^\infty \varepsilon_R(t - t') \mathbf{E}(t') dt'$$ +$$\mathbf{D}(t) = \int_{-\infty}^\infty \varepsilon_R(t - t') \mathbf{E}(t') dt'$$ **Definition**. For this to make physical sense, we say that $\varepsilon_R(\tau) = 0$ when $\tau < 0$. That is, the electric flux density is only impacted by the past electric field in the material. @@ -468,7 +468,7 @@ $$\mathbf{p}(t) = \frac{q^2}{m}\int_{-\infty}^\infty G(t-t')\mathbf{E}(t') dt'$$ We can substitute the inverse Fourier transform for the electric field to see that -$$\mathbf{p}(t) &= \frac{q^2}{m} \int_{-\infty}^\infty G(t-t') \frac{1}{2\pi} \int_{-\infty}^\infty \tilde{\mathbf{E}}(\omega) e^{-i\omega t'} d\omega dt'$$ +$$\mathbf{p}(t) = \frac{q^2}{m} \int_{-\infty}^\infty G(t-t') \frac{1}{2\pi} \int_{-\infty}^\infty \tilde{\mathbf{E}}(\omega) e^{-i\omega t'} d\omega dt'$$ Applying the relation $\int_{-\infty}^{\infty} G(t-t')e^{-i\omega t'} dt' = -e^{i \omega t} \tilde{G}(\omega)$, we see that @@ -485,3 +485,134 @@ We can use this to then calculate the Fourier transform of the electric flux den $$\tilde{\varepsilon}(\omega) = \epsilon + \frac{Nq^2}{m}(\sum_i \frac{f_i}{\omega_i^2 - \omega^2 - i \omega \gamma_i})$$ I've skipped the effects on optics, as well as the Drude response function, for brevity. + +## Section 10.4 - Guided Waves and Transmission Lines + +## Section 10.4.1 - Coaxial Cables + +We know that for a coaxial cable with radii $R_1$ and $R_2$, given that the distance between wavelengths $R_2 - R_1$ is significantly less than some arbitrary length $\Delta z$, which is less than some length scale over which the electric field changes $\lambda$, the electric field is defined as $\mathbf{E}(s) = \frac{Q'}{2\pi s \varepsilon} \hat{\mathbf{s}}$. We can then see the voltage between the two insulators is simply + +$$\Delta V = V(R_1) - V(R_2) = \int_{R_1}^{R_2} \mathbf{E}(\mathbf{r}) \cdot d\hat{\mathbf{s}} = \frac{Q'}{2\pi\varepsilon} \ln \frac{R_2}{R_1}$$ + +Then, we know that capacitance is $C = Q / \Delta V$, so capacitance per unit length becomes + +$$C' = \frac{Q'}{\delta V} = \frac{2\pi \varepsilon}{\ln(R_2/R_1)}$$ + +Similarly, we know that the magnetic field is given by Ampere's law as $\mathbf{H} = \frac{I}{2 \pi s}$, as we place the Ampere's loop has radius $s$ around the inner conductor. Then, we see the flux is + +$$\Phi = \frac{\Delta z \mu I}{2 \pi s} \int_{R_1}^{R_2} \frac{ds}{s} \ln \frac{R_2}{R_1}$$ + +This tells us that inductance per unit length, $L' = \Phi / I \Delta Z$ can be given by + +$$L' = \frac{\mu}{2\pi}\ln\frac{R_2}{R_1}$$ + +Now, for some length $\Delta z$, we know that $\Delta Q = Q' \Delta z$, and then by definition, + +$$\frac{\partial \Delta Q}{\partial t} = \Delta z \frac{\partial Q'(z, t)}{\partial t} = I(z, t) - I(z + \Delta z, t)$$ + +That is, the rate at which charge in a cylinder changes is equal to the current entering minus the current leaving. This then implies that + +$$\frac{\partial Q'(z, t)}{\partial t} = \frac{I(z, t) - I(z + \Delta z, t)}{\delta z} = -\frac{\partial I(z, t)}{\partial z}$$ + +Since we know that $Q' = C' V$ (as $C' = Q' / V$), we can take the time derivative to see that + +$$\frac{\partial Q'(z,t)}{\partial t} = C' \frac{\partial V(z, t)}{\partial t} = - \frac{\partial I(z,t)}{\partial z}$$ + +Now, consider a cylindrical loop (a rectangle revolved around the center, excluding the conductor). Faraday's law tells us that $\mathbf{E} \cdot d\mathbf{l} = -\frac{d\Phi}{dt}$, where $\Phi = L' \Delta Z I$ is the flux through the loop. As the electric field is radial and conservative, we know that + +$$V(z + \Delta z, t) - V(z, t) = -L' \Delta z \frac{dI(z, t)}{dt}$$ + +We can take the limit to see that + +$$\frac{\partial V(z, t)}{\partial z} = -L' \frac{\partial I{z, t}}{\partial t}$$ + +This gives is the two telegrapher's equations: + +$$\begin{align} +\frac{\partial I(z, t)}{\partial z} &= -C' \frac{\partial V(z, t)}{\partial t} \\ +\frac{\partial V(z, t)}{\partial z} &= -L' \frac{\partial I{z, t}}{\partial t} +\end{align}$$ + +We can then take the derivative of the first with respect to $t$ and the derivative of the second with respect to $z$, we see that + +$$\begin{align} +\frac{\partial^2 I(z, t)}{\partial z^2} &= -C' \frac{\partial}{\partial z}(\frac{\partial V(z, t)}{\partial t}) \\ +\frac{\partial}{\partial t}(\frac{\partial V(z, t)}{\partial z}) &= -L' \frac{\partial^2 I{z, t}}{\partial t^2} +\end{align}$$ + +This tells us that + +$$\frac{\partial^2 I(z, t)}{\partial z^2} = -C'(-L' \frac{\partial^2 I{z, t}}{\partial t^2}) = C'L' \frac{\partial^2 I{z, t}}{\partial t^2}$$ + +We can instead take the derivative of the first equation with respect to $z$ and the derivative of the second with respect to $t$ to see that + +$$\frac{\partial^2 V(z, t)}{\partial z^2} = L'C' \frac{\partial^2 V{z, t}}{\partial t^2}$$ + +These are wave equations with velocity $\nu = \frac{1}{\sqrt{L'C'}}$. In the case of light, $\nu = \frac{1}{\sqrt{\mu \epsilon}}$. + +We presume solutions of the form $V(z, t) = V_0 \cos(kz - \omega t + \phi_V)$ and $I(z, t) = I_0 \cos(kz - \omega t + \phi_I)$, with a shared velocity. Applying the telegrapher's equations, we see that $\phi_I = \phi_V$ and $\frac{V_0}{I_0} = -\sqrt{\frac{L'}{C'}} = -Z$. + +We have a formula for $C'$ and $L'$, so we can write $Z$ as + +$$Z = \frac{1}{2\pi}\sqrt{\frac{\mu}{\epsilon}} \ln \frac{R_2}{R_1}$$ + +Often, modern coaxial cables have $\ln \frac{R_2}{R_1} \approx 1$, and the permittivity of free space is $\sqrt{\frac{\mu_0}{\epsilon_0}} = 377 \Omega$. Then, the impedance of a coaxial cable is often of order $Z \approx \frac{377 \Omega}{2\pi \sqrt{\varepsilon_r}} \approx 60 \Omega$. + +**Definition**. The inverse of impedance is called the admittance. + +## Section 10.4.2 - Parallel Conductor Transmission Lines + +Consider a two-wire transmission line, with distance $d$ between the lines. Then, the electric field between the lines becomes + +$$\mathbf{E} = \frac{-Q'}{2\pi \varepsilon_0} \frac{\hat{\mathbf{x}}}{x} + \frac{Q'}{2\pi \varepsilon_0} \frac{-\hat{\mathbf{x}}}{d - x}$$ + +Then, integrating from $x = a$ to $x = d - a$ (where $a$ is the radius of each conductor), we see that + +$$\Delta V = \frac{Q'}{2\pi \varepsilon_0} (\int_a^{d-a} \frac{dx}{x} + \int_a^{d-a} \frac{dx}{d-x}) = \frac{Q'}{\pi \varepsilon_0} \ln(\frac{d}{a}-1)$$ + +Note that the integrals diverge if $a = 0$. We can then see that + +$$C' = \frac{\pi \varepsilon_0}{\ln(\frac{d}{a}-1)}$$ + +We can also see that the magnetic field is given by + +$$\mathbf{H} = \frac{I}{2\pi} \frac{\hat{\mathbf{y}}}{x} + \frac{I}{2\pi} \frac{\hat{\mathbf{y}}}{d-x}$$ + +This then lets us calculate flux as $\Phi_B = \mu_0 \Delta z \frac{I}{\pi} \ln{(\frac{d}{a} - 1)}$, which means unit inductance becomes + +$$L' = \frac{\mu_0}{\pi} \ln(\frac{d}{a} - 1)$$ + +Again, the continuity equation tells us that $\frac{\partial Q'}{\partial t} = -\frac{\partial I}{\partial z}$, and the capacitance relation lets us derive that + +$$\frac{\partial I}{\partial z} = -C' \frac{\partial V}{\partial t }$$ + +Then, we can use the back EMF to see that + +$$\frac{\partial V}{\partial z} = -L' \frac{\partial I}{\partial t}$$ + +This lets us once again calculate wave equations for $V$ and $I$, with $\nu = c$ + +## Section 10.4.3 - Transmission Lines with Dissipation + +Especially at high frequencies, we see that the dielectric functions become complex leading to a leakage current between insulators. We thus modify our telegrapher's equations to see that + +$$\begin{align} +\frac{\partial I}{\partial z} &= -C' \frac{\partial V}{\partial t} - G'V \\ +\frac{\partial V}{\partial z} &= -L' \frac{\partial I}{\partial t} - R'I +\end{align}$$ + +Here, the $R'$ is the resistance per unit length. + +The wave equation for voltage then becomes + +$$\frac{\partial^2 V}{\partial z^2} = L' C' \frac{\partial^2 V}{\partial t^2} + (L'G' + R'C') \frac{\partial V}{\partial t} + R'G'V'$$ + +We now assume a solution of the form $V(z, t) = V_0 \cos (kz - \omega t) e^{-\kappa z}$. + +Applying the wave equation, we see that for this solution to work, $\kappa^2 - k^2 = -\omega^2 L' C' + R' G'$ and $2 k \kappa = (L' G' + R' C') \omega$. + +From this, we can solve for $k$ and $\kappa$ by setting $b = \omega^2 L' C' - R' G'$ and $c = (L' G' + R' C') \omega$ so that $k = \frac{1}{\sqrt{2}} \sqrt{b + \sqrt{b^2 + c^2}}$ and $\kappa = \frac{c}{2k}$. + +We can then solve for $\omega = \omega(k)$, which ends up being a very sad equation. + +The Heaviside condition is the condition in which we change the parameters so that the parameters $\frac{G'}{C'} = \omega_C$ and $\frac{R'}{L'} = \omega_L$ are equal. Then, we see $\omega^2 = k^2 v_0^2$. diff --git a/docs/physics/electrodynamics/11-potential-formulation.md b/docs/physics/electrodynamics/11-potential-formulation.md new file mode 100644 index 0000000..9f75559 --- /dev/null +++ b/docs/physics/electrodynamics/11-potential-formulation.md @@ -0,0 +1,40 @@ +# Chapter 11 - Potential Formulation of Electrodynamics + +## Section 11.1 - Forces, Fields, Potentials, and Greens Functions + +## Section 11.1.1 - Potentials for Time-independent Fields + +We know that when the electric and magnetic fields are time-independent, $\nabla \times \mathbf{E} = -\mathbf{J}_m$ and $\nabla \times \mathbf{H} = \mathbf{J}_e$. + +We also know that Helmholtz theorem tells us that we can write the fields such that + +$$\begin{align} +\mathbf{E} &= -\nabla V_E + \nabla \times \mathbf{A}_E \\ +\mathbf{H} &= -\nabla V_H + \nabla \times \mathbf{A}_H +\end{align}$$ + +We can then recall that + +$$\begin{align} +V_E(\mathbf{r}) &= \frac{1}{4\pi} \int_{V'} \frac{1}{|\mathbf{r} - \mathbf{r}'|} \frac{\rho_e(\mathbf{r}')}{\varepsilon_0} dV' \\ +V_H(\mathbf{r}) &= \frac{1}{4\pi} \int_{V'} \frac{1}{|\mathbf{r} - \mathbf{r}'|} \frac{\rho_e(\mathbf{r}')}{\mu_0} dV' \\ +A_E(\mathbf{r}) &= \frac{1}{4\pi} \int_{V'} \frac{1}{|\mathbf{r} - \mathbf{r}'|} (-s\mathbf{J}_m(\mathbf{r})) dV' \\ +A_H(\mathbf{r}) &= \frac{1}{4\pi} \int_{V'} \frac{1}{|\mathbf{r} - \mathbf{r}'|} (\mathbf{J}_e(\mathbf{r})) dV' +\end{align}$$ + +We can verify this by taking the curl or divergence of the fields and seeing that Maxwell's equations hold true. + +A notable result is that for the Laplace operator $\nabla^2$, the function $-\frac{1}{4\pi |\mathbf{r} - \mathbf{r}'|}$ is the Green function for the operator. That is, $\nabla^2 G = \delta(\mathbf{r} - \mathbf{r}')$. + +We can show $\nabla \times (\nabla \times \mathbf{A}_E) = -\mathbf{J}_m$ and likewise as $\nabla \times (\nabla \times \mathbf{A}) = -\nabla(\nabla \cdot \mathbf{A}) - \nabla^2 \mathbf{A}$. We now claim that $\nabla \cdot \mathbf{A} = 0$ + +This would them imply that $\nabla \times (\nabla \times \mathbf{A}_E) = -\nabla^2 \mathbf{A}_E = -\mathbf{J}_m$. + +To justify setting $\nabla \cdot \mathbf{A} = 0$, let us assume otherwise. Assume that $\nabla \cdot \mathbf{A} = \psi(\mathbf{r})$. Then, there exists some $\mathbf{A}'(\mathbf{r}) = \mathbf{A}(\mathbf{r}) + \nabla f(\mathbf{r})$. It is clear that $\nabla \times \mathbf{A}'(\mathbf{r}) = \nabla \times \mathbf{A}(\mathbf{r})$. + +We can see that $\nabla \cdot \mathbf{A}(\mathbf{r}) = \nabla \cdot \mathbf{A}(\mathbf{r}) + \nabla^2 f(\mathbf{r}) = \psi(\mathbf{r}) + \nabla^2 f(\mathbf{r})$. Now, if we assert $-\nabla^2 f(\mathbf{r}) = \psi(\mathbf{r})$, that is, + +$$f(\mathbf{r}) = \frac{1}{4\pi} \int_V \frac{\psi(\mathbf{r}')}{|\mathbf{r} - \mathbf{r}'|} dV'$$ + +Under this assumption, we see that $\nabla \cdot \mathbf{A}' = 0$. Notably, we do not need to calculate $f(\mathbf{r})$. it is sufficient to show that it exists. By the Helmholtz theorem, it does,a s $\nabla f$ is a vector field with divergence $-\phi$ and no curl, so $\nabla f$ is the gradient of a scalar potential given by the above integral. + diff --git a/docs/physics/electrostatics/1-math.md b/docs/physics/electrostatics/1-math.md index 2d69206..63966b6 100644 --- a/docs/physics/electrostatics/1-math.md +++ b/docs/physics/electrostatics/1-math.md @@ -32,7 +32,7 @@ $$ **Definition**. The *identity dyadic* is $\stackrel{\leftrightarrow}{\mathbf{I}} = \hat{\mathbf{x}}\hat{\mathbf{x}} + \hat{\mathbf{y}}\hat{\mathbf{y}} + \hat{\mathbf{z}}\hat{\mathbf{z}}$. -**Definition**. FOr a *tensor*, with coordinates $u^i$, we have two sets of basis vectors: +**Definition**. For a *tensor*, with coordinates $u^i$, we have two sets of basis vectors: $$ \mathbf{e}_i = \pdv{\mathbf{r}}{u^i} diff --git a/docs/physics/mechanics/13-hamiltonian-mechanics.md b/docs/physics/mechanics/13-hamiltonian-mechanics.md new file mode 100644 index 0000000..ba5eb15 --- /dev/null +++ b/docs/physics/mechanics/13-hamiltonian-mechanics.md @@ -0,0 +1,29 @@ +# Chapter 13 - Hamiltonian Mechanics + +## Section 13.1 - The Basic Variables + +**Definition**. Consider a Laplacian defined as $\mathcal{L} = \mathcal{L}(q_1, \ldots, q_n, \dot{q}_1, \ldots, \dot{q}_n, t)$. Then, the set of coordinates $q_1, \ldots, q_n$ are the *configuration space* while the set of coordinates $q_1, \ldots, q_n, \dot{q}_1, \ldots, \dot{q}_n$ are known as the *state space*. + +Recall that the generalized momenta $p_i$ is also defined such that + +$$p_i = \frac{\partial \mathcal{L}}{\partial \dot{q}_i}$$ + +**Definition**. The generalized momenta is also called the *canonical momentum* or the *momentum conjugate to $q_i$*. + +**Definition**. The *Hamiltonian* is defined as + +$$\mathcal{H} = \sum_{i = 1}^n p_i \dot{q_i} - \mathcal{L}$$ + + + +## Section 13.2 - Hamilton's Equations for One-Dimensional Systems + +## Section 13.3 - Hamilton's Equations in Several Dimensions + +## Section 13.4 - Ignorable Coordinates + +## Section 13.5 - Lagrange's Equations vs. Hamilton's Equations + +## Section 13.6 - Phase-Space Orbits + +## Section 13.7 - Lioville's Theorem diff --git a/docs/physics/mechanics/4-energy.md b/docs/physics/mechanics/4-energy.md index 6534dc0..f100007 100644 --- a/docs/physics/mechanics/4-energy.md +++ b/docs/physics/mechanics/4-energy.md @@ -60,7 +60,7 @@ Here, we can define a potential $U(s)$ such that $F_{tang} = -dU/ds$ and the tot **Definition**. In an Atwood machine, there are two masses of mass $m_1$ and m_2$, suspended with an inextensible massless string over a pulley. The system can be constrained by a single parameter $x$, where $x$ is the vertical distance from the center of the pulley and the center of mass of $m_1$. -Then, we can see that $\Delta T_1 + \Delta U_1 = W_1^{tension}$, and respectively $\Delta T_2 + \Delta U_2 = W_2^{tension}$. Then, we can see that $\W_1^{tension} = -W_2^{tension}$, so $\Delta(T_1 + U_1 + T_2 + U_2) = 0$. That is, $E = T_1 + U_1 + T_2 + U_2$, which is conserved. +Then, we can see that $\Delta T_1 + \Delta U_1 = W_1^{tension}$, and respectively $\Delta T_2 + \Delta U_2 = W_2^{tension}$. Then, we can see that $W_1^{tension} = -W_2^{tension}$, so $\Delta(T_1 + U_1 + T_2 + U_2) = 0$. That is, $E = T_1 + U_1 + T_2 + U_2$, which is conserved. Notably, if all forces are conservative, we can define a potential $U_\alpha$ for each particle $\alpha$ such that diff --git a/docs/physics/mechanics/5-oscillations.md b/docs/physics/mechanics/5-oscillations.md index ccaf252..e2ddc1b 100644 --- a/docs/physics/mechanics/5-oscillations.md +++ b/docs/physics/mechanics/5-oscillations.md @@ -102,7 +102,7 @@ Notably, if we try and force the oscillator to move at a frequency $\omega$, whe Then, we can see that $\omega_2 = \sqrt{\omega_0^2 - 2 \beta^2}$ is the frequency at which the response is maximum. This then lets us see that $A_{max} \approx \frac{f_0}{2\beta \omega_0}$. -We can then calculate the FWHM, or full-width at half maximum, and the HWHM, or the half width at half maximum. These are the distance between the two points in which $A^2$ is at half its maximum value. Note that $\omega \approx \omega_0 \pm \beta$, so $\text {FWHM} \approx 2\beta$ and $\txt{HWHM} \approx \beta$. +We can then calculate the FWHM, or full-width at half maximum, and the HWHM, or the half width at half maximum. These are the distance between the two points in which $A^2$ is at half its maximum value. Note that $\omega \approx \omega_0 \pm \beta$, so $\text{FWHM} \approx 2\beta$ and $\text{HWHM} \approx \beta$. We can then calculate the sharpness of the peak as the natural frequency over the FWHM, or $Q = \frac{\omega_0}{2\beta} = \pi \frac{1 / \beta}{2\pi \omega_0} = \pi \frac{\text{decay time}}{\text{period}}$. @@ -122,7 +122,7 @@ We then find that $\omega = 2\pi / \tau$. We can then set $x_n(t) = A_n \cos(n \omega t - \delta_n)$, where -$$A_n = \frac{f_n}{\sqrt{(\omega_0^2 - n^2 \omegaa^2)^2 + 4\beta^2n^2\omega^2}}$$ +$$A_n = \frac{f_n}{\sqrt{(\omega_0^2 - n^2 \omega^2)^2 + 4\beta^2n^2\omega^2}}$$ We also see that diff --git a/docs/physics/thermal/2-second-law.md b/docs/physics/thermal/2-second-law.md index 94b5985..660d301 100644 --- a/docs/physics/thermal/2-second-law.md +++ b/docs/physics/thermal/2-second-law.md @@ -68,7 +68,7 @@ Note that the multiplicity falls to $1/e$ of its maximum value when $N(\frac{2x} ## Section 2.5 - The Ideal Gas -Assume we have a single atom of a monoatomic gas with kinetic energy $U$ in a container of volume $V$. By considering a container with volume $2V$, we can see that $\Omega_1 \propto V \vdot \V_p$, where $V$ is the volume of ordinary space, and $V_p$ the volume of momentum space. +Assume we have a single atom of a monoatomic gas with kinetic energy $U$ in a container of volume $V$. By considering a container with volume $2V$, we can see that $\Omega_1 \propto V \cdot V_p$, where $V$ is the volume of ordinary space, and $V_p$ the volume of momentum space. **Definition**. *Momentum space* is the space of all possible momentum values with axis $p_x, p_y, p_z$. diff --git a/docs/physics/thermal/3-interactions-implications.md b/docs/physics/thermal/3-interactions-implications.md index 95423c9..738d059 100644 --- a/docs/physics/thermal/3-interactions-implications.md +++ b/docs/physics/thermal/3-interactions-implications.md @@ -94,7 +94,7 @@ Note that for an electronic two-state paramagnet, the value of $\mu$ is the Bohr Consider two systems separated by a movable partition, in which energy and volume may be exchanged, but the total energy and volume is fixed. Then, at equilibrium, we see that $\frac{\partial S}{\partial U_A} = 0 = \frac{\partial S}{\partial V_A}$. Then, we know that $S = S_A + S_B$, so -$$\0 = \frac{\partial S}{\partial V_A} = \frac{\partial S_A}{\partial V_A} + \frac{\partial S_B}{\partial V_A} = \frac{\partial S_A}{\partial V_A} - \frac{\partial S_B}{\partial V_B} \Rightarrow \frac{\partial S_A}{\partial V_A} = \frac{\partial S_B}{\partial V_B}$$ +$$0 = \frac{\partial S}{\partial V_A} = \frac{\partial S_A}{\partial V_A} + \frac{\partial S_B}{\partial V_A} = \frac{\partial S_A}{\partial V_A} - \frac{\partial S_B}{\partial V_B} \Rightarrow \frac{\partial S_A}{\partial V_A} = \frac{\partial S_B}{\partial V_B}$$ We can state this as $V = V_A + V_B$ being fixed forces $0 = \partial V_A + \partial V_B$ so then $\partial V_B = -\partial V_A$. Then, at equilibrium, $T(\partial S / \partial V)$ is the same for both systems. We then define pressure as $P = T (\frac{\partial S}{\partial V})_{U, N}$. For an ideal gas, with $\Omega = f(N) V^N U^{3N/2}$, we see that $P = \frac{NkT}{V}$ under this definition, which agrees with the ideal gas law.