Codex Wiki OurBigBook logoOurBigBook.comSite Source code
www.maths.cam.ac.uk/undergrad/pastpapers/files/2022/paperii_4_2022.pdf

1I (Number Theory √)

Words: 51 Articles: 1

Solution

Words: 51
The simple continued fraction algorithm for begins with . Its complete quotients repeat after
Thus
The convergents through one period are
The last one gives the negative Pell equation solution
Therefore
Solved by gpt-5.6-sol high.

2G (Topics in Analysis)

Words: 249 Articles: 1

Solution

Words: 249
For , the number is negative real, so the proposed identity would force
Continuity on the connected interval makes equal to one fixed odd multiple of there. For , the number is positive real, so must instead equal one fixed even multiple of . These two constants cannot agree, and their one-sided limits at therefore contradict continuity. The fact that removes the phase condition at that one point but does not repair the discontinuity.
Now let and put . This is a continuous path in the unit circle. The exponential map is a covering map, so the path lifting theorem supplies a continuous lift after one value of is chosen. Hence
One can obtain the same lift directly from the allowed special case: by uniform continuity, subdivide so that on each subinterval lies in the right half-plane, choose its continuous local argument there, and add a multiple of to match the preceding endpoint.
If and are two such phases, then
This integer-valued function is continuous and hence constant. Therefore
does not depend on the chosen lift.
For , the phase gives
For , the phase gives
Finally, take
They have the same two endpoints, but and . This endpoint discrepancy records the winding number of the closed path.
Solved by gpt-5.6-sol high.

3K (Coding and Cryptography)

Words: 175 Articles: 1

Solution

Words: 175
A general binary feedback shift register of length has state
and a feedback function . One update outputs the oldest bit, shifts the state, and inserts
The initial fill is . It is a linear-feedback shift register when
for fixed .
The Berlekamp-Massey algorithm reads an intercepted sequence from left to right while maintaining the shortest connection polynomial that reproduces the prefix. At each new symbol it computes the discrepancy between the observed bit and that predicted by the current recurrence. A zero discrepancy leaves the polynomial unchanged; a nonzero discrepancy adds a suitably shifted copy of the connection polynomial saved at the previous increase in linear complexity. After at least twice the unknown register length, it recovers the shortest recurrence, after which the entire keystream can be predicted.
Applying those discrepancy updates to
returns the connection polynomial
Equivalently, the sequence obeys
Indeed this predicts successively . No recurrence of length one or two fits the prefix, so its linear complexity is three.
Solved by gpt-5.6-sol high.

4I (Automata and Formal Languages)

Words: 148 Articles: 1

Solution

Words: 148
A context-free grammar is in Chomsky normal form when every production has one of the forms
where are nonterminals and is a terminal. One may additionally allow when the empty word belongs to the language, usually with the restriction that the start symbol does not occur on a right-hand side.
An -production has the form . A unit production has the form for nonterminals .
In , the productions for give
Consequently
In , and generate and , while again gives
Since , the two start productions generate exactly
Thus
Every production of has the required binary-nonterminal or single-terminal form, so is the Chomsky-normal-form grammar for the nonempty part of .
Solved by gpt-5.6-sol high.

5J (Statistical Modelling)

Words: 193 Articles: 1

Solution

Words: 193
Writing , , and , the fitted normal linear model is
The R formula lstat * age includes both main effects and their interaction term.
Three notable features are:
Solved by gpt-5.6-sol high.

6C (Mathematical Biology)

Words: 266 Articles: 8

a

Words: 48 Articles: 1

Solution

Words: 48
The first reaction is reversible, with reverse rate . Applying the law of mass action to each reaction gives
Each term has the sign dictated by whether the corresponding species is consumed or produced.
Solved by gpt-5.6-sol high.

b

Words: 45 Articles: 1

Solution

Words: 45
Adding the equations for the free enzyme and its two complexes gives
Thus
This conservation law says that the enzyme is neither created nor destroyed: each enzyme molecule is either free, bound in , or bound in .
Solved by gpt-5.6-sol high.

c

Words: 67 Articles: 1

Solution

Words: 67
Use enzyme conservation to write
Since , , , and , substitution into the mass-action equations gives
and
where
The factors of multiplying identify the complex concentrations as fast variables in a singular perturbation.
Solved by gpt-5.6-sol high.

d

Words: 106 Articles: 1

Solution

Words: 106
On times , the quasi-steady-state approximation sets
The second equation gives
In the first equation the terms then cancel, leaving
Solving these two equations gives
Since ,
At small substrate concentration this allosteric rate is quadratic, , so its graph leaves the origin with zero slope. At large it saturates at . A Michaelis-Menten equation also saturates, but its rate is linear near the origin. The allosteric curve is therefore more sigmoidal:
This is the quasi-steady rate law for a two-substrate allosteric enzyme.
Solved by gpt-5.6-sol high.

7E (Further Complex Methods)

Words: 193 Articles: 1

Solution

Words: 193
The Papperitz symbol
describes the two-dimensional solution space of a second-order homogeneous Fuchsian differential equation on the Riemann sphere with exactly three regular singular points . Near , its two independent Frobenius behaviours are locally
subject to logarithmic modifications in resonant cases. The six characteristic exponents obey the Fuchs relation
For the Gauss hypergeometric equation, the exponents at infinity are and . Put . Transforming the Papperitz symbol from to shows that
and
are local solutions near , with respective leading behaviours and . When , these behaviours are distinct and the two solutions are linearly independent. They therefore form a basis of the solution space on any simply connected common domain with compatible branch choices.
The solution normalized at zero can be analytically continued into that domain. Since it solves the same second-order equation, it must be a constant linear combination of the basis at infinity:
The constants depend on and the branch convention, but not on . This is the hypergeometric connection formula at infinity.
Solved by gpt-5.6-sol high.

8B (Classical Dynamics)

Words: 137 Articles: 1

Solution

Words: 137
Taking downward distance as positive, the Lagrangian is
At equilibrium the lower spring supports only the lower mass, while the upper spring supports both masses:
Hence
Let . The linear terms cancel by the equilibrium equations, and the quadratic Lagrangian is
with the small-oscillation mass and stiffness matrices
The generalized eigenvalue problem for small oscillations is
Its characteristic equation is
so
Corresponding displacement eigenvectors are
They are not orthogonal in the ordinary Euclidean inner product. They are orthogonal in the kinetic-energy, or mass-matrix, inner product:
This is mass-matrix orthogonality of normal modes.
Solved by gpt-5.6-sol high.

