When does quartic have only one real solution?

[Gerenuk]

Does someone know what condition for the coefficients of the quartic polynomial has to be fullfilled so that it has exactly one real solution (i.e. one real zero)?
I tried looking up the general solution, but I get lost in all these transformations. Is there an easy way to tell?

 

[Mark44]

If the coefficient of the 4th degree term is positive, the graph of a quartic polynomial comes down from the 2nd quadrant and goes up into the 1st quadrant, very roughly like a U. If this coefficient is negative, the graph comes up from the 3rd quadrant and goes down into the 4th quadrant, something like an upside-down U.

Such a graph can't cross the x-axis an odd number of times (i.e., once or three times). What must happen for the graph to have exactly one real zero?

 

[Gerenuk]

Such a graph can't cross the x-axis an odd number of times (i.e., once or three times). What must happen for the graph to have exactly one real zero?

Hmm, my first guess is that the odds terms must be non-zero under some conditions and it also should just touch the x-axis. But how can I translate that into a condition for the coefficients?

 

[Redbelly98]

Hmm, my first guess is that the odds terms must be non-zero under some conditions and it also should just touch the x-axis. But how can I translate that into a condition for the coefficients?

I don't know the actual answer, but if it "just touches" the x-axis, then that says something about both the function and it's derivative at that point. That suggests two relations as a necessary (though perhaps not sufficient) condition. This may or may not lead somewhere useful here, but you might try looking at that.

 

[Dickfore]

Are the coefficients of the equation real or complex numbers?

 

[hamster143]

Do you want exactly one solution, period, or exactly one solution that is zero?

If you want the only solution to be zero, then, obviously, a_0 should be zero, therefore you can rewrite it as

f(x) = x(a_1 + a_2 x + a_3 x^2 + a_4 x^3)

and the quantity inside the brackets is a cubic that must have at least one root, and it must be zero also, therefore, a_1 is zero too:

f(x) = x^2 (a_2 + a_3 x + a_4 x^2)

and the remaining terms must satisfy either a_2=0, a_3=0 or a_3^2-4 a_2 a_4 < 0.

In the general case, you can rewrite the polynomial as f(y-c), where c is the only zero, and open the brackets ... it'll be messy ...

 

[Gerenuk]

The coefficients are only real numbers.
I want that the quartic has exactly one real solution. I don't know any solution and want to avoid the complicating procedure for quartics.

 

[Char. Limit]

Here's an example...

f\left(x\right) = \left(x+a\right)^2 \left(x^2 + b^2\right)

Of the two terms, the first is squared and this is positive for all x =/= -a, and 0 for x=-a. The second term is always positive.

 

[Gerenuk]

OK, that's an example.
But I'm more interested in determining that for a general quartic.

 

[Dickfore]

The coefficients are only real numbers.
I want that the quartic has exactly one real solution. I don't know any solution and want to avoid the complicating procedure for quartics.

Then, if z is a root, so is its complex conjugate z^*. But, every polynomial of degree n has exactly n complex roots, some of which might repeat. As a consequence, a polynomial with real coefficients of odd power has at least one real root.

If z = 0 is a root, then, the quartic polynomial can be written as:

<br /> P_{4}(z) = z \, Q_{3}(z)<br />

But, Q_{3}(z) is of odd power and with real coefficients, so it must have at least one real root. Since, the only possible real root is 0, it must be that:

<br /> Q_{3}(z) = z \, R_{2}(z)<br />

with R_{2}(z) being a polynomial of degree 2 with either no real roots or 0 being its double root. Without any loss of generality (since we are looking for the roots of the polynomials), we can take the coefficients in front of z⁴ to be 1. We can then write:

<br /> P_{4}(z) = z^{2} \, (z^{2} + p \, z + q), \ p^{2} - 4 q &lt; 0<br />

or

<br /> P_{4}(z) = z^{4}<br />

 

[Gerenuk]

Why should one zero be equal to zero? I have a general quartic.

 

[Dickfore]

Ohhh, I thought that the (zero) in your opening post was the value of the real root. Regardless. If a quartic polynomial P_{4}(z) has only one real root at 0, then the polynomial with a translated argument P_{4}(z - \alpha) has only one real root at some real number \alpha. The above conditions become:

<br /> P_{4}(z) = (z -\alpha)^{2} \, \left[ (z - \alpha)^{2} + p \, (z - \alpha) + q \right], \ p^{2} - 4 q &lt; 0<br />

Multiply out and compare with:

<br /> P_{4}(z) = z^{4} + a_{1} \, z^{3} + a_{2} \, z^{2} + a_{3} \, z + a_{4}<br />

