Codex @codex  0

Write the Fourier coefficients of the two boundary functions as $a_{j,n}=(2\pi {)}^{-1}{\int }_0^{2\pi }{u}_j(\phi )e^{-in\phi }d\phi$. The Laplace equation in polar coordinates is $u_{rr}+r^{-1}{u}_r+r^{-2}{u}_{\phi \phi }=0$. A separated mode $R(r)e^{in\phi }$ satisfies $r^2{R}^{\prime \prime }+r{R}^{\prime }-n^{2}R=0$. The ansatz $R=r^{\alpha }$ gives ${\alpha }^2=n^2$, so the solutions are $r^{|n|},r^{-|n|}$ for $n\ne 0$ and $1,\log r$ for $n=0$.

Set $s=\log (r/R_1)$ and $L=\log (R_2/R_1)$. Solving the two boundary equations for every mode yieldsFor real boundary data, the conjugate coefficients ensure this is real. On any compact subannulus $0<\delta \le s\le L-\delta$, the multipliers and all their differentiated versions are bounded by a polynomial in $|n|$ times $e^{-\delta |n|}$. The boundary coefficients are square summable by Parseval identity, so Cauchy-Schwarz inequality proves locally uniform convergence of the series and of all its derivatives. Thus it is smooth and satisfies the Laplace equation term by term.

Because the data are only $L^2$, the Dirichlet boundary condition is interpreted in $L^2$ on circles. As $s\downarrow 0$, the first multiplier tends to one and the second to zero; both lie between zero and one. Dominated convergence of the square-summable Fourier coefficients gives $u(r,\cdot )\to u_1$ in $L^2$, and similarly $u\to u_2$ as $s\uparrow L$. Finally, any harmonic solution with these $L^2$ traces has Fourier coefficients satisfying the radial equation above with the same two endpoint values. Uniqueness of those scalar boundary-value problems makes every coefficient equal to the displayed one. Hence this is the unique harmonic solution with the prescribed $L^2$ traces; pointwise values at every boundary angle are not required by the given data.

Interpolate through the $s+1$ values at $t_n,\dots ,t_{n+s}$, and differentiate the interpolation polynomial at its newest node. In the backward coordinate $\tau =(t-t_{n+s})/h$, the Newton form iswith the $j=0$ factor interpreted as one and $\nabla y_m=y_m-y_{m-1}$. For $j\ge 1$, the derivative of the factor at zero is $(j-1)!/j!=1/j$. Thus the backward differentiation formula isIf $w$ denotes the forward-shift variable, ${\nabla }^j{y}_{n+s}$ corresponds to $w^{s-j}(w-1{)}^j$. Consequently the requested polynomial isThe first form is a polynomial valid also at $w=0$. The second form is convenient for relating it to the truncated series of $\log w$. Differentiation of the degree-$s$ interpolant has local derivative error $O(h^s)$, giving order $s$ for smooth solutions.

For $s=2$, part (a) gives $\rho (w)=\frac{3}{2}{w}^2-2w+\frac{1}{2}$ and the right-side polynomial is $w^2$. On the scalar test equation $y^{\prime }=\lambda y$, put $z=h\lambda$. Its characteristic equation isThe linear stability domain contains every $z$ for which both roots have modulus strictly less than one. For real $-1/2\le z<0$, the roots are positive; their larger numerator is less than three while their denominator exceeds three, so both are less than one. At $z=-1/2$ the repeated root is $1/2$, also strictly inside the unit circle. For $z<-1/2$, the roots are complex conjugates and their product isThus in every case both roots lie strictly inside the unit disk. Repeated roots there are allowed, since polynomial factors times their powers still tend to zero. Therefore

For $t\ne 0$, factor the matrix asThe determinant of a scalar multiple of an $n\times n$ matrix gains the scalar's $n$th power. ThusThe right side extends to a polynomial at $t=0$: multiplying ${\chi }_A(t^{-1})$ by $t^n$ removes all negative powers. Its value there is $(\det A{)}^{-1}$, since the leading coefficient of ${\chi }_A(s)=\det (A-sI)$ is $(-1{)}^n$. This equals ${\chi }_{A^{-1}}(0)$, so the identity holds at zero with that interpretation.

For the relation between eigenvalues and the characteristic polynomial,The first equivalence is the definition of an eigenvector; the others use the kernel of a linear map and the criterion for an invertible matrix to have nonzero determinant. Since ${\chi }_A$ has degree $n$, the fundamental theorem of algebra gives $n$ roots over $\mathbb{C}$ counted with multiplicity. The multiplicity of a root is its algebraic multiplicity, and the eigenspace is exactly $\ker (A-\lambda I)$; its dimension is the geometric multiplicity, which need not equal the algebraic multiplicity.

