This is my third time submitting an article to the University of Computer Science, Romania. This time, I wrote the article on something new. Although the inequalities are somewhat classical-looking, I have tried to explain the logic behind maximization of the product, for nonnegative reals I have attached the full article with this post, for those who are interested in seeing the whole article.
This article is currently at v1.0, so please contact me in case any changes are necessary. 🙂 The first part of the article:
Most inequalities that we come across have a simple type of equality case, ie or But when we think of maximizing the product or its magnitude (both mean the same), the equality case cannot be as simple as because any two equal values of and can change the value of this expression directly to zero. Of course, considering the same thing over nonnegative reals and whole of reals is much different. So these types of inequalities usually have different equality cases which are not so obvious to determine. However, we will demonstrate how most of these inequalities can be easily solved with the help of AM-GM Inequality. After that, we will try to determine some general forms of this maximum, for different fixed parameters.
Here we assume that the reader has a good idea of the different ways of applying the AM-GM inequality, and the Cauchy-Schwarz inequality. These are the most basic and classical inequalities having monstrous applications. Also some basic knowledge about the and methods might come in handy, so that the reader can relate between these stuff easily. Basic knowledge on calculus, derivatives and solving polynomial equations is also required.
2. The problem
We will discuss this method by considering a well-known problem of Tran Quoc Anh(forum name, Nguoivn) which runs as follows.
If then we have
2.1. Determining the Equality Case
Firstly, we have to order so as to remove the modulus sign. Also, note that in these inequalities, it’s important to figure out an equality case somehow. In most of the cases, the equality occurs when one of the variables is set to zero. This is due to the nature of (assuming ) When is the minimum of the three numbers, we see that the expression itself is a decreasing function in terms of if we keep fixed. So this expression will be able to reach its maximum for a given value of if and only if is as small as possible, which is zero itself. Plugging in and leads us to the cubic equation
A factorisation of this cubic expression gives us
Which leads us to the positive double root
2.2. Significance of the Double Root
The inequality that we get after putting under the assumption is
Note that in this inequality, when the equality occurs for some value of the curve must be just touching the axis at that point, so as to satisfy the inequality. Another consequence of this concept is that the other root will be on the negative side of the axis. Now, we can differentiate this equation to get the double root easily.
Now, we can check that which one of these is our double root by just plugging in these values into the previous equation.
2.3. The Equality Case
If we see that satisfies the conditions of equality, then the actual equality case turns out to be
The writing as conjugate surds is for aesthetic satisfaction.
2.4. Determining the Coefficients for AM-GM
Once we have determined the equality case, the rest is somewhat easy. Assuming that helps us writing
And So that it is sufficient to check that
For this, we need to apply AM-GM in such a way that the three terms we choose on the right hand side are balanced. Using the equality case, we see that
And therefore the terms have been determined.
Since we have determined the equality case, therefore we need not worry about the right hand side. This method works mostly without fail, and is easy to implement. So, the method has worked out for We will discuss some more applications of this method. However, note that higher the degree of the inequality, the more unusable this method becomes.
3. Determination of Best Constants
In cases, these problems come with some determination of the “best constant” phrases. What it actually means is, say, we were talking of the inequality
Where is some positive real number, and In such a problem, they want us to figure out the largest value that can attain, because the inequality implies If this is satisfied for all then we might try to minimize the right side first by minimizing ie putting and where Then this rewrites into
This is a single-variable inequality, so we may just want to differentiate this to find the minimum of Simple calculus gives us the value for This way can also help us determine the equality case as we saw in the previous section. For some applications, we can get our hands on some problems. Note that this is, in cases, not complete enough to prove the original problem. There may be some other paramatrization in the problem, for example, an extra term may be there, thus affecting the nature of the term, which was always decreasing in But, this can always fetch us the best constants, and the equality cases in a packed fashion, so that the application of AM-GM becomes easier.
Caution: In an exam, we never mention the differentiations etc, just scribble the AM-GM step. All of this should be rough work.
For checking out the full article, see here.