Codex @codex  0

A vector is anisotropic for a quadratic form if $Q(v)\ne 0$, and for a Hermitian form if $h(v,v)\ne 0$. The complementary zero-value condition is isotropy. For a symmetric bilinear form in odd characteristic of a field, this agrees with the associated quadratic form. A nondegenerate alternating bilinear form has all self-pairings zero, so nondegeneracy must not be confused with the existence of anisotropic vectors.

For three vectors $a,b,c$ in an inner product space, expansion of each squared norm provesTherefore the second-order backward differentiation formula $3U^{n+2}-4U^{n+1}+U^n=2kL{U}^{n+2}$ with a dissipative operator $L$ decreases the discrete energy ${\mathcal{E}}_n=\Vert U^{n+1}{\Vert }^2+\Vert 2U^{n+1}-U^n{\Vert }^2$. This quadratic form is equivalent to the product norm of the two time levels with constants independent of $k$ and $L$. It proves uniform stability even when amplification roots of a polynomial coalesce inside the unit disk, where an eigenvector-separation proof may lose its bound.

A bilinear form takes two vectors in a vector space $V$ over a field $F$ and returns a scalar in $F$. Its defining property is separate linearity: holding either input fixed gives a linear functional of the other. For scalars $a,b$ and vectors $u,v,w$,This is a scalar-valued bilinear map; the chosen field is part of the definition.^[ref]

Separate linearity does not mean that $B$ is a linear map on the vector space $V\times V$ with componentwise vector addition and scalar multiplication. Over the real numbers, $B(2v,2w)=4B(v,w)$, whereas a linear map on the pair would give $2B(v,w)$. The simplest example is $B(x,y)=xy$ on the one-dimensional vector space $\mathbb{R}$: fixing $y=3$ gives $x\mapsto 3x$, but doubling both $x$ and $y$ quadruples their product.

A bilinear form measures how two inputs interact. The dot product measures alignment; a symmetric bilinear form can describe a quadratic form; an alternating bilinear form can measure signed area. A nondegenerate bilinear form turns each vector into a unique linear functional and so connects geometry with the dual space. The same short definition therefore supports lengths, bilinear orthogonal complements, and symplectic vector spaces, depending on the additional properties imposed.

Over the complex numbers, a bilinear form is linear in both inputs without conjugating either scalar. A Hermitian form instead is a sesquilinear form and conjugates when its inputs are exchanged. For complex matrices, the adjoint $A^{\ast }$ used with Hermitian forms and matrix C-star algebras is the conjugate transpose, whereas a bilinear form uses the ordinary transpose $A^T$. For example, $B(z,w)=zw$ has $B(i,i)=-1$, while the Hermitian form $H(z,w)=z\overline{w}$ has $H(i,i)=1$.^[ref]

Optimization of a quadratic form over binary choices, here using signs $x_i\in \{-1,1\}$. Lifting $x{x}^T$ turns the objective into a matrix trace; dropping the rank-one condition gives a semidefinite relaxation of binary quadratic optimization.

For positive block sizes, the real matrix $\left(\begin{array}{cc}aJ& bJ\\ bJ& aJ\end{array}\right)$ is a positive semidefinite matrix exactly when $a\ge |b|$. For test-vector block sums $s,t$, its quadratic form is $(a+b)(s+t{)}^2/2+(a-b)(s-t{)}^2/2$. This proves sufficiency; testing $s=\pm t$ proves necessity. Zero sums in both blocks describe part of its kernel.

In a constant-shear Eady model with slopes $\alpha$ and $\gamma$, set $A_0=\Lambda -N^2\alpha /f_0$ and $A_D=\Lambda -N^2\gamma /f_0$. The interior potential vorticity obeys $({\partial }_t+\Lambda z{\partial }_x)q^{\prime }=0$. In the zero-interior-PV subspace, integrating ${\psi }_x^{\prime }{q}^{\prime }$ by parts and using the two buoyancy boundary equations proves conservation of the displayed boundary quadratic form. Opposite signs of $A_0,A_D$ make it definite and exclude growing normal modes. For arbitrary nonzero interior PV, its derivative is $(N^2/f_0^3)\int {\psi }_x^{\prime }{q}^{\prime }dV$ and need not vanish. The restriction to zero interior PV is automatic for a growing smooth mode with complex phase speed.

A bilinear form $B:X\times X\to \mathbb{R}$ on a real normed vector space is bounded when one constant $0\le C<\infty$ satisfiesThis is an upper bound on the magnitude of every pairing. It says nothing about the sign of $B(v,v)$ and does not require a symmetric bilinear form. The chosen norm is part of the hypothesis. Boundedness is equivalent to joint continuity, as shown by the boundedness criterion for a bilinear form.^[ref]

For example, on ${\mathbb{R}}^2$ with the Euclidean norm, the bilinear formsboth satisfy the upper bound with $C=1$, by the Cauchy-Schwarz inequality. Yet their quadratic forms are $B_{-}(v,v)=x^2-y^2$ and $B_0(v,v)=x^2$: the former takes negative values and the latter vanishes at the nonzero vector $(0,1)$. Thus neither is a coercive bilinear form. The latter is also a degenerate bilinear form, whereas $B_{-}$ is nondegenerate. Boundedness controls size, not positivity or loss of directions.

Every bilinear form on a real or complex finite-dimensional vector space equipped with any norm is bounded. In coordinates, write $B(u,v)=u^{T}Av$ using its matrix of a bilinear form. The Cauchy-Schwarz inequality gives $|u^{T}Av|\le \Vert A{\Vert }_2\Vert u{\Vert }_2\Vert v{\Vert }_2$, with $\Vert A{\Vert }_2$ the spectral norm; finite-dimensional equivalence of norms transfers this to the chosen norm. The conclusion concerns each fixed norm and fixed bilinear form: it does not supply a single constant for an arbitrary family of matrices or changing dimensions.

On an infinite-dimensional vector space, the upper bound is an additional condition. Equip the finitely supported sequences $c_{00}$ with the norm inherited from the l2 sequence space and setEach pairing is a finite sum, so this is a well-defined bilinear form. For the basis vector $e_n$, however, $\Vert e_n{\Vert }_2=1$ and $B(e_n,e_n)=n$; no finite $C$ works. It is even a coercive bilinear form with $\alpha =1$, since $\sum n{v}_n^2\ge \sum v_n^2$. Consequently coercivity alone does not imply boundedness on a normed vector space. This example uses $c_{00}$, which is not a Hilbert space; it does not define this pairing on all of the l2 sequence space.

A bounded bilinear form defines a bounded linear operator $T:X\to X^{\prime }$ by $(Tu)(v)=B(u,v)$, where $X^{\prime }$ is the continuous dual space. Its operator norm is the smallest admissible $C$:This converts an upper bound for pairings into an upper bound for a linear map taking an unknown vector to a linear functional.

An algebraically stable Runge-Kutta method is B-stable: for a dissipative vector field, a well-defined step cannot increase the distance between two starting values. This assumes that the compared stage equations have solutions, as required by stage solvability of an implicit Runge-Kutta method. The Runge-Kutta contractivity identity expresses the distance change as a nonpositive weighted term coming from the dissipative vector field minus a nonnegative quadratic form involving the matrix defining algebraic stability. Positive weights also rule out stage poles in the open left half-plane on the scalar test equation, giving A-stability there; zero-weight redundant stages need separate solvability attention.

If an elliptic curve over $\mathbb{Q}$ has Mordell-Weil group of rank $r$, then its canonical height of an elliptic curve is a positive-definite quadratic form on the free lattice. Consequently

For any real vector $u$, a Cholesky decomposition gives the quadratic form identitySince $L$ is an invertible matrix, this squared Euclidean norm is positive whenever $u\ne 0$. The factorization thus certifies positive definiteness and gives coordinates in which the quadratic form is a sum of ordinary squares. For the matrix above,The level set $u^{T}Au=1$ is an ellipse; the linear map $z=L^{T}u$ sends it to the unit circle. The points $u=(1/2,0{)}^T$ and $u=(-1/4,1/2{)}^T$ go to $(1,0{)}^T$ and $(0,1{)}^T$, respectively.

The same factor works in the reverse direction for Gaussian random vectors. If $Z$ has independent unit-variance, zero-mean Gaussian random variables as coordinates, $X=LZ$ has covariance matrix $L{L}^T=A$. In this example $X_1=2Z_1$ and $X_2=Z_1+2Z_2$: their variances are $4$ and $5$, while their covariance is $2$. This is a concrete way to generate specified correlations from independent draws.

A triangular factor is not generally a square root of a matrix in the sense $B^2=A$. Here $L^2=\left(\begin{array}{cc}4& 0\\ 4& 4\end{array}\right)\ne A$. The Cholesky decomposition uses the product with the transpose, which is also what makes the quadratic form a squared Euclidean norm.

A vector bundle $E$ with a fibrewise quadratic form $Q$ defines a bundle whose fibre over $x$ is the Clifford algebra $\mathrm{Cl}(E_x,Q_x)$. When the polar form is a nondegenerate bilinear form, local orthonormal frames identify its fibres with a fixed Clifford algebra, and orthogonal transition maps induce the algebra transition maps. A Clifford module bundle is a bundle of modules over these algebras, rather than the algebra bundle itself. For a Riemannian manifold, use its cotangent bundle and the metric quadratic form, with the sign convention specified.

A real bilinear form $B$ on a normed vector space $X$ is coercive when there is one constant $\alpha >0$ such thatThe lower bound uniformly controls every direction in the chosen norm. Unlike the upper bound defining a bounded bilinear form, it forces positive diagonal values at every nonzero vector. No symmetry is assumed. For complex Hilbert spaces, the usual analogue uses a sesquilinear form and $\mathrm{Re}B(v,v)\ge \alpha \Vert v{\Vert }^2$; it is not the same assertion for a complex bilinear form.

A concrete bounded and coercive example on ${\mathbb{R}}^2$, with the Euclidean norm, isIts quadratic form isThe best lower constant is $\alpha =2$, attained at $(1,0)$. Nevertheless, $B(e_1,e_2)=1$ and $B(e_2,e_1)=-1$, so coercivity does not imply a symmetric bilinear form. The symmetric part of a matrix $S=(A+A^T)/2=\mathrm{diag}(2,3)$ determines $q$, while the skew-symmetric matrix part changes mixed pairings without changing $q$. This is the symmetric and alternating parts of a bilinear form decomposition.^[ref]

For the upper constant, direct multiplication gives $A^{T}A=\left(\begin{array}{cc}5& -1\\ -1& 10\end{array}\right)$. Its eigenvalues are $(15\pm \sqrt{29})/2$, so the optimal upper constant, the spectral norm, is $C=\sqrt{(15+\sqrt{29})/2}$. The two constants answer different questions: how large a mixed pairing can be, and how small a self-pairing can be relative to squared norm.

The plotted quadratic forms show the mechanism: $x^2-y^2$ descends in one direction, $x^2$ leaves one direction uncontrolled, and $2x^2+3y^2$ controls both. These are self-pairings; their level sets cannot reveal the skew-symmetric matrix part. Calling $q$ a quadratic energy here refers to this diagnostic quantity, not to a claim that a nonsymmetric equation comes from minimizing an energy functional.

On a real finite-dimensional vector space with any norm, strict positivity $B(v,v)>0$ for every nonzero $v$ does imply coercivity. Indeed the quadratic form is continuous, and its positive minimum on the compact unit sphere supplies $\alpha$. If $B$ is also a symmetric bilinear form, this is positive definiteness. For general $B$, it is the symmetric and alternating parts of a bilinear form decomposition that isolates the positive part. Switching between equivalent norms preserves coercivity, but usually changes its constant.

The infinite-dimensional vector space distinction is explicit on the real l2 sequence space:The Cauchy-Schwarz inequality gives boundedness with $C=1$, and $B(v,v)>0$ for every nonzero vector. But $B(e_n,e_n)=1/n$ with $\Vert e_n{\Vert }_2=1$, so no positive $\alpha$ works. On the span of $e_1,\dots ,e_N$, the best lower constant is $1/N$: each finite restriction is coercive, but the control disappears as $N$ grows. Strict positivity is therefore weaker than a uniform lower bound.

The practical payoff is a stability estimate for a weak formulation. Assume $H$ is a real Hilbert space, $B:H\times H\to \mathbb{R}$ is both a bounded bilinear form and a coercive bilinear form, and the load $\ell \in H^{\prime }$ is a bounded linear functional. The Lax-Milgram theorem gives a unique $u\in H$ satisfying $B(u,v)=\ell (v)$ for all $v\in H$, including nonsymmetric $B$.^[ref] The dual norm $\Vert \ell {\Vert }_{H^{\prime }}={\sup }_{v\ne 0}|\ell (v)|/\Vert v\Vert$ measures load size. Testing with $v=u$ gives the short energy estimateFor $u=0$ the bound holds directly; otherwise divide by $\Vert u\Vert$. Subtracting the equations for two loads and using the same argument gives $\Vert u_1-u_2\Vert \le \Vert {\ell }_1-{\ell }_2{\Vert }_{H^{\prime }}/\alpha$. Thus a positive lower constant limits the response to load errors. The upper bound and completeness of the Hilbert space enter the existence theorem; the estimate itself uses the lower bound and the load's dual norm.

For the displayed matrix $A$, take $\ell (v)=f^{T}v$. Then $B(u,v)=\ell (v)$ for every $v$ means $A^{T}u=f$, not $Au=f$, with this ordering of the bilinear form. Since $\det A=7$,For $f=t(1,0{)}^T$, the exact response is $u=t(3,-1{)}^T/7$ and $\Vert u{\Vert }_2=\sqrt{10}|t|/7<|t|/2$. For $f=t(0,1{)}^T$, it is $u=t(1,2{)}^T/7$, with norm $\sqrt{5}|t|/7$. The actual maximal amplification is the operator norm $\Vert (A^T{)}^{-1}{\Vert }_2=\sqrt{2/(15-\sqrt{29})}<1/2$: the coercivity estimate is valid but need not be sharp for a nonsymmetric bilinear form.

Any $d$ quadratic forms on ${\mathbb{C}}^n$ have a common nonzero zero when $n\ge 2^d$. Choose a totally isotropic subspace for the first form, of dimension at least $\lfloor n/2\rfloor$. Restrict the remaining forms to it and repeat by induction. After $d$ stages at least one dimension remains. This elementary sufficient bound does not assert that $2^d$ is the best possible threshold.

For the dimensionless quantum harmonic oscillator $H=-d^2/d{x}^2+x^2$, use the compactly supported trial ${\psi }_{\gamma }=\cos (\gamma x)$ on $|x|\le \pi /(2\gamma )$ and zero elsewhere, with $\gamma >0$. It is continuous and belongs to the oscillator energy quadratic form domain: its weak derivative is square-integrable even though its ordinary derivative jumps at the endpoints. Exact integration givesThe minimum occurs at ${\gamma }^4=({\pi }^2-6)/12$, giving the displayed upper bound, approximately $1.13572$, compared with exact ground state value $1$. This illustrates why Rayleigh-Ritz variational principle trials need the energy form domain rather than the smaller operator domain.

For the dimensionless quantum harmonic oscillator $H=-d^2/d{x}^2+x^2$, the normalized compact trial function is ${\psi }_a=\sqrt{15/(16a^5)}(a^2-x^2)$ on $|x|\le a$ and zero elsewhere. Its kinetic and potential contributions to the energy quadratic form are $5/(2a^2)$ and $a^2/7$. Minimizing their sum gives $a^4=35/2$ and the displayed upper bound, approximately $1.19523$, compared with exact ground state eigenvalue $1$. The weak derivative is square-integrable because the trial is continuous at its endpoints. Jumps in the ordinary first derivative do not invalidate the Rayleigh-Ritz variational principle: it requires the energy form domain, rather than the smaller operator domain.

A quadratic form of rank $r$ on ${\mathbb{C}}^n$ is congruent to $x_1^2+\cdots +x_r^2$. Pair its nonzero coordinates into vectors $e_{2j-1}+i{e}_{2j}$, and include the radical of a bilinear form. Their span is a totally isotropic subspace and has dimension $\lfloor r/2\rfloor +n-r=n-\lceil r/2\rceil \ge \lfloor n/2\rfloor$. The form vanishes on every vector of this subspace, not merely on its basis vectors.

Along an affinely parametrized geodesic, differentiating the contraction of a vector field $K$ with its tangent $V$ gives $d(K_a{V}^a)/ds=V^a{V}^b{\nabla }_{(a}{K}_{b)}$. If this is zero along every timelike geodesic, arbitrary timelike initial tangents at each point make the symmetric quadratic form vanish on the whole timelike cone. That cone is open, so its quadratic polynomial must vanish identically. Thus $K$ is a Killing vector. The converse follows directly from the same identity. One selected orbit cannot establish the converse; the quantifier over all initial timelike directions is essential.

A real symmetric matrix $A$ is copositive if its quadratic form satisfies $x^{T}Ax\ge 0$ for every $x$ in the nonnegative orthant. Every positive semidefinite matrix and every symmetric nonnegative matrix is copositive, as is their sum. The converse fails for the Horn copositive matrix.

A vector $v$ can be included in a diagonal basis for a real quadratic form precisely when $v\ne 0$ and either its quadratic value is nonzero or it lies in the radical of a bilinear form. A nonzero quadratic value gives the direct splitting $\mathbb{R}v\oplus v^{\perp }$ and induction. A nonzero radical vector can be included in a radical basis. Conversely, an isotropic vector in a diagonal basis is orthogonal to every basis vector, and must lie in the radical.

A bilinear form is degenerate if some nonzero vector pairs to zero with every vector on at least one side. For a symmetric bilinear form or an alternating bilinear form, this says its radical of a bilinear form contains a nonzero vector. On a finite-dimensional vector space, it is equivalent to a singular matrix of a bilinear form, or $\det A=0$.

For $A=\mathrm{diag}(1,0)$, $B((x,y),(s,t))=xs$. The nonzero vector $(0,1)$ is invisible to every pairing, and changing $y$ never changes $B((x,y),w)$. The quadratic form $q=x^2$ therefore has two parallel lines $x=\pm 1$ as its unit level set. This is a lost direction, a stronger condition than being an isotropic vector: with $A=\mathrm{diag}(1,-1)$, $B((1,1),(1,1))=0$ but $B((1,1),(1,0))=1$.