9A (Cosmology)

Words: 175 Articles: 1

Solution

Words: 175
The constant is the curvature radius of the closed spatial slices when ; at general scale factor their curvature radius is and their scalar curvature is .
The cosmological perfect-fluid continuity equation is
During expansion, , and therefore
If , then throughout the later expanding phase
Multiplying the Friedmann equation by gives
The right-hand side is negative once
which is impossible because . Thus the scale factor cannot grow without bound.
In fact the expanding phase ends in finite time. Combining the Friedmann and continuity equations yields the Friedmann acceleration equation
The curvature term in the first Friedmann equation also implies
While remains below the finite bound just found, is bounded above by a strictly negative constant. Hence reaches zero after finite time: the closed universe attains a maximum size and cannot expand forever. This is recollapse of a closed Friedmann universe with nonnegative pressure.
Solved by gpt-5.6-sol high.

a

Words: 122 Articles: 1

Solution

Words: 122
Let
where is the Hadamard gate. For a computational-basis string , define the phase reflection
Thus changes the sign of , while changes the sign of the marked state.
Conjugating by reflects in the hyperplane perpendicular to , so
is the Grover diffusion operator, the reflection about . The Grover iteration operator
is the product of two reflections. It acts as a rotation through in the plane spanned by the marked state and the normalized uniform superposition of unmarked states, where
It is the identity up to sign on the orthogonal complement of that plane.
Solved by gpt-5.6-sol high.

b

Words: 48 Articles: 1

Solution

Words: 48
Use controlled-NOT gates in parallel. For each , the th input qubit is the control and the th output-register qubit is the target. Their combined action is
which is exactly
Solved by gpt-5.6-sol high.

c

Words: 91 Articles: 1

Solution

Words: 91
The known circuit from part (b) lets us apply without querying the faulty oracle. Their composition satisfies
Because , only the last answer qubit is flipped in the exceptional case.
Prepare the answer register as
Since , quantum phase kickback gives, for an arbitrary search-register state,
The answer register is unchanged and factors out. The induced operation on the first register is therefore
This is the marked-state phase oracle from a single faulty identity-oracle query.
Solved by gpt-5.6-sol high.

d

Words: 109 Articles: 1

Solution

Words: 109
Use the construction in part (c) for the marked-state phase reflection in each Grover search algorithm iteration. Every such reflection costs one query to ; the identity-oracle circuit, Hadamard gates, and are independent of .
Starting from , after iterations the success probability is
by the Grover rotation angle. Choose an integer
Then differs from by at most , so
For every sufficiently large this is greater than , while
Thus measuring the search register determines the faulty input with the required constant success probability using oracle queries.
Solved by gpt-5.6-sol high.

11I (Number Theory)

Words: 410 Articles: 7

a

Words: 139 Articles: 1

Solution

Words: 139
For an odd prime , the Legendre symbol is
Euler criterion states that
The Gauss lemma says that, for , if of the least positive residues of
lie in , then
To prove it, replace every residue above by its negative. The resulting absolute residues are distinct up to sign and therefore form a permutation of
Multiplying the congruences gives
Cancel the nonzero factorial and apply Euler's criterion.
For , the residues are . The number above is
whose parity gives the second supplementary law for quadratic reciprocity
Consequently, for odd primes,
The congruence is also soluble for .
Solved by gpt-5.6-sol high.

b

Words: 271 Articles: 4

i

Words: 95 Articles: 1
Solution
Words: 95
Suppose only finitely many primes are congruent to modulo , and set
Then
If an odd prime divides , then , so part (a) gives
Since their product is modulo , at least one prime divisor is modulo to an odd power. Yet no listed divides , because gives
This produces a new prime congruent to modulo , a contradiction. Hence
This is the Euclid proof for infinitely many primes congruent to seven modulo eight.
Solved by gpt-5.6-sol high.

ii

Words: 176 Articles: 1
Solution
Words: 176
Let and form
For sufficiently large , every factor is positive and at most . Every odd prime divisor of makes a quadratic residue modulo , so part (a) gives or .
For an odd prime power , the congruence has at most two residue classes, because each root modulo is simple and lifts uniquely. Therefore
Since for odd ,
The prime contributes at most , because . If
then, for all sufficiently large , and hence
On the other hand, the product contains at least factors for large , and every one satisfies
once is sufficiently large. Thus
Comparing the two estimates gives
for every sufficiently large . This is the elementary logarithmic lower bound for primes in the quadratic-residue classes of two.
Solved by gpt-5.6-sol high.

12G (Topics in Analysis)

Words: 389 Articles: 13

a

Words: 156 Articles: 8

i

Words: 72 Articles: 1
Solution
Words: 72
The Brouwer fixed-point theorem says that every continuous self-map of the closed unit disc has a fixed point.
A union of two disjoint closed discs does not have the fixed-point property. Define a map that is constant from the first component to a point in the second and constant from the second component to a point in the first. It is continuous because the components are disjoint and has no fixed point.
Solved by gpt-5.6-sol high.

ii

Words: 29 Articles: 1
Solution
Words: 29
The open interval does not have the fixed-point property. The continuous self-map
has its only possible fixed point at the excluded endpoint .
Solved by gpt-5.6-sol high.

iii

Words: 26 Articles: 1
Solution
Words: 26
The closed interval does have the fixed-point property. If , then and . The intermediate value theorem supplies with .
Solved by gpt-5.6-sol high.

iv

Words: 29 Articles: 1
Solution
Words: 29
The annulus does not have the fixed-point property. The antipodal map
is a continuous self-map of the annulus and has no fixed point there.
Solved by gpt-5.6-sol high.

b

Words: 77 Articles: 1

Solution

Words: 77
Let be the nearest-point projection,
It is continuous. The map has a fixed point by the Brouwer fixed-point theorem.
If , the identity can hold only with , because the projection of a point outside lies on its boundary. If , the hypothesis gives , so and again . Thus has a fixed point.
Solved by gpt-5.6-sol high.

c

Words: 156 Articles: 1

Solution

Words: 156
The set is a compact convex square. Define
Similarly, set
These formulae define a continuous self-map of . The square is homeomorphic to a closed disc, so the Brouwer fixed-point theorem gives a fixed point .
Let at that fixed point. From ,
If , every with has . This contradicts bilinearity, because
Hence , all , and
for both pure strategies. By linearity this holds for every mixed strategy . The same argument with gives
for every . Therefore
In game terms, and are the players' mixed strategies, and are their expected payoffs in a two-by-two bimatrix game. The inequalities say that neither player can improve unilaterally, so is a Nash equilibrium. This is the Brouwer proof of Nash equilibrium for a two-by-two game.
Solved by gpt-5.6-sol high.