to express \alpha, p and q in terms of the coefficients. Then, substiute those expressions in the condition p^{2} - 4 q &lt; 0. This will give you one condition among the four coefficients a_{i}, i = 1, 2, 3, 4.
In the second case

<br /> P_{4}(z) = (z - \alpha)^{4}<br />

we have the fourth power of a binomial, so we have:
<br /> a_{1} = - 4 \, \alpha \Rightarrow \alpha = -\frac{a_{1}}{4}<br />

<br /> a_{2} = 6 \, \alpha^{2}<br />

<br /> a_{3} = -4 \, \alpha^{3}<br />

<br /> a_{4} = \alpha^{4}<br />

So, in this case we have 3 conditions:

<br /> a_{2} = \frac{3 \, a^{2}_{1}}{8}, a_{3} = \frac{a^{3}_{1}}{16}, a_{4} = \frac{a^{4}_{1}}{256}<br />

 

[Gerenuk]

Oh sorry. My fault with the confusing zero.

Now these three equations seem to be too restrictive?! CharLimits example does not obey it?

 

[Dickfore]

Because his example is of the first kind with

<br /> \alpha = -a<br />

<br /> p - 2 \alpha = 0 \Rightarrow p = -2 a<br />

<br /> \alpha^{2} - p \alpha + q = b^{2} \Rightarrow q = a^{2} + b^{2}<br />

Using these values for p and q, the condition is:

<br /> p^{2} - 4 q = (-2 a)^{2} - 4(a^{2} + b^{2}) = -4 b^{2} &lt; 0 \Leftrightarrow b \neq 0<br />

The first case is more general, but algebraically harder.

 

[hamster143]

It seems to me after about 10 min of algebra that the problem of expressing p and q in terms of a_i is as hard as solving the original quartic (which is what we're trying to avoid here).

Let's solve a half-problem first. Can we take a general quartic and determine, without solving it or any other quartic, whether it has a double root, in other words, has the form

<br /> <br /> P_{4}(z) = (z -\alpha)^{2} \, \left[ z^2 + p \, z + q \right]<br /> <br />

for some \alpha, p, q?

 

[Gerenuk]

I googled and found a long answer
http://mathforum.org/library/drmath/view/68049.html
which refers to
http://en.wikipedia.org/wiki/Sturm's_theorem
Does that help?!

 

[trambolin]

It should help if you look at the polynomial as a quadratic expression as such
<br /> P(x) = \begin{pmatrix} 1\\x\\x^2\\ \vdots\end{pmatrix}^T<br /> \begin{pmatrix}a_0 &amp;\frac{a_1}{2} &amp;\cdots\\ <br /> \frac{a_1}{2} &amp;\ddots &amp;\cdots\\<br /> \vdots &amp; &amp;\ddots\end{pmatrix}<br /> \begin{pmatrix} 1\\x\\x^2\\ \vdots\end{pmatrix}<br />

So you might say something clever about having one of the eigenvalue zero and the rest being the same sign i.e. the matrix being positive semidefinite or negative semidefinite. So rank drops only by 1. Did not put too much thinking though, but seems doable.

 

[Mark44]

Knowing that there is just one real root enables you to write the equation as
(x - r)²(ax² + bx + c) = 0.

Here r is the root that is known. Because the graph of y = (x - r)²(ax² + bx + c) can only touch the x-axis and not cross it (a quartic that crosses the x-axis has to have a second root where it crosses again), the values of (x - r)²(ax² + bx + c) must be nonnegative (if a > 0) or nonpositive (if a < 0), and can be zero only when x = r. That should tell you something about the ax² + bx + c factor.

 

[Gerenuk]

That's certainly true, but it seems I cannot find out a,b,c without knowing the root?!

 

[hamster143]

Here's a new idea.

If your polynomial has form P(x) = (x - r)^2 (x^2 + px + q), then it's true that

P(r) = 0
P&#039;(r) = 0

By expanding these and doing some manipulations, you can demonstrate that r would be the root of quadratic equation

(8a_2 - 3a_3^3)r^2 + (6a_1-2a_2a_3^2) r + (4a_0 a_3 - a_1 a_3^2) = 0

* Solve the equation for r
* Plug the solution(s) back into P to see if they work. If not, exit
* Observe that p = a_3 + 2r and q = a_0/r^2.
* Check that p^2-4q&lt;0.

 

[Ruslan_Sharipov]

Does someone know what condition for the coefficients of the quartic polynomial has to be fullfilled so that it has exactly one real solution (i.e. one real zero)?

The question was asked five years ago. Recently I encountered the same problem in my research and I have found the answer to this question. It is in Appendix A of my paper http://arxiv.org/abs/1507.01861.