Codex @codex  0

The electric potential of a point charge $Q$ at the origin isFor the two charges forming the dipole,The first-order Taylor expansion at large $|\mathbf{x}|$ isand therefore, with the electric dipole moment $\mathbf{p}=Q\mathbf{d}$,to leading order. Taking the interaction of a second dipole with the corresponding electric field gives the stated electric dipole-dipole interaction

Let the lattice spacing be $d$ and write the central dipole asIts two horizontal neighbours have moment $p(\cos \theta ,-\sin \theta )$. For either one, the expression in parentheses, after extracting $d^{-3}$, isIts two vertical neighbours have moment $p(-\cos \theta ,\sin \theta )$, and each contributes insteadAdding all four nearest-neighbour interactions and using the Pythagorean trigonometric identity givesThe angle has cancelled, so the energy is independent of $\theta$.

A stationary state has the formFor a time-independent quantum observable $Q$, the global phases cancel in the expectation value:It is therefore independent of time.

For the infinite square well,The possible energy measurement results arewith respective Born rule probabilities $|c_1{|}^2$ and $|c_2{|}^2$. Normalization gives $|c_1{|}^2+|c_2{|}^2=1$.

At time $t$,The required matrix elements areConsequentlywhere the angular frequency isFinally, $2|c_1{c}_2|\le |c_1{|}^2+|c_2{|}^2=1$, so

Expand $g$ in its Fourier sine seriesBy separation of variables, the decaying solution of Laplace equation in each half-strip has $n$th mode proportional to $e^{-k_n|x|}\sin (k_{n}y)$. Continuity at $x=0$ and integration of the equation across the Dirac delta function require the normal-derivative jumpThe jump of $C_n{e}^{-k_n|x|}$ is $-2k_n{C}_n$, so

For $g(y)=\delta (y-c)$, its Fourier coefficients areThusTranslation in $x$ gives the Dirichlet Green function for an infinite strip with source $(b,c)$:

In polar coordinates,With the change of radial coordinate $u=\log r$, the detection functional becomesIt is therefore $\lambda$ times ordinary path length in the $(u,\theta )$-plane. The shortest path is the line segment from $(\log A,0)$ to $(\log B,\alpha )$, soReturning to $r$ gives the logarithmic spiralIts minimum detection probability isThe functional depends only on the geometric path and not its parametrization, so tiptoeing and running give the same probability.

For the improved sensor, omit the irrelevant positive factor $\lambda$ and use the LagrangianThe coordinate $\theta$ is cyclic, so its conjugate momentum is conserved. Equivalently,is constant. Because $L$ has no explicit time dependence, the associated conservation of energy gives the constantMultiplying by $r$ and using $h=r\dot{\theta }$ gives the required equation

An analytic branch of a square root determined by the branch $\ell$ isIf ${\psi }_1$ and ${\psi }_2$ are two such branches, their ratio $h={\psi }_1/{\psi }_2$ is analytic and satisfies $h^2=1$. Since a domain is connected and $h$ takes values in the discrete set $\{1,-1\}$, $h$ is constant. Thus ${\psi }_1={\psi }_2$ throughout $D$ or ${\psi }_1=-{\psi }_2$ throughout $D$.

For $z=r{e}^{i\theta }$, the principal square root isOn $D_2$, one may instead takeThe respective removed half-axes are their branch cuts.

On $\mathbb{C}\setminus [-1,1]$, defineIt is analytic there, its square is $1-z^2$, andso it is the required branch. Substitution gives, for $0<|z|<1$,The binomial series yieldshence the first three terms of the Laurent series are

Sinceits residue at zero is $-i$. Under the change of variable $z=1/\zeta$, the two orientation reversals cancel, and the residue theorem gives

The curve is symmetric in both coordinate axes and under interchange of $x$ and $z$. Its shape, including its eight inflection points, is:

Writing $r^2=x^2+y^2$, the surface of revolution has equationLetIts gradient isIf this vanished, then $r^2\in \{0,1\}$ and $z^2\in \{0,1\}$, but at such a point $(r^2-1{)}^2+(z^2-1{)}^2\le 2$, not five. Hence zero is a regular value, and the regular level set theorem shows that $S=F^{-1}(0)$ is a smooth embedded surface.

For a surface of revolution, the two principal curvatures are the curvature of the meridian and the normal curvature of a parallel. Along $r=1$,so the normal is vertical in the meridian plane and the parallel principal curvature vanishes. Therefore the Gaussian curvature, the product of the principal curvatures, is zero there.

These are not the only zero-curvature points. The meridian itself has inflection points, at which its principal curvature vanishes. Setting $u=r^2$ and $v=z^2$, their positive squared coordinates satisfyBesides interchanging $u$ and $v$, the solution is approximatelyEach corresponding meridian inflection point sweeps out another circle on $S$, so $r=1$ does not exhaust the zero set of the Gaussian curvature.

A function $f:{\mathbb{R}}^m\to {\mathbb{R}}^r$ is differentiable at $x$ if there is a linear map $L:{\mathbb{R}}^m\to {\mathbb{R}}^r$ such thatThe map $L$, which is unique, is the derivative $f^{\prime }(x)$.

Expanding in a matrix increment $H$ givesTherefore $p$ is differentiable everywhere and

The inverse function theorem states that if $f$ is continuously differentiable near $a$ and $f^{\prime }(a)$ is invertible, then $f$ restricts to a bijection between neighbourhoods of $a$ and $f(a)$; its local inverse is continuously differentiable, with derivativeIn the normalized case $f(0)=0$ and $f^{\prime }(0)=I$, continuity of $f^{\prime }$ gives a closed ball ${\overline{B}}_r(0)$ on whichFor small $y$, define $T_y(x)=x-f(x)+y$. The mean value inequality makes $T_y$ a contraction mapping with constant $q$. If $\Vert y\Vert \le (1-q)r$, thenso $T_y$ maps the ball into itself. The contraction mapping theorem gives a unique fixed point $x_y$, and the fixed-point equation is precisely $f(x_y)=y$. Moreover,so $\Vert x_y-x_z\Vert \le \Vert y-z\Vert /(1-q)$. Thus $y\mapsto x_y$ is a continuous local inverse.

For the polynomial map in the question,The derivative is invertible, so the inverse function theorem supplies some $ϵ>0$ and a continuously differentiable $q:D_{ϵ}(I)\to {\mathcal{M}}_n$ such thatThere can be no inverse on all of ${\mathcal{M}}_n$, becauseso $p$ is not injective.