13J (Statistical Modelling)

Words: 173 Articles: 1

Solution

Words: 173
This is attenuation bias from classical measurement error, also called regression dilution. The latent predictor is , but and are noisy proxies. The noisier proxy produces a slope closer to zero.
For a regression with an intercept, the population slope is
Here all variables are centred and the noises are independent. Therefore
so regressing on has slope . For
we have
Thus
With the stated values, the slopes are
matching the simulation.
Under this independent additive measurement-error model, the magnitude of the -on- slope is generally smaller than the magnitude of the -on- slope whenever . Increasing does not change the population slope, because response noise contributes neither to nor to . It increases residual variance and the sampling variability of the estimate; with one million observations, doubling it should leave the displayed slope close to while increasing its standard error.
Solved by gpt-5.6-sol high.

14C (Mathematical Biology)

Words: 298 Articles: 8

a

Words: 104 Articles: 1

Solution

Words: 104
Let
be the reaction Jacobian at the homogeneous equilibrium. Stability without diffusion gives
For a spatial Fourier mode with eigenvalue , the linearized matrix is
Its trace is even more negative than , so instability occurs exactly when its determinant becomes negative. Put and . Then
This upward-opening quadratic is negative for some exactly when its minimum occurs at positive and lies below zero:
The second strict inequality implies the first when written with a positive square root, so the two-species diffusion-driven instability criterion becomes
Solved by gpt-5.6-sol high.

b

Words: 30 Articles: 1

Solution

Words: 30
If , the condition would require
But homogeneous stability requires . These inequalities are incompatible, so equal diffusivities cannot produce a Turing instability.
Solved by gpt-5.6-sol high.

c

Words: 66 Articles: 1

Solution

Words: 66
When , the linearized operator is
For a Fourier mode of wavenumber , its two growth rates are
Both homogeneous growth rates have negative real part, and subtracting the nonnegative scalar moves them farther into the left half-plane. Thus no spatial mode can become unstable. This is the impossibility of a two-species Turing instability at equal diffusivities.
Solved by gpt-5.6-sol high.

d

Words: 98 Articles: 1

Solution

Words: 98
For
we have
so the homogeneous equilibrium is stable for . The Turing condition is
Writing , equality at threshold is
Its positive root is
For sufficiently close to the threshold the strict instability condition holds, while
Thus unequal diffusivities are necessary, but their ratio can be arbitrarily close to one when the stable reaction matrix is itself arbitrarily close to marginal stability. This is the near-unity diffusivity ratio for a Turing instability.
Solved by gpt-5.6-sol high.

15B (Classical Dynamics)

Words: 188 Articles: 1

Solution

Words: 188
The gravitational three-body Lagrangian is
Put and . Solving the definitions of the Jacobi coordinates for three particles gives
Substitution into the kinetic energy makes all cross terms cancel:
where
The pair separations are
Hence the gravitational potential energy is
which is independent of . Thus is an ignorable coordinate and
The center of mass moves uniformly because the isolated system has no external force.
Finally, substituting the inverse coordinate transformation into
again cancels every cross term and yields
This is the angular momentum decomposition in three-body Jacobi coordinates.
Solved by gpt-5.6-sol high.

16F (Logic and Set Theory)

Words: 476 Articles: 9

a

Words: 140 Articles: 1

Solution

Words: 140
The Von Neumann hierarchy is defined by transfinite recursion:
for a limit ordinal .
We prove by transfinite induction that every is a transitive set. The claim is immediate for . If is transitive and , then , so . Transitivity also gives , hence . At a limit stage, if , then for some , so .
Transitivity implies . Induction and unions at limit stages then give
By well-founded recursion on membership, define the rank of a set
Induction on this rank gives for every . Thus
and consequently
Every set therefore occurs at some level of the hierarchy.
Solved by gpt-5.6-sol high.

b

Words: 336 Articles: 6

i

Words: 202 Articles: 1
Solution
Words: 202
A relation on a set is well-founded when every nonempty subset of has an -minimal element. It is extensional when distinct elements have distinct predecessor sets:
The Mostowski collapse theorem states that every well-founded extensional relation on a set is uniquely isomorphic to membership on a transitive set; the collapse is recursively
For the requested example, let and define
No belongs to , and therefore
The map is an isomorphism from membership on to membership on the von Neumann ordinal , so the Mostowski collapse is . On the other hand, already has rank , and hence the rank of is greater than .
For statement (i), suppose is isomorphic to with transitive. Membership is well-founded by the axiom of foundation. It is extensional on because transitivity ensures that the predecessors in of an element are exactly the elements of , and the axiom of extensionality distinguishes different sets. Both properties are preserved by isomorphism. Thus (i) is always true.
Solved by gpt-5.6-sol high.

ii

Words: 58 Articles: 1
Solution
Words: 58
Statement (ii) is always true even when is not transitive. Given a nonempty subset , the Axiom of foundation supplies with . Thus no member of is a member of , so is minimal for membership restricted to . An isomorphic relation is therefore well-founded.
Solved by gpt-5.6-sol high.

iii

Words: 76 Articles: 1
Solution
Words: 76
Statement (iii) can fail because a nontransitive ambient set can omit the elements that distinguish two of its members. Take
Neither element of has an element that also lies in : the second contains , which is omitted. Their predecessor sets for membership restricted to are therefore both empty, although the two elements are distinct. Hence this restricted membership relation, and any isomorphic relation, is not extensional.
Solved by gpt-5.6-sol high.

17F (Graph Theory)

Words: 257 Articles: 1

Solution

Words: 257
In the Erdős-Rényi model , the vertex set is and every one of the possible edges is present independently with probability .
Let count isolated vertices. If , the union bound gives
Thus .
Chebyshev inequality states that
Now suppose . Monotonicity lets us use the largest allowed . With
the supplied lower exponential estimate shows
For distinct vertices ,
Hence
and
Chebyshev with gives , so .
For connectivity, the lower-threshold result is immediate because a connected graph has no isolated vertex:
For the upper threshold, if a graph is disconnected it has a component with vertex set of some size . In particular, every one of the edges from to its complement is absent. Therefore
Choose
For , the standard bound gives
The sum of these terms tends to zero. For , use and :
Thus above the threshold. Together,
This is the connectivity threshold in the Erdős-Rényi model.
Solved by gpt-5.6-sol high.