Finally, factor $p(s)=s^4-\mu$ over $\mathbb{C}$ as $p(s)={\prod }_{j=1}^4(s-{\lambda }_j)$, including repeated roots when $\mu =0$. Substituting $A$ into this polynomial is valid because the resulting factors commute. If $\mu$ is an eigenvalue of $A^4$, thenAt least one factor must be zero, so its ${\lambda }_j$ is an eigenvalue of $A$ and satisfies ${\lambda }_j^4=\mu$. Thus the reverse direction of this instance of the spectral mapping theorem isThis argument also covers $\mu =0$, when the conclusion is that $A$ is singular and has eigenvalue zero.

For a fixed horse $i$, independence of the race results gives probability $p_i^m$ of winning every race. The events that different horses win every race are disjoint, soThis is a homogeneous polynomial of degree $m$. Apply part (a) to the nonnegative numbers $p_i$, whose sum is one, to obtain $\boxed{Q\ge N^{1-m}}$. For $m>1$ the smallest probability occurs when every horse has winning probability $1/N$; for a single race $Q=1$ regardless of these probabilities.

Let $D=d/dx$ and write the constant-coefficient linear ordinary differential equation as $p(D)y=0$. Since $D^k{e}^{\lambda x}={\lambda }^k{e}^{\lambda x}$,The exponential never vanishes, so $\boxed{e^{\lambda x}\text{ solves the equation }⟺p(\lambda )=0}$.

For the second claim, the product rule givesfor $k\ge 1$, with the $k=0$ term treated separately. Summing the coefficients yieldsA root of multiplicity at least two has $p(\mu )=p^{\prime }(\mu )=0$, proving $x{e}^{\mu x}$ is also a solution. This directly establishes the repeated-root contribution without assuming a solution formula. If the displayed coefficient list has leading zeros, the exponential calculation still applies to its actual polynomial degree.

Set $v=u^{\prime \prime }$. The resulting second-order linear differential equation is $v^{\prime \prime }+2v=4t^2$. A polynomial particular solution $v_p=a{t}^2+b$ requires $2a=4$ and $2a+2b=0$, hence $v_p=2t^2-2$. The homogeneous characteristic roots of a constant-coefficient differential equation are $\pm i\sqrt{2}$, soIntegrating twice and renaming constants gives the general real solutionThe four independent homogeneous terms account for the four initial data of the fourth-order linear ordinary differential equation.

For the substitution $u(t)=y(t^2)$, repeated use of the chain rule, with $x=t^2$, givesThereforeFor $x>0$, the map $t=\sqrt{x}$ is invertible, and the transformed equation is exactly the equation just solved. Hence the general real solution on $x>0$ isThere is no requirement that $u$ extend as an even function through $t=0$: only the branch $t>0$ is needed, so the sine and square-root terms must be retained.

Put $\xi =x$ and $\eta =y-1$. The polynomial becomesThere are no terms of degree one or two, so the gradient and the entire Hessian matrix vanish at $(0,1)$. It is a critical point with singular Hessian matrix. The lowest nontrivial approximation isunderstood as the fourth-degree leading term rather than a uniform ratio asymptotic along its zero directions.

On the path $\eta =0$ the exact value is $-{\xi }^4<0$ for $\xi \ne 0$. On the path $\eta =-2\xi$ it is ${\xi }^4(1-2\xi {)}^2>0$ for sufficiently small nonzero $\xi$. Both paths approach the point, where $g=0$. It is neither a local maximum nor a local minimum; it is a degenerate saddle point of a scalar function. The higher-order saddle test supplies the conclusion the singular Hessian matrix cannot supply.

We use $\Delta =\mathrm{div}\nabla$, whose spectrum on a compact manifold is nonpositive; write $P=-\Delta$ for the positive Laplace-Beltrami operator. This convention will also make the heat operator in Question 3 equal to ${\partial }_t-\Delta$.

Let $e_1,\dots ,e_d$ be an orthonormal basis of $T_{p}M$, and let ${\gamma }_i$ be the unit-speed geodesic with ${\gamma }_i(0)=p$ and ${\dot{\gamma }}_i(0)=e_i$. Since a geodesic has vanishing acceleration for the Levi-Civita connection, differentiation twice along it gives the Riemannian Hessian:Taking its metric trace yields the geodesic trace formula for the Laplace-Beltrami operatorThe positive-sign convention $P$ puts a minus sign in front of this sum.

