Physlib.Particles.StandardModel.HiggsBoson.Potential
32 declarations
Higgs potential function
#toFunFor a given Higgs potential characterized by the mass squared parameter and the quartic coupling coefficient , the function evaluates a Higgs field at a point in spacetime as: \[ V(\phi, x) = -\mu^2 \|\phi(x)\|^2 + \lambda (\|\phi(x)\|^2)^2 \] where is the pointwise squared norm of the Higgs field at the point .
The Higgs Potential Function is Smooth
#toFun_smoothFor a given Higgs potential and a Higgs field , the function mapping each point in spacetime to the potential value is smooth (). Here, denotes the pointwise squared norm of the Higgs field at .
Negation of a Higgs potential
#negGiven a Higgs potential with mass squared coefficient and quartic coupling coefficient , its negation is a new potential defined by replacing these parameters with and respectively.
For any Higgs potential , Higgs field , and point in spacetime, the value of the negated potential (defined by replacing the mass squared coefficient with and the quartic coupling with ) evaluated at is equal to the negative of the value of the original potential . That is, \[ V_{P_{\text{neg}}}(\phi, x) = -V_P(\phi, x) \] where .
The mass squared coefficient of is
#μ2_negGiven a Higgs potential with mass squared coefficient , the mass squared coefficient of its negation is equal to .
The quartic coupling of is
#𝓵_negLet be a Higgs potential with quartic coupling coefficient . The quartic coupling coefficient of its negation is equal to .
for Higgs potential
#toFun_zeroFor any point in spacetime, the Higgs potential evaluated at the zero Higgs field is zero, i.e., .
Completion of the square for the Higgs potential
#complete_squareLet be a Higgs potential characterized by the mass squared parameter and the quartic coupling coefficient . For any Higgs field and any point in spacetime, if , the Higgs potential satisfies the completed square identity: \[ V(\phi, x) = \lambda \left( \|\phi(x)\|^2 - \frac{\mu^2}{2\lambda} \right)^2 - \frac{(\mu^2)^2}{4\lambda} \] where is the pointwise squared norm of the Higgs field at .
For a Higgs field and a point in spacetime, let denote the pointwise squared norm of the field, and let be the Higgs potential characterized by the mass squared parameter and the quartic coupling coefficient . These quantities satisfy the following quadratic equation: \[ \lambda (\|\phi(x)\|^2)^2 - \mu^2 \|\phi(x)\|^2 - V(\phi, x) = 0 \]
if and only if or
#toFun_eq_zero_iffLet be a Higgs potential characterized by the mass squared parameter and the quartic coupling coefficient . For any Higgs field and any point in spacetime, assuming , the Higgs potential is zero if and only if the value of the Higgs field at is zero () or the squared norm of the field at that point satisfies .
Quadratic discriminant of the Higgs potential
#quadDiscrimThe discriminant of the quadratic equation associated with the Higgs potential for a Higgs field at a spacetime point . Given the potential , this value corresponds to the discriminant of the quadratic where , , , and . It is given by the formula , where is the mass squared parameter and is the quartic coupling coefficient.
The quadratic discriminant of the Higgs potential is non-negative
#quadDiscrim_nonnegFor any Higgs field and any point in spacetime, let be the Higgs potential with quartic coupling coefficient and mass squared parameter . If , then the discriminant of the associated quadratic equation, defined as , is non-negative, i.e., .
Let be a Higgs potential characterized by a quartic coupling coefficient and a mass squared parameter . For any Higgs field and any point in spacetime, the associated quadratic discriminant is equal to the product of its square root with itself: \[ \Delta(\phi, x) = \sqrt{\Delta(\phi, x)} \cdot \sqrt{\Delta(\phi, x)}. \]
Let be a Higgs potential characterized by a quartic coupling coefficient and a mass squared parameter . For any Higgs field and any point in spacetime, the quadratic discriminant associated with the potential is equal to zero if and only if the potential function satisfies \[ V(\phi, x) = -\frac{(\mu^2)^2}{4\lambda}. \]
Let be a Higgs potential characterized by a quartic coupling coefficient and a mass squared parameter . For any Higgs field and any point in spacetime, the quadratic discriminant associated with the Higgs potential is zero if and only if the pointwise squared norm of the Higgs field satisfies \[ \|\phi(x)\|^2 = \frac{\mu^2}{2\lambda}. \]
If , then
#neg_𝓵_quadDiscrim_zero_boundLet be a Higgs potential characterized by a mass squared parameter and a quartic coupling coefficient . If , then for any Higgs field and any point in spacetime, the potential function is bounded above by \[ V(\phi, x) \leq -\frac{(\mu^2)^2}{4\lambda}. \]
If , then
#pos_𝓵_quadDiscrim_zero_boundLet be a Higgs potential characterized by a mass squared parameter and a quartic coupling coefficient . If , then for any Higgs field and any point in spacetime, the potential function is bounded below by \[ -\frac{(\mu^2)^2}{4\lambda} \leq V(\phi, x). \]
If and , then
#neg_𝓵_toFun_negLet be a Higgs potential with mass squared parameter and quartic coupling , such that the potential of a Higgs field at a point in spacetime is given by . If , then for every Higgs field and point in spacetime, if the mass squared parameter is positive (), then the potential is non-positive, i.e., .
If and , then
#pos_𝓵_toFun_posLet be a Higgs potential with mass squared parameter and quartic coupling , such that the potential of a Higgs field at a point in spacetime is given by . If , then for every Higgs field and point in spacetime, if the mass squared parameter is negative (), the potential is non-negative, i.e., .
Existence of solutions for when
#neg_𝓵_sol_exists_iffLet be a Higgs potential with mass squared parameter and quartic coupling . For any real number , there exists a Higgs field and a spacetime point such that the potential is equal to if and only if one of the following two conditions holds: - and . This implies that if is negative and is positive, the potential takes every non-positive value. - and . This implies that if is negative and is non-positive, the potential takes every value less than or equal to the bound .
Existence of solutions for when
#pos_𝓵_sol_exists_iffLet be a Higgs potential with mass squared parameter and quartic coupling . For any real number , there exists a Higgs field and a spacetime point such that the potential is equal to if and only if one of the following two conditions holds: - and . This implies that if is positive and is negative, the potential takes every non-negative value. - and . This implies that if is positive and is non-negative, the potential takes every value greater than or equal to its minimum bound .
The Higgs potential is bounded from below
#IsBoundedFor a given Higgs potential , the property is true if the potential function is bounded from below. Specifically, there exists a real constant such that for all Higgs fields and all points in spacetime, the potential satisfies .
If the Higgs potential is bounded, then
#isBounded_𝓵_nonnegLet be a Higgs potential with quartic coupling coefficient and mass squared parameter , defined by the function for a Higgs field and spacetime point . If the potential is bounded from below (i.e., there exists a real constant such that for all and ), then the quartic coefficient is non-negative ().
If , then the Higgs potential is bounded
#isBounded_of_𝓵_posLet be a Higgs potential with quartic coupling coefficient . If , then the potential is bounded from below. This means there exists a real constant such that for any Higgs field and any point in spacetime, the potential function satisfies .
Let be a Higgs potential with quartic coupling and mass squared parameter . If the quartic coupling is zero, then the potential is bounded from below if and only if the mass squared parameter is non-positive (). This reflects the condition under which the term remains bounded from below.
Condition for Global Minimum of Higgs Potential when and
#isMinOn_iff_of_μSq_nonpos_𝓵_posLet be a Higgs potential with mass squared parameter and quartic coupling . If and , then for any Higgs field and spacetime point , the pair is a global minimum of the potential function if and only if .
Global Minimum of Higgs Potential for
#isMinOn_iff_field_of_μSq_nonpos_𝓵_posLet be a Higgs potential characterized by the mass squared parameter and the quartic coupling . Suppose and . For any Higgs field and spacetime point , the pair is a global minimum of the potential function if and only if the Higgs field vanishes at that point, i.e., .
Condition for Global Minimum of the Higgs Potential for and
#isMinOn_iff_of_μSq_nonneg_𝓵_posLet be a Higgs potential with mass squared parameter and quartic coupling . For any Higgs field and spacetime point , the pair is a global minimum of the potential function if and only if .
Global minimum of the Higgs potential for and
#isMinOn_iff_field_of_μSq_nonneg_𝓵_posLet be a Higgs potential with quartic coupling and mass squared parameter . For any Higgs field and point in spacetime, the pair is a global minimum of the potential function if and only if the pointwise squared norm of the Higgs field satisfies \[ \|\phi(x)\|^2 = \frac{\mu^2}{2\lambda}. \]
Global minimum of Higgs potential for
#isMinOn_iff_field_of_𝓵_posLet be a Higgs potential with mass squared parameter and quartic coupling . Suppose the quartic coupling is positive, . For any Higgs field and spacetime point , the configuration is a global minimum of the potential function if and only if one of the following conditions holds: 1. and the squared norm of the Higgs field satisfies . 2. and the Higgs field vanishes at that point, .
Global maximum of global minimum of
#isMaxOn_iff_isMinOn_negFor a given Higgs potential , let denote the potential function evaluating a Higgs field at a point in spacetime, defined by . Let be the negated potential such that its value is . A configuration is a global maximum of the Higgs potential if and only if it is a global minimum of the negated potential .
Global maximum of Higgs potential for
#isMaxOn_iff_field_of_𝓵_negLet be a Higgs potential with mass squared parameter and quartic coupling . Suppose the quartic coupling is negative, . For any Higgs field and spacetime point , the configuration is a global maximum of the potential function if and only if one of the following conditions holds: 1. and the squared norm of the Higgs field satisfies . 2. and the Higgs field vanishes at that point, .