18H (Galois Theory)

Words: 374 Articles: 6

a

Words: 103 Articles: 1

Solution

Words: 103
By Dirichlet theorem on primes in arithmetic progressions, choose a prime with
The cyclotomic field is Galois over , and
where the last group is cyclic because the multiplicative group of a finite field is cyclic.
The cyclic group has a unique subgroup of order . By the Galois correspondence, its fixed field satisfies
Normality follows because lies in an abelian group. Thus every occurs as the Galois group of a finite extension of . This is the cyclic Galois extension of the rational numbers of every finite degree.
Solved by gpt-5.6-sol high.

b

Words: 64 Articles: 1

Solution

Words: 64
The products with and span the field compositum over , so
The tower law gives
Thus the degree is divisible by both and . Since they are coprime, it is divisible by . Combining divisibility with the upper bound gives
Equivalently, finite extensions of coprime degrees are linearly disjoint field extensions.
Solved by gpt-5.6-sol high.

c

Words: 207 Articles: 1

Solution

Words: 207
Take
and let . Take
the affine group over a finite field, and let be its translation subgroup. Both normal subgroups have order , and
The groups are not isomorphic: is abelian, while is nonabelian.
For , let
Then . The fixed field of its subgroup of order three is its unique quadratic subfield,
Let
the splitting field of . Its Galois group is . The normal subgroup fixes the quadratic discriminant field, so
Now let . Part (a), with , supplies a cyclic Galois extension with group . For , take the splitting field
of . The prime is unramified in , so at every prime ideal above its valuation is one. It cannot therefore be a th power in the cyclotomic field. Hence
The automorphisms
and, for ,
satisfy
They generate all automorphisms, proving
This is the affine Galois group of the splitting field of x to the p minus two.
Solved by gpt-5.6-sol high.

19H (Representation Theory)

Words: 224 Articles: 1

Solution

Words: 224
The Mackey restriction formula says, for an -representation ,
Frobenius reciprocity says
Applying both with an irreducible character gives
The identity double coset contributes one, and all terms are nonnegative integers. Therefore Mackey irreducibility criterion says that is irreducible exactly when every term belonging to a nonidentity double coset is zero.
Now take . Write
so . For , commutators of with generate , because conjugation sends to and one can choose . Every degree-one character of is therefore trivial on and has the form
where is a multiplicative character.
The Bruhat decomposition of SL2 over a finite field has two double cosets,
and . Conjugation by inverts , so
The only nonidentity Mackey term vanishes exactly when these two one-dimensional characters differ. Consequently
Thus the trivial character is excluded, as is the unique quadratic character when is odd. All other degree-one characters of induce irreducibly; the induced representations have degree . This is the irreducible principal series of finite SL2.
Solved by gpt-5.6-sol high.

20H (Number Fields)

Words: 332 Articles: 1

Solution

Words: 332
Two nonzero fractional ideals of are in the same ideal class when
for some , equivalently when is principal. Multiplication is well defined on classes:
The identity is , the inverse of is , and commutativity comes from ideal multiplication. Nonzero fractional ideals are invertible because is a Dedekind domain. Thus these classes form the abelian ideal class group .
For finiteness, begin with a nonzero integral ideal . By hypothesis choose with
Since , the ideal
is integral, represents , and satisfies
Hence every class has an integral representative of bounded norm. There are only finitely many integral ideals of bounded norm, so is finite. This is the bounded-norm ideal representatives argument.
Now take . Since ,
The imaginary-quadratic Minkowski bound for ideal classes is
Every class is therefore represented by an integral ideal of norm at most seven.
The ramified prime ideals above two and three are
with
Neither is principal, since the norm equation
has no integer solution. Their product is also nonprincipal, since has no solution. Thus
are four distinct classes, all of order at most two.
The prime five is inert, so it contributes no ideal of norm five. The prime seven splits as
Since
comparison of norms, all equal to , confirms the factorization and gives
The conjugate prime has the inverse class, which is the same because this class has order two. Ideals of norms four and six yield respectively the principal class and . The Minkowski bound now shows that the four displayed classes exhaust the group. Therefore
This is the Ideal class group of Q of square root of minus thirty-three.
Solved by gpt-5.6-sol high.

21I (Algebraic Topology)

Words: 298 Articles: 1

Solution

Words: 298
Cut the square model of the Klein bottle along the midline parallel to the pair of sides whose identification reverses orientation. Each half becomes a Möbius band, and the two new boundary circles are identified. If and are the core loops of these two bands, each boundary travels twice around its core. The Seifert-van Kampen theorem therefore gives
Writing and converts this into the standard Klein-bottle presentation
The orientation homomorphism sends both and to the nonzero element of . Its kernel is the index-two subgroup
By the classification of connected covering spaces, determines the orientation double cover of the Klein bottle
Choosing torus generators along the two translation directions, we may take
These commute: the standard relation says that conjugates to , so centralizes .
The space is the mapping cylinder of with its unused end omitted. Sliding to gives a deformation retraction of onto the bottom quotient . Hence
Finally suppose is open and homeomorphic to , and identify the bottom copy of inside . This is compact and therefore closed in the Hausdorff space . Apply van Kampen, in its groupoid form if intersections are disconnected, to
The intersection deformation retracts to a positive-height torus, and its map to has image precisely
The orientation homomorphism
is zero on this intersection, so it is compatible with the trivial homomorphism from to . The pushout property in van Kampen extends it to a surjection
Therefore
This is the Klein-bottle mapping-cylinder obstruction to simple connectivity.
Solved by gpt-5.6-sol high.

22G (Linear Analysis)

Words: 250 Articles: 6

a

Words: 50 Articles: 1

Solution

Words: 50
The sequence is equicontinuous on when, for every , there is a such that
for every . The Arzela-Ascoli theorem says that a uniformly bounded equicontinuous sequence of continuous real-valued functions on a compact interval has a uniformly convergent subsequence.
Solved by gpt-5.6-sol high.

b

Words: 54 Articles: 1

Solution

Words: 54
Choose and set
Take
Inductively, if on , then
Since , every iterate is bounded by . Moreover,
Thus is uniformly bounded and uniformly Lipschitz, hence equicontinuous, on .
Solved by gpt-5.6-sol high.

c

Words: 146 Articles: 1

Solution

