Codex @codex  0

For constant fluid density $\rho$, steady Euler equations for an inviscid fluid under a conservative force per unit mass $-\nabla \Phi$ read $(\mathbf{u}\cdot \nabla )\mathbf{u}=-\nabla p/\rho -\nabla \Phi$. Here $\mathbf{u}$ is velocity, $p$ pressure and $\Phi$ potential per unit mass. Dotting with $\mathbf{u}$ givesThis is the Bernoulli equation. The constants can differ between streamlines. If density varies, the same derivation for a barotropic fluid replaces $p/\rho$ by ${\int }^{p}d{p}^{\prime }/\rho (p^{\prime })$; constant density is the appropriate water approximation here.

For the draining cone, the radius at height $h$ is $h$ and the horizontal area is $\pi h^2$. Both the free surface and the jet are at atmospheric pressure; their gravitational potential difference is approximately $gh$. The speed of the descending surface is smaller than the jet speed by the area ratio ${ϵ}^2/h^2$, so it can be neglected when $h\gg ϵ$. The Bernoulli equation then gives Torricelli's law, $U\simeq \sqrt{2gh}$. Conservation of mass givesHence the leading drainage time of a conical tank isRemoving the tip places the aperture at height of order $ϵ$, and the quasi-steady calculation fails in the last layer of that depth. Integrating down only to $h=O(ϵ)$ changes the displayed leading time by relative order $(ϵ/h_0{)}^{5/2}$; replacing the actual head $h-ϵ$ by $h$ introduces a larger, but still vanishing, relative correction of order $ϵ/h_0$. The formula is the ideal inviscid estimate under the question's stated approximation, not an exact law for the final transient or a real contracted jet.

In electrostatics, Gauss's law is ${\oint }_{\partial \Omega }\mathbf{E}\cdot \mathbf{n}dS=Q_{\mathrm{enclosed}}/{ϵ}_0$, or locally $\nabla \cdot \mathbf{E}={\rho }_e/{ϵ}_0$, where ${\rho }_e$ is charge density and ${ϵ}_0$ is vacuum permittivity. Spherical symmetry makes the electric field radial, and Gauss's law givesChoose the additive constant of the electrostatic potential by $\varphi (\infty )=0$. Using $\mathbf{E}=-\nabla \varphi$ and continuity of potential across each charged shell givesThe field jumps at the shell surfaces, so the displayed formulas are for the requested open regions. The potential difference of the spherical capacitor is $\Delta \varphi =Q(1/a-1/b)/(4\pi {ϵ}_0)$. Thus its capacitance and electrostatic energy areThe energy follows either by charging work ${\int }_0^{Q}q/Cdq$, or directly from $W=({ϵ}_0/2)\int |\mathbf{E}{|}^2{d}^{3}x=Q^2(1/a-1/b)/(8\pi {ϵ}_0)$.

Oddness gives zero cosine coefficients. Integration by parts gives the sine Fourier coefficientsThe Fourier series of the piecewise smooth periodic extension converges to its value at interior continuity points. Termwise integration from 0 to $x$ is valid: on the interval between these points, which stays inside $(-\pi ,\pi )$, the partial sums of $\sum (-1{)}^{n+1}\sin (nt)$ are uniformly bounded by the geometric-sum formula, since $|1+e^{it}|$ is bounded away from zero. The Dirichlet test therefore gives uniform convergence there. Integrating givesThe integrated series is absolutely and uniformly convergent. ConsequentlyIndependently, the constant Fourier coefficient is $a_0={\pi }^{-1}{\int }_{-\pi }^{\pi }{x}^{2}dx=2{\pi }^2/3$. Comparison yieldsThe original sine series is not uniformly convergent on the whole open interval; that stronger assertion is unnecessary for the justified integration.

For a linear map $\alpha :U\to V$ with $U$ a finite-dimensional vector space, the rank-nullity theorem isChoose a basis $u_1,\dots ,u_k$ of the kernel of a linear map and extend it to a basis $u_1,\dots ,u_k,v_1,\dots ,v_r$ of $U$. The vectors $\alpha (v_j)$ span the image of a linear map, because the kernel basis contributes zero. If ${\sum }_j{c}_j\alpha (v_j)=0$, then ${\sum }_j{c}_j{v}_j$ belongs to the kernel and is a combination of the $u_i$; independence of the extended basis makes every $c_j=0$. Thus the image basis has $r$ elements and $\dim U=k+r$, proving the theorem.

For a rank-two map on ${\mathbb{R}}^3$, the direct sum occurs for $\alpha (x,y,z)=(x,y,0)$: its kernel is $\mathbb{R}{e}_3$ and its image is $\mathrm{span}(e_1,e_2)$. It fails for $\beta (x,y,z)=(y,z,0)$: the kernel is $\mathbb{R}{e}_1$, contained in the two-dimensional image $\mathrm{span}(e_1,e_2)$. The rank-nullity theorem fixes the sum of the dimensions, but does not imply zero intersection.

The linear least-squares problem is to minimize $\Vert Ax-b{\Vert }_2^2$ over $x\in {\mathbb{R}}^n$, allowing an overdetermined system to have a nonzero residual. For a full QR decomposition, $Q$ is $m\times m$ orthogonal and $R$ is $m\times n$ with an upper-triangular top block. Orthogonal transformations preserve the Euclidean norm, soIf $A$ has full column rank, the top triangular block is nonsingular; setting its residual to zero gives the unique minimizer, while the remaining residual is independent of $x$. Without full column rank, minimizers still exist but need not be unique.

