The Weighted Square Integral Inequalities for the First Derivative of the Function of a Real Variable
Journal of Inequalities and Applications volume 2008, Article number: 343024 (2008)
We generalize the square integral estimate for the derivative of the convex function by Shashiashvili (2005) to the case of the family of the weight functions, satisfying certain conditions. This kind of generalization is especially valuable in the problems of mathematical finance for construction of the discrete time hedging strategies.
The role of mathematical inequalities within the mathematical branches as well as in its enormous applications should not be underestimated. The appearance of the new mathematical inequality often puts on firm foundation for the heuristic algorithms and procedures used in applied sciences.
The present paper considers new type of weighted square integral inequalities for the first derivative of the convex function, the particular case which has been originally established by K. Shashiashvili and M. Shashiashvili  and subsequently applied to the hedging problems of mathematical finance by Hussain and Shashiashvili .
The convexity property of the value functions of the various problems in finance leads to deep and unexpected results of great practical importance for the traders and practitioners dealing with the real-world financial markets. For example, it is shown in the article  by El Karoui et al. (see also Hobson ) that the value functions of the European as well as American options are convex with respect to the underlying stock price; and the latter property gives us the following remarkable robustness result. Even if the writer of the option uses incorrect mathematical model to describe the dynamics of stock prices, he is able to carry out his liabilities if only the incorrectly chosen volatility dominates the true volatility function.
The present paper is organized as follows. In Section 2 we prove the weighted square integral estimates for the first derivative of a function that is assumed to be twice continuously differentiable. Afterwards in Section 3 we consider more general case of the arbitrary convex functions which are not supposed even one time continuously differentiable. We emphasize the fact that the latter case can be directly applied to problems of mathematical finance, especially to discrete time hedging of the European as well as American call options.
2. The Weighted Square Integral Estimates for the First Derivative of a Twice Continuously Differentiable Function
In this section, we consider the pair of twice continuously differential functions and defined on the closed bounded interval We assume that the function is convex (that is ) and the following requirement is satisfied:
Introduce the family of nonnegative twice continuously differentiable weight functions which satisfy the condition
Let and be two twice continuously differentiable functions defined on the bounded interval , which satisfy the requirement (2.1) and let be arbitrary nonnegative weight function such that condition (2.2) is fulfilled. Then the following inequality is valid:
Using the integration-by-parts formula in the integral below, we have
Let us transform the integral
using the condition .
Inserting the latter expression in equality (2.4), we obtain the estimate
Taking into account requirement (2.1), we get from the latter inequality (2.6)
Now we use twice the integration-by-parts formula and obtain
The latter equality together with the previous estimate (2.7) give us the required inequality (2.3).
Applying Hölder inequality to the right-hand side of estimate (2.3), we get the following.
For the functions and the weight function , satisfying the same conditions as in Theorem 2.1, the following bound is valid
where , and and are conjugate exponents, and
Let us notice that assumption (2.1), is equivalent to the existence of the decomposition of the function as the difference of two twice continuously differentiable convex functions such that . Indeed the inequality is the same as , that is,
The latter means that the functions
are two convex functions such that
This remark suggests to write inequality (2.9) in a different form. Take two arbitrary twice continuously differentiable convex functions and and define
( and , it is obvious that ), then the inequality in Corollary 2.2 will take the following form:
Consider the special case of the latter inequality when and is of the particular form
Let and be two twice continuously differentiable convex functions defined on a closed bounded interval and let the weight function be equal to
Then the following estimate holds
Calculate the integral
Let us introduce the change of variable from the above expression, we obtain
Taking into account the latter expression in estimate (2.9), we come to the desired inequality (2.18).
Comparing the result stated in Corollary 2.4 with Theorem 2.1 from K. Shashiashvili and M. Shashiashvili , we come to the conclusion that the multiplier is twice less than obtained in the latter paper.
3. The Weighted Square Integral Estimates for the Difference of Derivatives of Two Convex Functions
In this section, we consider two arbitrary finite convex functions and on an infinite interval . It is well known that they are continuous and have finite left- and right-hand derivatives and inside the open interval
We will assume that there exists a positive number such that if we have
where is certain positive constant.
Let us assume also that the difference of the functions and is bounded on the infinite interval :
Introduce now the family of nonnegative twice continuously differentiable weight functions defined on the open interval , which satisfy the following conditions:
this integral is understood in the improper sense as the limit
For arbitrary two finite convex functions and defined on satisfying conditions (3.1) and (3.2) and for any nonnegative twice continuously differentiable weight function , which satisfy conditions (3.3) and (3.4), the following energy estimate is valid:
where and denote the left derivatives of the convex functions and respectively.
We will prove the theorem in two stages. On first stage, we verify the validity of the statement for twice continuously differentiable convex functions satisfying conditions (3.1) and (3.2) and on second stage we approximate arbitrary convex functions satisfying the same conditions by smooth ones inside the interval in an appropriate manner and afterwards we pass onto limit in the previously established estimate.
Thus let us assume at first that and are two convex functions defined on the interval which are twice continuously differentiable in the open interval and satisfy conditions (3.1) and (3.2).
Introduce new function as follows:
then is twice continuously differentiable inside the infinite interval and at point zero, it has finite limit
Consider the following integral on a finite interval and use in it the integration by parts formula (here and are arbitrary strictly positive numbers),
Now bound the absolute value of the last integral in (3.8):
Let us transform the integral on the right-hand side of inequality (3.9):
Using the above expression in inequality (3.9), we obtain the estimate
Thus from equality (3.8), we come to the following bound:
On the other hand,
From here we have the chain of equalities
Using bound (3.13) in expression (3.15), we arrive to the estimate
It is well known that any convex function is locally absolutely continuous (see, e.g., [5, Proposition 17 of Chapter 5]), that is,
where denotes the left-derivative of the convex function at point . As the left-hand derivative of the convex function is nondecreasing function, we have
Therefore, from expression (3.17), we find
Taking , we get
As is arbitrary positive number, we have
On the other hand, letting to zero in inequality (3.19), we write
Ultimately we obtain the two-sided inequality
By equality (3.17) and using condition (3.1), we obtain the bound
But we have
Therefore we can write
and similar bound is valid for
Using condition (3.3) and bounds (3.28) and (3.29), we get
Moreover, from conditions (3.1) and (3.3), we find
By the mean value theorem, we have
therefore from condition (3.3), we get
using the limit relations above and (3.25) we find
Now we have to pass onto limit when and in inequality (3.16). Obviously, the left-hand side of the inequality increases and the right-hand side is bounded, when , therefore the left-hand side also converges to finite limit. Passing onto limit in inequality (3.16) using assumption (3.4) and the limit relations (3.30)–(3.36), we come to the required estimate (3.6).
Next we move to the second stage of the proof. Consider two arbitrary convex functions and defined on satisfying conditions (3.1) and (3.2). We have to construct the sequences of twice continuously differentiable (in the open interval ) convex functions and approximating, respectively, the functions and inside the interval in an appropriate manner.
To construct such sequences, we will use the following smoothing function:
where the factor is chosen to satisfy the equality
For arbitrary fixed consider the restriction of functions and on the interval and let Then for
Perform in (3.39) the change of variable , then we find
Since the function is equal to zero outside the interval we can write
From definition (3.39), it is obvious that the functions and are infinitely differentiable, while their convexity follows from the expressions (3.41).
Now we will show the uniform convergence of the sequence to on the interval (similarly, the uniform convergence of to ). For this purpose, we use the uniform continuity of the function on the interval . For fix there exists such that we have
Take Then for and we get
for and .
This shows the uniform convergence of the sequence to (and to ) on the interval .
Next we need to differentiate (3.41). For this purpose, we will use the following inequality ([5, page 114]) concerning convex function and its left-derivative
It is well known that the left derivative of the convex function is nondecreasing and as
we can write
which shows that the family of functions
is uniformly bounded by the constant if only
Using expression (3.41), we can write
Taking limit as tends to zero and using bounded convergence theorem, we obtain the formula
Using (3.53) let us show that for fixed the sequence converges to the left-derivative .
where . Choose arbitrary . Since the left-derivative is left continuous, we can find such that (for ):
Hence we get
and similarly we have
Let us write estimate (3.16) for the function restricted to the interval
For , we have
Multiplying this inequality by and integrating by over from expression (3.53), we obtain
from which it follows that
Similarly for the functions we can write
From the latter bounds, we obtain
Hence the sequence of the functions is uniformly bounded on the interval for Thus we can apply the bounded convergence theorem in the left-hand side of inequality (3.59) tending to infinity, we will have
Finally, it remains to pass onto limit when and in the latter inequality. The left-hand side of inequality (3.65) obviously increases when and and the right-hand side is bounded by the assumption (3.4) and the limit relations (3.30)–(3.36). Therefore passing onto limit and in inequality (3.65), we arrive to the desired estimate (3.6).
Shashiashvili K, Shashiashvili M: Estimation of the derivative of the convex function by means of its uniform approximation. Journal of Inequalities in Pure and Applied Mathematics 2005,6(4, article 113):1–10.
Hussain S, Shashiashvili M: Discrete time hedging of the American option. accepted in Mathematical Finance
El Karoui N, Jeanblanc-Picqué M, Shreve SE: Robustness of the Black and Scholes formula. Mathematical Finance 1998,8(2):93–126. 10.1111/1467-9965.00047
Hobson DG: Volatility misspecification, option pricing and superreplication via coupling. The Annals of Applied Probability 1998,8(1):193–205.
Royden HL: Real Analysis. Prentice-Hall, New Delhi, India; 1997.
About this article
Cite this article
Hussain, S., Pečarić, J. & Shashiashvili, M. The Weighted Square Integral Inequalities for the First Derivative of the Function of a Real Variable. J Inequal Appl 2008, 343024 (2008). https://doi.org/10.1155/2008/343024