Words: 146
The Arzela-Ascoli theorem makes the family of iterates relatively compact in . The standard successive-approximation proof for this scalar autonomous equation shows that, after decreasing to some , the adjacent differences
tend uniformly to zero. One way to finish the existence argument without requiring a Lipschitz hypothesis on is the following direct scalar construction.
If , the function is already a solution. If , continuity gives an interval on which has constant sign and never vanishes. Define
Then is continuously differentiable with . By the inverse function theorem, it has a continuously differentiable local inverse on after choosing small enough and choosing the appropriate one-sided range. Put
The chain rule gives
and hence
Equivalently, , the fixed-point equation approximated by the iterates. This is the local existence for a scalar autonomous ordinary differential equation with continuous vector field.
Solved by gpt-5.6-sol high.

23G (Analysis of Functions)

Words: 204 Articles: 1

Solution

Words: 204
For , the Sobolev space consists of tempered distributions such that
For a multi-index ,
Since
we obtain the Sobolev derivative estimate
Thus differentiation is bounded and linear between the stated spaces.
Taking the Fourier transform of
gives
The only possible solution is therefore
Moreover,
This proves existence, uniqueness, and bounded dependence. Conversely, maps boundedly to , so
is a linear isomorphism with inverse multiplier . This is the massive Laplacian isomorphism on Sobolev spaces.
Finally, the assumed estimate and Plancherel theorem imply
Thus is bounded in . The functions and all their first derivatives are supported in the fixed bounded set . Their bounds give uniform translation estimates
for and . Tight support and the Rellich-Kondrashov compactness theorem for H01, equivalently the Fourier compactness criterion, therefore provide a common subsequence for which and every first derivative converge strongly in . Hence
This is compactness from bounded support and an H2 bound.
Solved by gpt-5.6-sol high.

24H (Algebraic Geometry)

Words: 288 Articles: 1

Solution

Words: 288
For a divisor on an algebraic curve over an algebraically closed field, its degree is
For a nonzero rational function , its principal divisor is
where zeros have positive order and poles have negative order.
Now let have degree zero on the projective line. Choose a homogeneous linear form whose zero is . Since , the expression
is homogeneous of degree zero and therefore defines a rational function on . Each has one simple zero, and the cancellation of total degree removes any common scaling ambiguity, so
Thus every degree-zero divisor on is principal. If and have the same degree, then is principal, whence
This is the divisor class on the projective line.
Write . The coordinate has no critical zero or pole in the finite chart. Near infinity use ; then
Hence the rational differential has one double pole at infinity and no other zero or pole:
which represents the canonical divisor of the projective line.
If , then , and linear equivalence of divisors gives . A function in the latter space has no finite poles, so it is a polynomial, and its degree is at most . Therefore
This calculation uses only the rational functions on , rather than the Riemann-Roch theorem.
Finally, suppose distinct satisfy . The function has one simple pole and therefore defines a degree-one finite morphism . A degree-one finite morphism between smooth projective curves is an isomorphism. It would follow that and hence that has genus zero, contrary to the hypothesis. Thus the principal divisor with one simple zero and one simple pole cannot occur on :
Solved by gpt-5.6-sol high.

25I (Differential Geometry)

Words: 306 Articles: 4

a

Words: 177 Articles: 1

Solution

Words: 177
The periodic Wirtinger inequality says that if is continuously differentiable, -periodic, and has mean zero, then
Equality holds exactly for a linear combination of and .
First suppose is one positively oriented simple closed curve, parametrized by arc length as for . Translating the origin, which changes neither length nor area, makes both and have mean zero. Green theorem and the Cauchy-Schwarz inequality give
Applying Wirtinger's inequality to both coordinate functions and using the unit-speed identity yields
and therefore the planar isoperimetric inequality
For several boundary components, apply the simple-curve result to the relevant enclosed regions and use ; holes only decrease the area.
Equality in both inequalities forces
for constant vectors , with the unit-speed and Cauchy-Schwarz equality conditions making and perpendicular and equally long. Thus the boundary is a circle. Conversely, a circular domain has area and perimeter , so equality holds.
Solved by gpt-5.6-sol high.

b

Words: 129 Articles: 1

Solution

Words: 129
Let and be opposite interior angles of a convex quadrilateral with side lengths , and let . The Bretschneider formula gives its area as
The fixed side lengths fix the first term, while the second term is nonpositive. Hence
with equality exactly when . Opposite angles are supplementary exactly when the quadrilateral is a cyclic quadrilateral. The given is cyclic, so it attains this upper bound and
A crossed or concave competitor can be uncrossed or reflected across a diagonal without changing its side lengths and without decreasing its unsigned area, so the same bound applies. Apart from degenerate coincidences, equality holds precisely when is also cyclic with the stated cyclic ordering of its side lengths.
Solved by gpt-5.6-sol high.

26G (Probability and Measure)

Words: 117 Articles: 1

Solution

Words: 117
Because the centered normal distribution density is nonnegative and has integral one, Fubini's theorem and translation invariance give
Thus .
Use the angular-frequency convention
The convolution theorem and the Gaussian transform give
Since , this product is integrable. Moreover, absolute integrability justifies exchanging the integrals:
This proves the Fourier inversion theorem for the convolution directly.
Now additionally suppose . For every , the dominated convergence theorem gives
Fourier inversion identifies the right-hand side with for Lebesgue almost everywhere . Therefore the Gaussian approximate identity satisfies
Solved by gpt-5.6-sol high.

27J (Applied Probability)

Words: 186 Articles: 7

a

Words: 65 Articles: 1

Solution

Words: 65
The queue length is an M-M-1 queue and hence a birth-death process with birth rate and death rate away from zero. The detailed-balance equations are
Writing , they give . Since , this measure is summable and normalization yields
The existence of this invariant probability distribution for the irreducible nonexplosive chain proves positive recurrence.
Solved by gpt-5.6-sol high.

b

Words: 121 Articles: 4

i

Words: 47 Articles: 1
Solution
Words: 47
With state-dependent admission, the effective birth rate in state is
while the death rate is for . The stationary ratios for an M-M-1 queue with state-dependent admission are therefore
Induction gives , and normalization identifies a Poisson distribution of mean :
Solved by gpt-5.6-sol high.

ii

Words: 74 Articles: 1
Solution
Words: 74
Here , so detailed balance gives
Consequently
The series converges for every , so this defines the unique invariant distribution.
By the PASTA property, an arrival joins with probability . In equilibrium the accepted-arrival rate must also equal the departure rate. Departures occur at rate precisely when the queue is nonempty, hence
The required joining probability is therefore
Solved by gpt-5.6-sol high.

28K (Principles of Statistics)

Words: 286 Articles: 12

