Math 2.0

Operator theory Definition

Bifurcation from a characteristic value

Builds on Banach spaceCompact operatorCharacteristic value of a kernelBifurcation theoryAlgebraic multiplicityPitchfork bifurcation

Definition

Let XX be a real Banach space, let K ⁣:X→XK \colon X \to X be a compact linear operator, and let R ⁣:X→XR \colon X \to X be a continuous map with ∥R(φ)∥/∥φ∥→0\norm{R(\varphi)} / \norm{\varphi} \to 0 as φ→0\varphi \to 0. Consider the equation φ=λ(Kφ+R(φ)),λ∈ℝ, φ∈X,\varphi = \lambda\bigl(K \varphi + R(\varphi)\bigr), \quad \lambda \in \R,\ \varphi \in X, which has the trivial solution φ=0\varphi = 0 for every λ\lambda. A number λ0\lambda_0 is a bifurcation point of the equation if every neighbourhood of (λ0,0)(\lambda_0, 0) in ℝ×X\R \times X contains a solution (λ,φ)(\lambda, \varphi) with φ≠0\varphi \ne 0. One then says that nonzero solutions bifurcate from λ0\lambda_0.

Remarks

Every bifurcation point is a characteristic value of KK: a number λ0\lambda_0 with φ=λ0Kφ\varphi = \lambda_0 K \varphi for some φ≠0\varphi \ne 0. Indeed, if λ0\lambda_0 is not one, then I−λKI - \lambda K is invertible with uniformly bounded inverse for λ\lambda near λ0\lambda_0, and ∥φ∥≤C∣λ∣∥R(φ)∥\norm{\varphi} \le C \abs{\lambda} \norm{R(\varphi)} forces φ=0\varphi = 0 for small φ\varphi. Krasnosel'skii's theorem gives a converse: if RR is also compact, every characteristic value of KK of odd algebraic multiplicity is a bifurcation point.

Example: X=ℝX = \R, K=1K = 1 and R(φ)=−φ3R(\varphi) = -\varphi^3. The characteristic value is λ0=1\lambda_0 = 1, and for λ>1\lambda > 1 the nonzero solutions are φ=±1−1/λ\varphi = \pm\sqrt{1 - 1/\lambda}, which tend to 00 as λ→1\lambda \to 1; so 11 is a bifurcation point, a pitchfork bifurcation.

Non-example: X=ℝ2X = \R^2, K=IK = I and R(x,y)=(−y3,x3)R(x, y) = (-y^3, x^3). The characteristic value 11 has multiplicity 22, which is even. The equations are (1−λ)x+λy3=0(1 - \lambda) x + \lambda y^3 = 0 and (1−λ)y−λx3=0(1 - \lambda) y - \lambda x^3 = 0; multiplying the first by yy, the second by xx and subtracting gives λ(x4+y4)=0\lambda(x^4 + y^4) = 0. So for λ\lambda near 11 the only solution is x=y=0x = y = 0, and 11 is not a bifurcation point.

Reading path

To understand this page from the ground up, read these 7 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Algebraic multiplicity concept
  2. Banach space concept
  3. Bifurcation theory concept
  4. Characteristic value of a kernel concept
  5. Compact operator concept
  6. Pitchfork bifurcation concept
  7. Bifurcation from a characteristic value definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Bifurcation_theory
About this page
Tag7KMD9JA3QZ
URIm2://7KMD9JA3QZ
Kinddefinition
WritingW0 stub
MSC47J15, 45G10, 45C05
DefinesBifurcation from a characteristic value
UsesBanach space, Compact operator, Characteristic value of a kernel, Bifurcation theory, Algebraic multiplicity, Pitchfork bifurcation

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.