- Research Article
- Open access
- Published:

# 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)

## Abstract

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.

## 1. Introduction

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 [1] and subsequently applied to the hedging problems of mathematical finance by Hussain and Shashiashvili [2].

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 [3] by El Karoui et al. (see also Hobson [4]) 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

Theorem 2.1.

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:

Proof.

Using the integration-by-parts formula in the integral below, we have

as .

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.

Corollary 2.2.

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

Remark 2.3.

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:

where

Consider the special case of the latter inequality when and is of the particular form

Corollary 2.4.

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

Proof.

We have

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).

Remark 2.5.

Comparing the result stated in Corollary 2.4 with Theorem 2.1 from K. Shashiashvili and M. Shashiashvili [1], 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

Theorem 3.1.

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.

Proof.

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):

as

Let us transform the integral on the right-hand side of inequality (3.9):

which implies

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

where

Taking , we get

As is arbitrary positive number, we have

On the other hand, letting to zero in inequality (3.19), we write

that is,

Ultimately we obtain the two-sided inequality

which gives

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

and similarly

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

Define for

where

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

if

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

Hence

and consequently

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

Take therein

where .

We have

for

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

for

Using (3.53) let us show that for fixed the sequence converges to the left-derivative .

We have

where . Choose arbitrary . Since the left-derivative is left continuous, we can find such that (for ):

Hence we get

that is,

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

if and

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).

## References

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.00047Hobson 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.

## Author information

### Authors and Affiliations

### Corresponding author

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## 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

Received:

Accepted:

Published:

DOI: https://doi.org/10.1155/2008/343024