a

Words: 33 Articles: 1

Solution

Words: 33
Generate and set
For ,
which is the distribution function of an exponential distribution with rate one. This is inverse transform sampling.
Solved by gpt-5.6-sol high.

b

Words: 63 Articles: 1

Solution

Words: 63
In one proposal of rejection sampling, the probability of both proposing a value in and accepting it is
Integrating shows that the acceptance probability is . Conditional on acceptance, the density of the proposed value is therefore
Each unsuccessful proposal restarts independently, so the eventual output has the same conditional density:
Solved by gpt-5.6-sol high.

c

Words: 46 Articles: 1

Solution

Words: 46
Take the proposal density . For the target half-normal distribution,
The ratio is maximized at , so the sharp envelope constant is
Generate and an independent uniform , and accept when
Solved by gpt-5.6-sol high.

d

Words: 23 Articles: 1

Solution

Words: 23
Each independent proposal is accepted with probability . The number of proposals is therefore a geometric distribution with mean
Solved by gpt-5.6-sol high.

e

Words: 45 Articles: 1

Solution

Words: 45
The accepted has the half-normal distribution, so in distribution for . Multiplying it by an independent random sign that is positive and negative with equal probabilities restores the two symmetric halves of the Gaussian density. Thus
Solved by gpt-5.6-sol high.

f

Words: 76 Articles: 1

Solution

Words: 76
For an exponential proposal of rate ,
and the smallest valid rejection constant is
because the exponent is maximized at . Differentiating its logarithm gives
The unique minimum occurs at . Since rejection efficiency is , choosing any makes the algorithm less efficient:
Solved by gpt-5.6-sol high.

29K (Stochastic Financial Models)

Words: 277 Articles: 8

a

Words: 38 Articles: 1

Solution

Words: 38
Between times and , the investor holds shares worth and places the remaining wealth in the risk-free asset. The self-financing condition therefore gives
Solved by gpt-5.6-sol high.

b

Words: 69 Articles: 1

Solution

Words: 69
Under a risk-neutral measure, the discounted stock must be a martingale. If is the probability of the factor , this condition is
so
The hypothesis ensures , making this equivalent to the original probability measure. Since the returns are independent under , the number of up moves has a binomial distribution, and hence
Solved by gpt-5.6-sol high.

c

Words: 83 Articles: 1

Solution

Words: 83
The backward option pricing recursion is
with terminal value . At a node with , define the replicating stock holding by
This is a predictable process because it depends only on information available at time .
Indeed, if , substituting the risk-neutral formula for into the self-financing update shows separately in the up and down states that
An induction over therefore gives . The required initial capital is
Solved by gpt-5.6-sol high.

d

Words: 87 Articles: 1

Solution

Words: 87
For the European call option, risk-neutral valuation gives
Define the stock-numeraire measure in a binomial market by
It is a probability measure because the risk-neutral martingale property gives . Consequently
Tilting one up move by its stock factor changes its probability to
Similarly . Thus under the number of up moves is binomial with parameter , and
Solved by gpt-5.6-sol high.

a

Words: 67 Articles: 1

Solution

Words: 67
The AdaBoost algorithm starts with weights . For :
Because implies , the selected classifier can always have weighted error at most , so . The output score is
Solved by gpt-5.6-sol high.

b

Words: 63 Articles: 1

Solution

Words: 63
The convex hull of is
Thus is a convex combination of when it has precisely this form. Equivalently, is the smallest convex set containing . The Caratheodory theorem sharpens the finite-combination description in : every point of is a convex combination of at most points of .
Solved by gpt-5.6-sol high.

c

Words: 54 Articles: 1

Solution

Words: 54
The exponential loss is . For a score , its exponential classification risk and empirical risk are
For the set of evaluation vectors
its empirical Rademacher complexity is
where the are independent uniform random signs.
Solved by gpt-5.6-sol high.

d

Words: 144 Articles: 1

Solution

Words: 144
The stopping rule ensures that the returned function belongs to
Indeed, when adding the next coefficient would make the sum exceed one, the algorithm returns the preceding sum, and at the first step it returns zero.
Since each takes values in , every satisfies . On , the map is -Lipschitz. The expected Rademacher complexity generalization inequality followed by the Rademacher contraction lemma gives
A linear functional attains the same supremum over a set and its convex hull. Since , adjoining zero and allowing total coefficient at most one does not increase the supremum, so the Rademacher complexity of a convex hull gives
Combining the two bounds proves
Solved by gpt-5.6-sol high.

31E (Asymptotic Methods)

Words: 212 Articles: 8

i

Words: 40 Articles: 1

Solution

Words: 40
After division by , the equation becomes
The regular singular point criterion for a second-order equation would require and to be analytic at zero. The second expression is , so the criterion fails:
Solved by gpt-5.6-sol high.

ii

Words: 16 Articles: 1

Solution

Words: 16
The removal of the first derivative from a second-order differential equation uses
It gives
so
Solved by gpt-5.6-sol high.

iii

Words: 93 Articles: 1

Solution

Words: 93
Write the normal-form equation as
For sufficiently small positive , . Moreover,
and the corresponding higher derivative condition also tends to zero, so the amplitude varies slowly relative to the exponential phase and the Liouville-Green approximation applies.
The phase and amplitude have expansions
Hence two independent Liouville-Green solutions satisfy
In particular, after choosing the signs according to growth and decay,
Solved by gpt-5.6-sol high.

iv

Words: 63 Articles: 1

Solution

Words: 63
Since , the two linearly independent solutions of the original equation have the asymptotic expansions
As a check, the substitution converts the equation into the modified Bessel equation of order zero, whose solutions and have exactly these large- expansions.
Solved by gpt-5.6-sol high.

32B (Dynamical Systems)

Words: 347 Articles: 6

a

Words: 125 Articles: 1

Solution

Words: 125
At an equilibrium, each product in
must vanish. This gives the two parameter-independent equilibria
the equilibria on
and the equilibria with both coordinates nonzero
where matching signs are used.
The pair is born at , suggesting a saddle-node bifurcation. At , one of these equilibria meets , suggesting a transcritical bifurcation, while the two equilibria near are simultaneously born in a saddle-node. At , the minus branch meets , suggesting another transcritical bifurcation. At , that branch meets the equilibrium , again suggesting a transcritical bifurcation. Thus the bifurcation parameter values are
Solved by gpt-5.6-sol high.

b

Words: 84 Articles: 1

Solution