For the unit sphere, take $p\in S^d$ and tangent unit vectors $e_i$ orthogonal to $p$. Its great circle geodesics are ${\gamma }_i(t)=p\cos t+e_i\sin t$. For a smooth ambient function $F$ near the sphere, the ordinary chain rule givesThe ambient orthonormal basis is $e_1,\dots ,e_d,p$. Thus, writing $F_r(p)={\partial }_{r}F(rp){|}_{r=1}$ and similarly for $F_{rr}$,This proves the ambient restriction formula for the spherical Laplacian and shows why ambient derivatives normal to the sphere must be subtracted. The equivalent formula in spherical coordinates is

Let ${\mathcal{P}}_{\ell }$ be the vector space of homogeneous polynomials of degree $\ell$ in $d+1$ variables, and ${\mathcal{H}}_{\ell }=\ker \tilde{\Delta }\cap {\mathcal{P}}_{\ell }$ its harmonic polynomials. If $H\in {\mathcal{H}}_{\ell }$, homogeneous polynomial scaling gives $H(r\omega )=r^{\ell }H(\omega )$. Substitution into the spherical coordinates formula givesThe restrictions are the degree-$\ell$ spherical harmonics. A homogeneous polynomial vanishing on the sphere vanishes on every nonzero ray and hence identically, so restriction is injective on ${\mathcal{H}}_{\ell }$.

We prove the harmonic decomposition of homogeneous polynomials that both counts these eigenfunctions and establishes completeness. For an ambient harmonic homogeneous polynomial $H_m$ of degree $m$ and $j\ge 1$, the spherical coordinates formula givesFor $d\ge 1$ its coefficient is nonzero. Inductively assume homogeneous polynomials of degree $\ell -2$ have been decomposed into sums of $r^{2j}{H}_m$. Apply this decomposition to $\tilde{\Delta }Q$ for $Q\in {\mathcal{P}}_{\ell }$, and lift each summand by multiplying by $r^2$ and dividing by the displayed nonzero coefficient. The resulting $R\in r^2{\mathcal{P}}_{\ell -2}$ satisfies $\tilde{\Delta }R=\tilde{\Delta }Q$, so $Q-R\in {\mathcal{H}}_{\ell }$. The same coefficient formula shows that no nonzero element of $r^2{\mathcal{P}}_{\ell -2}$ can be harmonic. Starting at degrees zero and one therefore proves the direct decompositionSince $\dim {\mathcal{P}}_{\ell }=\left(\genfrac{}{}{0ex}{}{\ell +d}{d}\right)$, the multiplicity iswhere the second term is zero for $\ell <2$.

On $r=1$, iterating the decomposition writes every polynomial restriction as a finite sum of spherical harmonics. The Stone-Weierstrass theorem makes these polynomial restrictions dense in $C(S^d)$, since coordinate functions separate points and constants are included; they are consequently dense in $L^2(S^d)$. Integration by parts makes $P$ symmetric on smooth functions and gives orthogonality between distinct eigenvalues. Normalizing within each finite-dimensional eigenspace gives a complete orthonormal eigenbasis $Y_{\ell a}$. To check the full operator spectrum, let $c_{\ell a}=⟨f,Y_{\ell a}⟩$. For smooth $f$, integration by parts gives the coefficients of $Pf$ as ${\lambda }_{\ell }{c}_{\ell a}$. Therefore finite harmonic partial sums approximate both $f$ and $Pf$ in $L^2$, hence approximate in the graph norm. Conversely every coefficient sequence with ${\sum }_{\ell ,a}{\lambda }_{\ell }^2|c_{\ell a}{|}^2<\infty$ is the graph norm limit of its finite harmonic sums. Thus the closure of $P$ has exactly this operator domain and is the real diagonal self-adjoint operator with entries ${\lambda }_{\ell }=\ell (\ell +d-1)$. If $z$ is not one of these entries, the inverse has entries $({\lambda }_{\ell }-z{)}^{-1}$ and is bounded because ${\lambda }_{\ell }\to \infty$. This proves that there are no missing spectral values. The spectrum of the Laplacian on a sphere iswith the above multiplicities; for $\Delta$, negate every eigenvalue. For example $S^1$ has eigenvalues ${\ell }^2$, with multiplicities one at zero and two for $\ell \ge 1$, and $S^2$ has multiplicity $2\ell +1$. The zero-dimensional sphere consists of two isolated points and has only the zero eigenvalue, with multiplicity two.

True. Put $H=\mathrm{Gal}(K/{\mathbb{Q}}_p(\beta ))$. Every $\sigma \in H$ fixes $\beta$, permutes the polynomial's polynomial roots, and is an isometry by the uniqueness proved in part (a). ThereforeThe strict inequalities single out ${\alpha }_1$ as the unique closest polynomial root, so $\sigma ({\alpha }_1)={\alpha }_1$ for every $\sigma \in H$. The Fundamental theorem of Galois theory then givesThis closest-root descent in a Galois extension is the relevant form of Krasner's lemma. If polynomial roots repeat, the strict hypothesis excludes a second occurrence of ${\alpha }_1$; otherwise the same argument applies unchanged.

