Neglecting terms of order and linearizing in gives
The second equation and the initial data imply
Its contribution to the first equation is of order , so the retained equation is
Thus
Integrating the associated velocity and using gives
The circular constraint is
Its tangent in the -plane is , while the normal force is radial. Projecting the equations from part (a) onto this tangent eliminates the normal force and gives
Because the ramp is translation-invariant along , ; using gives
For rest in the rotating frame, . Assuming , the second equation gives , and the first gives
On the semicircular ramp the rest points are therefore
and, when ,
The term is the Coriolis acceleration, and is the centrifugal acceleration. With , the Cartesian components are
Part (c) gives
The half-space is a simply connected domain, so the Poincaré lemma makes this curl-free field a conservative vector field: it is the gradient of a single-valued scalar potential.
Using ,
The spherical-coordinate formula from part (b) shows that a potential must satisfy and may be independent of . On the azimuthal angle has the single-valued branch
Hence one solution, up to an additive constant, is
Each field has only an azimuthal component and is independent of and . The curl in spherical coordinates therefore reduces to
and its component vanishes. The half-angle identities
show in both cases that
Apply part (a) with . Then
away from the origin, explicitly confirming that each resulting curl has zero divergence.
Differentiating the spherical coordinate system
gives the orthogonal decomposition
where
Thus the scale factors of orthogonal coordinates are
Since the total differential satisfies
comparison of coefficients gives the gradient
Since , the chain rule gives
For the radial vector field , the product rule and Einstein summation convention give
Reflection symmetry of the cube in each coordinate plane makes every off-diagonal integral
vanish because its integrand is odd in one coordinate. Permuting the three coordinate axes leaves the cube unchanged, so its three diagonal moments are equal. Thus its inertia tensor at the centre has the isotropic form
For
part (a) and give
The displayed symmetric matrix has orthogonal eigenvectors
with corresponding eigenvalues
For a unit angular velocity, is minimized and maximized along eigenvectors for the smallest and largest eigenvalues. Their ratio is
Let a change of orthonormal coordinates be represented by a rotation matrix . Since both angular momentum and angular velocity are vectors,
Using in both frames gives
for every vector . Multiplication by yields
which is exactly the transformation law for a rank-two tensor. Thus is a rank-two tensor.
Put . The vector triple product gives
Therefore
At the centre of mass,
Expanding the first formula, the terms linear in vanish because the centre of mass is the origin, while . Hence the parallel axis theorem in tensor form is
Put . The common Dirichlet boundary condition gives on . Expanding the energy functional,
Integration by parts and the field equation make the cross term zero:
Consequently
For , equality holds exactly when . For , equality holds exactly when , so is constant on the connected region; its zero boundary value then again forces . The minimizing property therefore proves uniqueness for the Dirichlet problem in both cases:
Let be two solutions with the same Neumann boundary condition, and set . Then
Multiplying by and applying Green's first identity gives
The integrand is nonnegative. If , both terms can vanish only when , so the solution of the modified Helmholtz equation is unique.
If , the identity only forces . On a connected region, may be any constant. Thus solutions of the Laplace equation with prescribed normal derivative are unique only up to an additive constant, so
No. A standard counterexample comes from the log-normal distribution. Let
and, for a fixed , let
This is a nonnegative density distinct from . For every nonnegative integer , substituting makes the difference of the th moments proportional to
It is the imaginary part of
which vanishes because its phase is . The case also proves that is normalized. Thus the two distributions have every finite moment equal but are different. Unbounded random variables need not be determined by their moments.
The normalizing constant satisfies
For an integer ,
Translation by the integer merely permutes the summation indices, so the final sum is . Consequently
The last equality uses the moment-generating function of the standard normal variable from part (b).
Normalization of the Gaussian distribution gives
Completing the square,
Therefore
and hence
Because and are bounded, their exponential series may be integrated term by term for every real . Thus their moment-generating functions satisfy
and similarly for . Equality of every moment gives equality term by term, so
The only positive equilibrium solves and , hence is
Away from a nullcline,
This is separable:
Integration gives the first integral
Thus one convenient conserved quantity is
Its gradient is
so is its only stationary point in the positive quadrant. Its Hessian matrix is
which is positive definite everywhere. Hence is a strict, indeed global, minimum.
The nearby level curves of are closed curves surrounding this minimum. Since is constant along every trajectory, a solution starting on a sufficiently small nearby level set cannot leave the region bounded by a slightly larger level set. This proves Lyapunov stability of the equilibrium: solutions initially close to remain close for all time.
Write the vector field as
The equilibrium points of a dynamical system in the closed first quadrant are
The Jacobian matrix is
At its eigenvalues are , so this is a saddle equilibrium. Its unstable direction is the positive -axis and its stable direction is the positive -axis; to first order, nearby trajectories satisfy , .
At the eigenvalues are , so it is also a saddle. The -axis is the stable direction, while trajectories entering the quadrant in the direction move away.
At ,
whose eigenvalues are
It is therefore a stable spiral. A point immediately to its right moves upward, so nearby trajectories spiral counterclockwise into the equilibrium. These eigendirections and the inward spiral give the requested local phase-portrait sketches.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact