Canonical Form for quadratic equations *with* linear terms

Click For Summary

Discussion Overview

The discussion revolves around the canonical form of quadratic equations in two or more variables, particularly focusing on the inclusion of linear terms. Participants explore different representations of these equations and the implications of certain conditions, such as the discriminant being zero.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested

Main Points Raised

  • One participant questions whether a canonical form exists for quadratic equations that include linear terms, proposing two potential forms: one using an orthogonal matrix to diagonalize the quadratic part and another involving translated coordinates to eliminate linear terms.
  • Another participant notes that the condition \(c^2-4ab=0\) indicates that the associated matrix \(D\) is singular, which complicates the transformation into a canonical form.
  • A third participant expresses a preference for the first proposed form, which is simpler and scalar.
  • Several participants reference the concept of quadratic forms, with one noting that traditional quadratic forms do not include linear terms, which raises questions about the definition of canonical forms in this context.
  • One participant mentions finding information about conic sections and the "standard canonical form," but expresses uncertainty about whether this is the definitive canonical form, especially in relation to parabolas.

Areas of Agreement / Disagreement

Participants do not reach a consensus on what constitutes the canonical form for quadratic equations with linear terms. There are competing views on the definitions and representations, and the discussion remains unresolved regarding the naming conventions and applicability to different types of conics.

Contextual Notes

There are limitations regarding the assumptions made about the forms and the conditions under which they are valid, particularly concerning the treatment of parabolas and the implications of singular matrices.

arestes
Messages
84
Reaction score
4
TL;DR
Not sure about the accepted "canonical form" for a quadratic equation WITH linear term
Hello:
I'm not sure if there's an accepted canonical form for a quadratic equation in two (or more) variables:
$$ax^2+by^2+cxy+dx+ey+f=0$$

Is it the following form? (using the orthogonal matrix Q that diagonalizes the quadratic part):

$$ w^TDw+[d \ \ e]w+f=0$$
$$w^TDw+Lw+f=0$$
where
$$ w=\begin{pmatrix}
x' \\
y'
\end{pmatrix} = Q^T
\begin{pmatrix}
x \\
y
\end{pmatrix}
$$
and
$$ L=[d \ \ e] $$

Or is it a form with translated coordinates:
$$a(x'-m)^2+b(y'-n)^2+c(x'-m)(y'-n)+d(x'-m)+e(y'-n)+f'=0$$
with some to-be-determined constants m and n such that the linear terms vanish, which can be then used to change variables x'=x+m and y'=y+n.

I tried to find these m and n (expanding the binomials) but the simultaneous equations to satisfy in order to remove the linear terms are restricting and it seems to be impossible when $$c^2-4ab=0$$

Is it enough to leave the linear terms and call it "canonical form" just by diagonalizing the quadratic terms?
 
Physics news on Phys.org
That's a neat condition (I haven't checked your work). ##c^2-4ab=0## means that ##D## is going to be singular, which people often want to exclude when talking about quadratic forms anyway.

In particular, suppose your quadratic form was ##x^2+y=0##. It's pretty clear you're not going to change coordinates to make this look nice, since it's just not quadratic in one direction.
 
My personal preference is the first one (simple scalar).
 
WWGD said:
I think you're referring to Quadratic forms:
https://en.wikipedia.org/wiki/Quadratic_form
Yeah but quadratic forms don't have linear terms.

Thanks for reminding me of wikipedia. I did find the info I needed (almost) here:https://en.wikipedia.org/wiki/Matrix_representation_of_conic_sections

I found that there is a general form to write the equation of a conic (valid for central conics, which excludes parabolas because the K mentioned below doesn't exist):
1623477016440.png


Here they call this equation "standard canonical form" but I'm not sure if it's THE canonical form.
My question still stands regarding the naming convention but I just realized that it's just that: semantics.

So, in the end (after learning stuff about projective geometry and homogeneous coordinates) is the name "canonical form" used for the "standard canonical" form above (although it doesn't work for parabolas for which, I guess it'll be just y^2=ax or x^2=ay)?
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 8 ·
Replies
8
Views
5K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 20 ·
Replies
20
Views
19K
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 26 ·
Replies
26
Views
1K