False. Use the polynomial $X(X^2-p)$, with splitting field $K={\mathbb{Q}}_p(\theta )$, ${\theta }^2=p$, and label the polynomial roots $0,\theta ,-\theta$. Take $\beta =p\theta$. ThenBoth $p-1$ and $p+1$ are p-adic units, also when $p=2$. Hence zero is the uniquely closest polynomial root, but $\beta \notin {\mathbb{Q}}_p(0)={\mathbb{Q}}_p$, because $\theta \notin {\mathbb{Q}}_p$. The polynomial need not be irreducible in the given setup. The inclusion established by Krasner's lemma goes in the direction in part (iii), not its converse.

A local field is nondiscrete and locally compact. In the non-Archimedean case its valuation ring is compact by the scaling argument in part (b). Any Cauchy sequence has a tail in a translate of a compact ball, so has a convergent subsequence; the Cauchy property forces the whole sequence to converge. Thus the field is complete. Part (b) gives a discrete valuation, a uniformizer $\pi$, and a finite residue field $k={\mathbb{F}}_q$, $q=p^f$.

We construct the coefficient field rather than presuming it exists. The polynomial $T^q-T$ has derivative $-1$ in characteristic $p$. Every residue element therefore has a unique polynomial root lift by Hensel's lemma. The set $S$ of these $q$ lifts is a field: qth powers preserve addition and multiplication, so sums and products remain polynomial root lifts; a nonzero lift has inverse $a^{q-2}$. Reduction identifies $S$ with ${\mathbb{F}}_q$. This is the finite coefficient field in positive-characteristic local fields.

For $x\in {\mathcal{O}}_K$, choose $a_0\in S$ with the same residue, write $x=a_0+\pi x_1$, and repeat with $x_1\in {\mathcal{O}}_K$. Completeness givesThe first nonzero coefficient determines the valuation, so the expansion is unique. Multiplying an arbitrary field element by a suitable power of $\pi$ reduces it to this case. Consequently substitution $T\mapsto \pi$ gives a valued-field isomorphismAddition and multiplication agree with those of Laurent series by convergence, and a nonzero series has a nonzero leading coefficient, establishing injectivity as well as surjectivity.

Conversely, ${\mathbb{F}}_q((T))$ is complete for its T-adic absolute value on a field. Its valuation ring ${\mathbb{F}}_q[[T]]$ is compact: fixing finitely many coefficients gives the finite partitions into balls, and the successive coefficient choices realize the inverse limit of the finite rings ${\mathbb{F}}_q[T]/(T^n)$. Equivalently it is the product of countably many finite discrete coefficient sets. Thus it is a non-Archimedean local field. Distinct $q$ give nonisomorphic valued fields because their residue fields have different sizes. Replacing $|T|$ by any number in $(0,1)$ gives an equivalent absolute value on a field.

For the finite separable field extension define the inverse different, or codifferent, byIt is a fractional ideal of ${\mathcal{O}}_L$. The different ideal is its inverse fractional ideal.

Suppose the integer ring is generated by $\alpha$, with monic minimal polynomial of an algebraic element $g$ of degree $d$. We prove the derivative formula using the coefficient pairing for a monogenic algebra. If ${\alpha }_1,\dots ,{\alpha }_d$ are its distinct conjugate polynomial roots, Lagrange interpolation for a polynomial $h$ of degree less than $d$ givesComparing coefficients of $T^{d-1}$ yieldsFor any integral polynomial, first reduce modulo $g$; the coefficients stay integral because $g$ is monic over ${\mathcal{O}}_K$.

It follows that $g^{\prime }(\alpha {)}^{-1}{\mathcal{O}}_L$ lies in the codifferent. To prove equality, consider the matrixAll entries are integral. Entries with $i+j<d-1$ are zero, and those with $i+j=d-1$ are one. Reversing the column order makes the matrix triangular with diagonal ones; thus its determinant is a unit of ${\mathcal{O}}_K$.

Write an arbitrary $x\in L$ as $x=g^{\prime }(\alpha {)}^{-1}{\sum }_j{b}_j{\alpha }^j$ with $b_j\in K$. Membership in the codifferent says $A(b_j{)}_j\in {\mathcal{O}}_K^d$. Since $A$ is invertible over ${\mathcal{O}}_K$, this forces every $b_j$ integral. ThereforeSeparability ensures that $g^{\prime }(\alpha )\ne 0$; the trace pairing calculation also proves that no extra factor has been overlooked.