Words: 84
The Jacobian matrix is
At its eigenvalues are and . It is therefore a stable node for , a saddle for , and nonhyperbolic at , consistent with the proposed transcritical bifurcation.
At the matrix is
with eigenvalues and . It is an unstable node for , a saddle for , and nonhyperbolic at , again consistent with a transcritical bifurcation.
Solved by gpt-5.6-sol high.

c

Words: 138 Articles: 1

Solution

Words: 138
There are two bifurcations in , both at .
Near , append . The plane is invariant and tangent to the extended center subspace, so it is an extended center manifold. The reduced equation is exactly
Its leading terms have two branches, and , which cross and exchange their center-direction stability. Hence this is a transcritical bifurcation.
For the bifurcation at , set
The extended system becomes
Solving the centre-manifold invariance equation for gives
Substitution into the equation yields
For this has two nearby equilibria , while for it has none. It is therefore a saddle-node bifurcation. These reductions are collected in bifurcations of the 2022 Cambridge quadratic-cubic system.
Solved by gpt-5.6-sol high.

a

Words: 65 Articles: 1

Solution

Words: 65
Insert the stated expansion into the Time-dependent Schrodinger equation
When the derivative acts on each free phase, its energy factor is cancelled by the action of on the corresponding eigenstate. The remaining terms obey
Division by gives
Solved by gpt-5.6-sol high.

b

Words: 75 Articles: 1

Solution

Words: 75
To first order in , time-dependent perturbation theory replaces the state on the right-hand side by its unperturbed value . The bound state is even, while the position operator is odd. The parity selection rule therefore gives
so and, with no initial continuum component,
Projection onto the odd state gives
Writing and integrating from zero to yields
Solved by gpt-5.6-sol high.

c

Words: 86 Articles: 1

Solution

Words: 86
The required dipole matrix element is
where differentiating the elementary Laplace integral for evaluates the last integral. Hence
Put and . The continuum transition probability at long times uses
Since
the total escape probability becomes
For the attractive delta potential,
Substitution gives the requested leading-order result:
Solved by gpt-5.6-sol high.

a

Words: 67 Articles: 1

Solution

Words: 67
With the magnetic minimal coupling convention for charge ,
Here , , and
Therefore in Cartesian coordinates
In cylindrical coordinates this is
This choice of is the symmetric gauge.
Solved by gpt-5.6-sol high.

b

Words: 99 Articles: 1

Solution

Words: 99
The factor is an eigenstate of longitudinal momentum with . The integer is the azimuthal angular momentum quantum number, since has eigenvalue .
For
direct differentiation gives
Regularity and cancellation of the term require for . Cancellation of the terms requires
assuming . The remaining radial energy is independent of :
This is the lowest Landau level. If , the same family uses nonpositive angular-momentum quantum numbers and replaces .
Solved by gpt-5.6-sol high.

c

Words: 75 Articles: 1

Solution

Words: 75
The radial factor
is sharply peaked, for large , near
Requiring the orbit to lie inside a disk of radius permits
Thus the total degeneracy at fixed is, up to the negligible boundary correction,
Since the disk has area , the degeneracy of a Landau level per unit area is
For either sign of the charge-field product, replace by .
Solved by gpt-5.6-sol high.

35A (Statistical Physics)

Words: 376 Articles: 15

a

Words: 83 Articles: 1

Solution

Words: 83
The Carnot theorem states that no engine between two fixed heat reservoirs can be more efficient than a reversible engine, and that all reversible engines between those reservoirs have the same efficiency. Thus the heat ratio of a reversible engine depends only on the two reservoirs. Its multiplicative consistency for three reservoirs permits a state variable , unique up to an overall scale, such that
Fixing one reference value defines the thermodynamic temperature scale, and the reversible efficiency is
Solved by gpt-5.6-sol high.

b

Words: 137 Articles: 6

i

Words: 25 Articles: 1
Solution
Words: 25
At fixed volume, a reversible infinitesimal heating supplies . Since entropy satisfies ,
Solved by gpt-5.6-sol high.

ii

Words: 50 Articles: 1
Solution
Words: 50
Let the common final temperature be . A reversible isolated process has zero total entropy production, so part (i) gives
Hence
for both bodies. The decrease in their total internal energy is extracted as work by the reversible engine mediating the transfer.
Solved by gpt-5.6-sol high.

iii

Words: 62 Articles: 1
Solution
Words: 62
Direct contact permits no work extraction, so conservation of internal energy gives
The total entropy change is
The arithmetic-geometric mean inequality makes the last expression positive when , with equality only when the bodies were already at the same temperature. This is the entropy production of irreversible heat flow.
Solved by gpt-5.6-sol high.

c

Words: 42 Articles: 1

Solution

Words: 42
The fundamental thermodynamic relation is
Because is extensive, the Euler theorem for homogeneous functions gives
Substitution into the Gibbs free energy therefore yields
For a one-component equilibrium phase, the intensive chemical potential depends on the intensive state variables and .
Solved by gpt-5.6-sol high.

d

Words: 45 Articles: 1

Solution

Words: 45
A first-order phase transition occurs where two phases have equal Gibbs free energy but a first derivative of that free energy is discontinuous. Typical jumps occur in
A nonzero entropy jump gives a nonzero latent heat .
Solved by gpt-5.6-sol high.

e

Words: 69 Articles: 1

Solution

Words: 69
At coexistence, . Stability says
Thus crosses zero with negative slope as increases through . On the two smooth phase branches,
Therefore
The transition from phase II to phase I consequently absorbs positive latent heat .
Solved by gpt-5.6-sol high.

36B (Electrodynamics)

Words: 323 Articles: 6

a

Words: 38 Articles: 1

Solution

Words: 38
A dielectric is an electrically insulating material whose bound positive and negative charges can be displaced slightly by an electric field, producing electric polarization without sustained conduction current. Its macroscopic electric response is described by its permittivity.
Solved by gpt-5.6-sol high.

b

Words: 148 Articles: 1

Solution

Words: 148
The electric polarization is electric dipole moment per unit volume. It produces
The electric displacement field is useful because
so it separates free charge from the bound charge represented by . In a linear isotropic dielectric, .
Spherical symmetry and Gauss's law for give, on both sides of the interface,
Thus
With pointing from medium one to medium two, the net bound sheet charge at is the polarization jump
If one assigns surface charge separately to the inner body and outer medium, their contributions are and ; their sum is the displayed physical interface charge.
Solved by gpt-5.6-sol high.

c

Words: 137 Articles: 1

Solution

