MHB Checking if an interval value satisfies an expression

Siron
Messages
148
Reaction score
0
Hello!

Suppose a quartic polynomial with real roots where all its roots lie in the interval
$$x \in \left[\frac{5}{8}a-\frac{3}{8}\sqrt{15a^2-16b}, \frac{5}{8}a+\frac{3}{8}\sqrt{15a^2-16b}\right]$$
where $a \in \mathbb{R}$ and $b<(15/16)a^2$. Is there a way to check that at least one of those roots satisfies the inequality:
$$\frac{5ax-4x^2-b}{15ax-20x^2-3b}<0.$$

I solved the above inequality with wolfram alpha which displays the following solutions (after summarizing cases and taking $b<(15/16)a^2$ into account):
$$x \in \left[\frac{5a}{8}-\frac{1}{8}\sqrt{25a^2-16b}, \frac{3a}{8}-\frac{1}{8}\sqrt{\frac{3}{5}}\sqrt{15a^2-16b}\right]$$
or
$$x \in \left[\frac{3a}{8}+\frac{1}{8}\sqrt{\frac{3}{5}}\sqrt{15a^2-16b}, \frac{5a}{8}+\frac{1}{8}\sqrt{25a^2-16b} \right].$$

So ... in fact I think I only need to check wether the interval for my roots lies in one of the above intervals. However, I think this will result in too strong restrains on $b$. Is there a better alternative to solve the question?

Many thanks!
Kind regards,
Siron
 
Physics news on Phys.org
I now see that my question is not that clear so I will give more details. The quartic polynomial which I refer to in my previous post is given by:
$$f(x) = 16x^4-40ax^3+(15a^2+24b)x^2-18abx+3b^2$$
where $a,b \in \mathbb{R}$. If the discriminant is positive and $b<(15/16)a^2$ then the quartic has four real roots (it's not difficult to derive that). So I'm wondering if its possible to prove that at least one of these real roots satisfies the inequality:
$$\frac{5ax-4x^2-b}{15ax-20x^2-3b}<0.$$
or equivalently lies in one of the two intervals:
$$x \in \left[\frac{5a}{8}-\frac{1}{8}\sqrt{25a^2-16b}, \frac{3a}{8}-\frac{1}{8}\sqrt{\frac{3}{5}}\sqrt{15a^2-16b}\right] := [l_1,r_1] $$
or
$$x \in \left[\frac{3a}{8}+\frac{1}{8}\sqrt{\frac{3}{5}}\sqrt{15a^2-16b}, \frac{5a}{8}+\frac{1}{8}\sqrt{25a^2-16b} \right] := [l_2,r_2].$$

I first thought about the intermediate value theorem and was thinking if I maybe could force $f(l_1)<0$ and $f(r_1)>0$ (or $f(l_2)<0$ and $f(r_2)>0$). However this gives very complicated expressions. Next, I tried to use the Samuelson-Laguerre inequality. Basically, this inequality implies an interval for the roots of the quartic. Applying the inequality, the four real roots of the quartic have to lie in the interval:
$$x \in \left[\frac{5}{8}a-\frac{3}{8}\sqrt{15a^2-16b}, \frac{5}{8}a+\frac{3}{8}\sqrt{15a^2-16b}\right]$$
and this was in fact my question/idea of the first post. Maybe I can force conditions such that the above interval lies within $[l_1,r_1]$ or $[l_2,r_2]$ but this gives very strong constraints on $b$.

Therefore, I'm wondering if there is another more efficient idea/method ... ?

Thanks!
 
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top