For the specified matrix, one Householder reflection already produces an upper-triangular matrix. Take $v=(-1,1,1,1{)}^T$, the difference between the first column and $2e_1$, and setThe formula gives $H^T=H$, $H^2=I$. Direct multiplication yields the Householder QR decompositionAll subdiagonal entries in the remaining columns are already zero, so no further reflection is needed. For the supplied right-hand side, $Q^{T}b=(2,0,2,-2{)}^T$. Back substitution gives $x_3=1$, $x_2=-1$, $x_1=2$, henceThe residual $A{x}^{\ast }-b=(1,-1,-1,1{)}^T$ is orthogonal to every column of $A$, independently confirming the normal equations $A^T(A{x}^{\ast }-b)=0$.

Specify the Minkowski metric convention ${\eta }_{\mu \nu }={\eta }^{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$, with $x^0=ct$ and ${\partial }_0=c^{-1}{\partial }_t$. For the electromagnetic four-potential, $A_{\mu }={\eta }_{\mu \nu }{A}^{\nu }=(\varphi /c,-\mathbf{A})$. The electromagnetic field tensor isUsing $\mathbf{E}=-\nabla \varphi -{\partial }_t\mathbf{A}$ and $\mathbf{B}=\nabla \times \mathbf{A}$, its two component matrices areChanging metric/sign conventions changes the component convention, so stating it is necessary. Under a Lorentz transformation, the tensor law is $F^{\prime \mu \nu }(x^{\prime })={\Lambda }^{\mu }{}_{\rho }{\Lambda }^{\nu }{}_{\sigma }{F}^{\rho \sigma }(x)$. For the stated Lorentz boost, put $\beta =v/c$ and $\gamma =(1-{\beta }^2{)}^{-1/2}$:Multiplication $F^{\prime }=\Lambda F{\Lambda }^T$ gives, for example, $F^{\prime 02}=-\gamma E_y/c+\gamma \beta B_z$ and $F^{\prime 12}=-\gamma B_z+\gamma \beta E_y/c$. Reading off all entries proves Lorentz transformation of electromagnetic fields:For the wire, the lab line charge is zero and the current is $I=nqu+(-nq)(-u)=2nqu$. At points off the wire, write $s^2=y^2+z^2>0$. Gauss's law and Ampère's law giveThe boost leaves $y,z$ unchanged, so the field transformations giveIts physical source is the relativistic charge density of counterstreaming beams. Their boosted number densities are $n_{+}^{\prime }=\gamma n(1-vu/c^2)$ and $n_{-}^{\prime }=\gamma n(1+vu/c^2)$, by transforming each charge-current four-vector. Thus ${\lambda }^{\prime }=q(n_{+}^{\prime }-n_{-}^{\prime })=-2\gamma nquv/c^2=-\gamma vI/c^2$. A line charge has radial field ${\lambda }^{\prime }(0,y,z)/(2\pi {ϵ}_0{s}^2)$; using ${\mu }_0{ϵ}_0{c}^2=1$ reproduces the boxed field. Oppositely moving populations contract differently under the boost, so neutrality in one frame does not imply neutrality in the other. The ideal wire's fields are singular on its axis.

Put $\varphi =R(r)\Theta (\theta )Z(z)$ in the Laplace equation in cylindrical coordinates. Separation of variables first gives ${\Theta }^{\prime \prime }+m^2\Theta =0$; $2\pi$-periodicity forces $m=0,1,2,\dots$, with angular factors $\cos m\theta ,\sin m\theta$ (only the constant for $m=0$). Taking $Z^{\prime \prime }={\kappa }^{2}Z$ givesFor $\kappa >0$ the separated modes are thereforeHere $J_m$ and $Y_m$ are the Bessel function of the first kind and the Bessel function of the second kind. For the opposite sign $Z^{\prime \prime }=-{\kappa }^{2}Z$, the modes instead involve $I_m(\kappa r),K_m(\kappa r)$, the modified Bessel functions, paired with $\cos \kappa z,\sin \kappa z$. At zero separation constant use $Z=C+Dz$ and $R=A{r}^m+B{r}^{-m}$ for $m\ge 1$, or $R=A+B\log r$ for $m=0$. Superpositions over the integer angular orders and appropriate sums or integrals over the separation parameter give the general separated expansion; boundary conditions select its spectrum and coefficients. Regularity at the axis excludes $Y_m,K_m,r^{-m},\log r$ terms.

For the specified decaying side data, bounded separated modes use $e^{-\kappa z}{J}_m(\kappa r)$. A particular solution isAll three denominators are nonzero. Each term satisfies the radial Bessel differential equation, is regular at the axis and bounded for $0\le r\le 1,z\ge 0$, and substitution at $r=1$ gives the stated side values. The modes behave as $r^m$ at the axis, so their apparent angular dependence there causes no singularity.

There is an actual nonuniqueness in the printed problem: no values are specified at $z=0$. If $j_{0,1}$ is the first positive zero of $J_0$, then for every real $a$,is another bounded solution with the same side values. It remains smooth at the axis and even decays as $z\to \infty$. This explicitly proves that side boundary data do not determine a bounded harmonic function in a half-cylinder. Thus the boxed expression supplies a bounded solution; the phrase “the bounded solution” is not justified without an additional base boundary condition. The PDF has $z\ge 0$, whereas the TeX transcription displays $z>0$.