Words: 137
The magnetization is magnetic dipole moment per unit volume. In magnetostatics it produces
The magnetic field intensity obeys
so isolates free currents while accounts for bound currents. For a linear isotropic material, .
Ampere's law for a circular loop around the free line current gives
in both media. Therefore
At , the net bound surface-current density is
Hence its magnitude is
and for a positive current along it points along when , reversing when .
Solved by gpt-5.6-sol high.

37D (General Relativity)

Words: 250 Articles: 11

a

Words: 122 Articles: 4

i

Words: 72 Articles: 1
Solution
Words: 72
The antipodal action fixes the origin. Away from the origin it acts freely, so the quotient is locally Euclidean there. A small punctured neighborhood of the image of the origin, however, has link
the real projective plane, whereas the link of a point in a three-dimensional smooth manifold is . Equivalently, the neighborhood is a cone on and cannot be a three-ball. Thus
Solved by gpt-5.6-sol high.

ii

Words: 50 Articles: 1
Solution
Words: 50
Removing the closed unit ball leaves
which is an open subset of . Every point therefore has an ordinary Euclidean coordinate neighborhood, so
It has no boundary; the unit sphere was removed together with the ball.
Solved by gpt-5.6-sol high.

b

Words: 128 Articles: 5

i

Words: 35 Articles: 1
Solution
Words: 35
The map takes one covector argument and returns two vector slots, so has two contravariant and one covariant index. Its tensor type is
or type , with components .
Solved by gpt-5.6-sol high.

ii

Words: 35 Articles: 1
Solution
Words: 35
The covariant derivative adds one covariant index, so has type . The outer product of two tensors adds their index counts. Hence
Solved by gpt-5.6-sol high.

Solution

Words: 58
Let
The Euler-Lagrange equation gives
Since and , this becomes
Expanding the derivative, multiplying by the inverse metric, and using the Christoffel symbol
gives the geodesic equation
Solved by gpt-5.6-sol high.

38C (Fluid Dynamics II)

Words: 267 Articles: 10

a

Words: 66 Articles: 1

Solution

Words: 66
Balancing the downslope gravitational force density against the viscous term gives the velocity scale
If the streamwise variation scale is , the lubrication theory requirement is first
The ratio of streamwise inertia to transverse viscous stress is
Thus self-consistency also requires
Solved by gpt-5.6-sol high.

b

Words: 62 Articles: 1

Solution

Words: 62
The leading lubrication momentum equations and incompressibility condition are
At the solid plane , no slip and no penetration give . At the free surface , neglecting surface tension and ambient viscous stress gives
to leading order. The kinematic boundary condition for a free-surface graph is
Solved by gpt-5.6-sol high.

c

Words: 43 Articles: 1

Solution

Words: 43
Integrating the normal momentum equation from the free surface gives the hydrostatic pressure
Thus . Twice integrating the downslope equation and applying and gives
Solved by gpt-5.6-sol high.

d

Words: 48 Articles: 1

Solution

Words: 48
The volume flux per unit transverse width is
Integrating incompressibility across the layer and using the wall and free-surface kinematic conditions gives local mass conservation . Hence the gravity-driven thin film on an incline obeys
Solved by gpt-5.6-sol high.

e

Words: 48 Articles: 1

Solution

Words: 48
Put and . The conservation law becomes
One integration gives the required first-order autonomous equation
where is a constant fixed by the far-field film heights or other boundary data.
Solved by gpt-5.6-sol high.

39C (Waves)

Words: 202 Articles: 9

a

Words: 60 Articles: 1

Solution

Words: 60
For one-dimensional homentropic flow,
and . For a perfect gas, . Combining the two equations therefore shows that the Riemann invariants
satisfy
Their characteristic curves are parametrized by
and is constant along the corresponding curve until characteristic intersection creates a shock.
Solved by gpt-5.6-sol high.

b

Words: 142 Articles: 6

i

Words: 35 Articles: 1
Solution
Words: 35
Before shock formation, the piston launches a right-moving simple wave into the undisturbed gas. The opposite invariant is fixed at its ambient value:
Therefore the simple-wave relation is
Solved by gpt-5.6-sol high.

ii

Words: 37 Articles: 1
Solution
Words: 37
The motion is isentropic before a shock forms, and the perfect-gas relations give
Writing and applying the generalized binomial expansion,
Solved by gpt-5.6-sol high.

iii

Words: 70 Articles: 1
Solution
Words: 70
The fluid velocity at the piston equals its velocity,
Using in part (ii) gives
Over ,
Thus
The linear pressure oscillation has zero mean, while the quadratic compressibility produces a positive mean pressure, the finite-amplitude acoustic analogue of radiation pressure.
Solved by gpt-5.6-sol high.

40C (Numerical Analysis)

Words: 281 Articles: 7

a

Words: 71 Articles: 1

Solution

Words: 71
The Gershgorin circle theorem states that every eigenvalue of a complex matrix lies in at least one disk
To prove it, choose a nonzero eigenvector for and an index such that . The th component of gives
Taking absolute values and using yields
Division by proves the theorem.
Solved by gpt-5.6-sol high.

b

Words: 210 Articles: 4

i

Words: 82 Articles: 1
Solution
Words: 82
Sample the diffusion coefficient at edge midpoints and write
Centered differences of the two fluxes give the conservative finite-difference stencil
For example, the part is
Taylor expansion about shows that the odd powers cancel between the two face fluxes and that the result equals . The same calculation in gives total truncation error
Solved by gpt-5.6-sol high.

ii

Words: 128 Articles: 1
Solution
Words: 128
Let be the spatial matrix, so the forward Euler method is
The conservative use of shared edge coefficients makes a real symmetric matrix. In an interior row, put . Its diagonal entry is , and the sum of the absolute off-diagonal entries is . Boundary rows have no larger disk because homogeneous Dirichlet data remove some unknown neighbors.
The Gershgorin circle theorem and symmetry therefore place every eigenvalue of in
If , each amplification eigenvalue is . It lies in whenever
or
Since the amplification matrix is symmetric, bounding all its eigenvalues in modulus by one bounds its discrete Euclidean operator norm by one. This proves the stated stability condition and is the Gershgorin stability bound for a variable-coefficient diffusion stencil.
Solved by gpt-5.6-sol high.

Ancestors (8)

  1. Ii
  2. 2022
  3. Past exam of the mathematics course of the University of Cambridge
  4. Mathematics course of the University of Cambridge
  5. Course of the University of Cambridge
  6. University of Cambridge
  7. List of universities
  8. Home