Let be the middle-third Cantor set and choose a positive integer with ; this is possible for every real , including negative . Set . It is closed and bounded since each factor is compact. If a subset of is connected, each coordinate projection is a connected subset of and hence a singleton; therefore the subset itself is a singleton. Thus is totally disconnected.
For completeness, the dimension of these Cartesian powers of the Cantor set can be checked directly. At stage there are cubes of side , giving vanishing -dimensional cover cost whenever . Conversely put independent equiprobable zero-or-two ternary digits on every coordinate. Each stage- cube has probability . If , a Euclidean ball of radius meets at most a constant depending on such cubes. Hence its probability is at most . For any sufficiently fine cover, summing this bound over covering sets shows that its cost at exponent is bounded below by a positive constant, since total probability is one. These upper and lower Hausdorff measure bounds prove
The construction does not claim arbitrarily large Hausdorff dimension in one fixed ambient Euclidean dimension.
In the shock rest frame the upstream and downstream speed magnitudes are and . Denote the downstream density by , and write for specific volume. The Rankine-Hugoniot conditions for a perfect gas express conservation of mass, momentum and total energy:
These follow by balancing the respective fluxes across a stationary infinitesimal control volume around the shock wave. The mass relation also gives , and momentum gives .
Eliminate the kinetic-energy difference in the energy condition using momentum:
Substitute the given perfect-gas internal energy and collect the coefficients of :
Hence
Finally gives
For the advancing piston choose the compressive branch , ; the algebraic squared relation alone does not specify that branch.
Write the common density as and take positive bending stiffness . With , use decaying velocity potentials
added to the upper base potential and the lower zero base potential. They solve the Laplace equation, as required by incompressibility and irrotational flow. The two linear kinematic boundary conditions on the membrane are
The linearized Bernoulli equation gives perturbation pressures and . Substituting the kinematic conditions and imposing the stipulated pressure difference gives
Completing the square yields the bending-membrane Kelvin-Helmholtz dispersion relation
The imaginary shift convects the disturbance at mean fluid speed . For there is a growing root exactly when
At the uniform displacement is neutral; at the square-root growth vanishes. Above this cutoff both roots are imaginary. To maximize the growth, maximize its square over the unstable interval. Its derivative is , so its unique positive maximum is
For there is no Kelvin-Helmholtz instability. Positivity of is the physical stiffness assumption behind the finite cutoff: gives no upper unstable cutoff, and destabilizes arbitrarily short waves.
Set and use proper time along a timelike geodesic. In the equatorial plane, the radial Christoffel symbols needed for a circular orbit are
The radial geodesic equation with gives . Outside the horizon this implies
For stability use the conserved energy and angular momentum . The normalization of the timelike tangent in the Schwarzschild metric gives , with the effective potential for timelike Schwarzschild geodesics
At a circular orbit , so , requiring . Differentiate holding this conserved fixed and then substitute the circular value:
The linear radial perturbation equation is . Thus circular timelike orbits are stable for , unstable for , with the marginal case at .
For the orbiting astronaut at radius , use to obtain
The static Earth twin has . During equal coordinate-time intervals of the long circular-orbit phase, the astronaut ages less precisely when
The outward and return transfers have finite additional proper times; the stated long-orbit comparison is the limit in which the circular phase dominates them. At equality the circular phase contributes no age difference, so transfer details can decide the finite-trip result.
Use SI units and normalize the condensate wavefunction so . With mechanical momentum operator , the charge current density is
For uniform and , this becomes .
Under the gauge transformation , the wavefunction transforms as , so . The two added gradients cancel in , while stays fixed. Thus the superconducting current is gauge invariant. The same cancellation in the full displayed current proves it without requiring a constant amplitude.
For uniform carrier density in a region with smooth single-valued phase, taking a curl gives the London equation . In the time-independent setting Ampère's circuital law gives , and Gauss's law for magnetism gives . Therefore
so the Helmholtz equation and London penetration depth are
The equation has the modified, exponentially decaying Helmholtz sign. For a planar surface at with material in , the bounded solution is ; the exponentially growing solution is excluded in the bulk. Hence a macroscopic region far from the surface has negligible field: magnetic flux is expelled from the bulk, the Meissner effect. The literal assertion of zero flux everywhere is the bulk limit: finite penetration remains within distance of a surface. Vortices or flux trapped through a hole require different phase or topology assumptions and are not ruled out by this smooth-phase derivation.
For potential period , a Bloch state has the form , with , or equivalently . Quasimomentum is defined modulo the reciprocal-lattice vector . A Brillouin zone is one fundamental interval for that identification, usually . Here , so it is .
For small , the first free-particle degeneracy occurs at the zone edge , between plane waves and of energy . In this two-dimensional subspace, the diagonal matrix elements of the potential vanish. Its Fourier coefficient at wave number one is ; the term cannot connect these two waves at first order. Thus degenerate perturbation theory gives the matrix
with energies . Near the edge the two uncoupled energies have opposite slopes, and diagonalization gives the avoided crossing, so the lowest band gap is
For large , expand about each deepest minimum :
The local quantum harmonic oscillator has levels . Its localization width is , so the quartic term changes these low levels by . Tunnelling between successive deep wells gives exponentially narrow energy bands. The secondary minima at have potential zero, and their levels lie far above the first two deep-well levels, whose energies are . Therefore the gap between the first and second bands is the first oscillator spacing to leading order:
The anharmonic shifts and exponentially small bandwidths do not change this leading estimate.
Let . Differentiating both exponentials and using that commutes with gives
Applying the same calculation repeatedly gives . Its Taylor series at zero, evaluated at one, proves the commutator expansion for exponential conjugation
For bounded operators the series converges in operator norm by the bound . The quantum computations below hold on a common invariant domain, such as Schwartz functions, with the commutator series either terminating or closing on a finite-dimensional span.
Use the canonical commutation relations and the Heisenberg picture . For the first Hamiltonian,
All further relevant commutators vanish, so
The explicit energy check is
The scalar shifts commute with all operators, so there is no ordering ambiguity.
For the two-dimensional system put and . Direct commutation gives , . Thus the Heisenberg equations of motion are , , whose solution, equivalently the resummed commutator series, is
Expanding both squares cancels their cross terms and gives .
In the interaction picture generated by , and . The terminating expansion therefore gives . Also , either by the momentum-square calculation or by direct commutation. Conjugating by rotates position and momentum by the same matrix, since and . Hence
The lowest Liouville–Green approximation comes from , for which . First take ; the next transport term is . Integrating gives
Multiplicative constants and the lower limit are arbitrary. The negative sign selects the recessive approximation in the usual WKB approximation regime, where the exponent dominates the amplitude and the derivative corrections are small. Positivity of by itself does not prove that tends to zero or that the approximation is valid: for example makes this expression grow like with a bounded integral in its exponent. For , all the required large- conditions hold and .
Put . Direct differentiation gives
Substituting into the Airy ordinary differential equation and dividing by gives . Multiplication by proves
The recessive branch has a constant leading amplitude . To find its first correction write . Balancing against the constant term forces , so . The constant coefficients then give . The remaining terms are of order and are cancelled by a next term of order . Thus
The multiplicative constant depends on the chosen normalization of the Airy function and of . The calculation selects the recessive solution; a growing Airy solution would not have this constant-amplitude expansion.
Write the Fourier coefficients of the two boundary functions as . The Laplace equation in polar coordinates is . A separated mode satisfies . The ansatz gives , so the solutions are for and for .
Set and . Solving the two boundary equations for every mode yields
For real boundary data, the conjugate coefficients ensure this is real. On any compact subannulus , the multipliers and all their differentiated versions are bounded by a polynomial in times . 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 , the Dirichlet boundary condition is interpreted in on circles. As , 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 in , and similarly as . Finally, any harmonic solution with these 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 traces; pointwise values at every boundary angle are not required by the given data.
The Liouville approximation theorem says that if is an irrational algebraic number of degree , there is such that for all integers and . To see the source of the bound, a degree- integer minimal polynomial gives a nonzero integer. On a fixed neighbourhood of , the mean value theorem bounds by a constant times ; outside that neighbourhood a smaller uniform constant suffices.
Let denote the factorial-denominator sum and let be its partial sum through , with for . This is an integer numerator even though makes the first two terms equal. Positivity and the rapid increase of factorial exponents imply
For example the first omitted term is and every succeeding factorial exponent increases by at least one, giving a geometric tail bound less than times that first term.
First is irrational: if , the positive difference from a partial sum is at least , contradicting this bound for sufficiently large . If it were algebraic of any fixed degree , Liouville approximation theorem would require , again impossible for large . Hence
The terminal wealth of portfolio is the scalar normal distribution , with mean and variance . Its Gaussian exponential moment gives
Since is strictly increasing in , strict preference is exactly . The nonsingular covariance matrix is positive definite. Completing the square gives
so the unique optimum is .
Paying the deterministic transaction cost reduces the certainty equivalent of the new portfolio by . Put . Its gain over the current portfolio is exactly
If every , then , so every nonzero trade has strictly negative gain, by positive definiteness. Conversely, if , choose . Its gain is
for . Therefore

There are unlisted articles, also show them or only show them.