-
Drawdowns of diffusions
Authors:
Paavo Salminen,
Pierre Vallois
Abstract:
In this paper we give excursion theoretical proofs of Lehoczky's formula (in an extended form allowing a lower bound for the underlying diffusion) for the joint distribution of the first drawdown time and the maximum before this time, and of Malyutin's formula for the joint distribution of the first hitting time and the maximum drawdown before this time. It is remarkable -- but there is a clean ex…
▽ More
In this paper we give excursion theoretical proofs of Lehoczky's formula (in an extended form allowing a lower bound for the underlying diffusion) for the joint distribution of the first drawdown time and the maximum before this time, and of Malyutin's formula for the joint distribution of the first hitting time and the maximum drawdown before this time. It is remarkable -- but there is a clean explanation -- that the excursion theoretical approach which we developed first for Lehoczky's formula provides also a proof for Malyutin's formula. Moreover, we discuss some generalizations and analyze the pure jump process describing the maximum before the first drawdown time when the size of the drawdown is varying
△ Less
Submitted 27 November, 2024;
originally announced November 2024.
-
Occupation times on the legs of a diffusion spider
Authors:
Paavo Salminen,
David Stenlund
Abstract:
We study the joint moments of occupation times on the legs of a diffusion spider. Specifically, we give a recursive formula for the Laplace transform of the joint moments, which extends earlier results for a one-dimensional diffusion. For a Bessel spider, of which the Brownian spider is a special case, our approach yields an explicit formula for the joint moments of the occupation times.
We study the joint moments of occupation times on the legs of a diffusion spider. Specifically, we give a recursive formula for the Laplace transform of the joint moments, which extends earlier results for a one-dimensional diffusion. For a Bessel spider, of which the Brownian spider is a special case, our approach yields an explicit formula for the joint moments of the occupation times.
△ Less
Submitted 15 November, 2024;
originally announced November 2024.
-
Probabilistic aspects of Jacobi theta functions
Authors:
Paavo Salminen,
Christophe Vignat
Abstract:
In this note we deduce well known modular identities for Jacobi theta functions using the spectral representations associated with the real valued Brownian motion taking values on $[-1,+1]$. We consider two cases: (i) reflection at $-1$ and $+1$, (ii) killing at $-1$ and $+1$. It is seen that these two representations give, in a sense, most compact forms of the modular theta-function identities. W…
▽ More
In this note we deduce well known modular identities for Jacobi theta functions using the spectral representations associated with the real valued Brownian motion taking values on $[-1,+1]$. We consider two cases: (i) reflection at $-1$ and $+1$, (ii) killing at $-1$ and $+1$. It is seen that these two representations give, in a sense, most compact forms of the modular theta-function identities. We study also discrete Gaussian distributions generated by theta functions, and derive, in particular, addition formulas for discrete Gaussian variables.
△ Less
Submitted 10 March, 2023;
originally announced March 2023.
-
Diffusion spiders: Green kernel, excessive functions and optimal stopping
Authors:
Jukka Lempa,
Ernesto Mordecki,
Paavo Salminen
Abstract:
A diffusion spider is a strong Markov process with continuous paths taking values on a graph with one vertex and a finite number of edges (of infinite length). An example is Walsh's Brownian spider where the process on each edge behaves as Brownian motion. We calculate the density of the resolvent kernel in terms of the characteristics of the underlying diffusion. Excessive functions are studied v…
▽ More
A diffusion spider is a strong Markov process with continuous paths taking values on a graph with one vertex and a finite number of edges (of infinite length). An example is Walsh's Brownian spider where the process on each edge behaves as Brownian motion. We calculate the density of the resolvent kernel in terms of the characteristics of the underlying diffusion. Excessive functions are studied via the Martin boundary theory. The main result is an explicit expression for the representing measure of a given excessive function. These results are used to solve optimal stopping problems for diffusion spiders.
△ Less
Submitted 23 September, 2022;
originally announced September 2022.
-
On a first hit distribution of the running maximum of Brownian motion
Authors:
Julien Randon-Furling,
Paavo Salminen,
Pierre Vallois
Abstract:
Let $(S_t)_{t\geq 0}$ be the running maximum of a standard Brownian motion $(B_t)_{t\geq 0}$ and $T_m:=\inf\{t; \, mS_t<t\},\, m>0$. In this note we calculate the joint distribution of $T_m$ and $B_{T_m}$. The motivation for our work comes from a mathematical model for animal foraging. We also present results for Brownian motion with drift.
Let $(S_t)_{t\geq 0}$ be the running maximum of a standard Brownian motion $(B_t)_{t\geq 0}$ and $T_m:=\inf\{t; \, mS_t<t\},\, m>0$. In this note we calculate the joint distribution of $T_m$ and $B_{T_m}$. The motivation for our work comes from a mathematical model for animal foraging. We also present results for Brownian motion with drift.
△ Less
Submitted 15 March, 2021;
originally announced March 2021.
-
On occupation times of one-dimensional diffusions
Authors:
Paavo Salminen,
David Stenlund
Abstract:
In this paper we study the moment generating function and the moments of occupation time functionals of one-dimensional diffusions. Assuming, specifically, that the process lives on $\mathbb{R}$ and starts at~0, we apply Kac's moment formula and the strong Markov property to derive an expression for the moment generating function in terms of the Green kernel of the underlying diffusion. Moreover,…
▽ More
In this paper we study the moment generating function and the moments of occupation time functionals of one-dimensional diffusions. Assuming, specifically, that the process lives on $\mathbb{R}$ and starts at~0, we apply Kac's moment formula and the strong Markov property to derive an expression for the moment generating function in terms of the Green kernel of the underlying diffusion. Moreover, the approach allows us to derive a recursive equation for the Laplace transforms of the moments of the occupation time on $\mathbb{R}_+$. If the diffusion has a scaling property, the recursive equation simplifies to an equation for the moments of the occupation time up to time 1. As examples of diffusions with scaling property we study in detail skew two-sided Bessel processes and, as a special case, skew Brownian motion. It is seen that for these processes our approach leads to simple explicit formulas. The recursive equation for a sticky Brownian motion is also discussed.
△ Less
Submitted 25 November, 2019;
originally announced November 2019.
-
Optimal stopping of oscillating Brownian motion
Authors:
Ernesto Mordecki,
Paavo Salminen
Abstract:
We solve optimal stopping problems for an oscillating Brownian motion, i.e. a diffusion with positive piecewise constant volatility changing at the point $x=0$. Let $σ_1$ and $σ_2$ denote the volatilities on the negative and positive half-lines, respectively. Our main result is that continuation region of the optimal stopping problem with reward $((1+x)^+)^2$ is disconnected, if and only if…
▽ More
We solve optimal stopping problems for an oscillating Brownian motion, i.e. a diffusion with positive piecewise constant volatility changing at the point $x=0$. Let $σ_1$ and $σ_2$ denote the volatilities on the negative and positive half-lines, respectively. Our main result is that continuation region of the optimal stopping problem with reward $((1+x)^+)^2$ is disconnected, if and only if $σ_1^2<σ_2^2<2σ_1^2$. Based on the fact that the skew Brownian motion in natural scale is an oscillating Brownian motion, the obtained results are translated into corresponding results for the skew Brownian motion.
△ Less
Submitted 4 March, 2019;
originally announced March 2019.
-
On the local time process of a skew Brownian motion
Authors:
Andrei Borodin,
Paavo Salminen
Abstract:
We derive a Ray-Knight type theorem for the local time process (in the space variable) of a skew Brownian motion up to an independent exponential time. It is known that the local time seen as a density of the occupation measure and taken with respect to the Lebesgue measure has a discontinuity at the skew point (in our case at zero), but the local time taken with respect to the speed measure is co…
▽ More
We derive a Ray-Knight type theorem for the local time process (in the space variable) of a skew Brownian motion up to an independent exponential time. It is known that the local time seen as a density of the occupation measure and taken with respect to the Lebesgue measure has a discontinuity at the skew point (in our case at zero), but the local time taken with respect to the speed measure is continuous. In this paper we discuss this discrepancy by characterizing the dynamics of the local time process in both these cases. The Ray-Knight type theorem is applied to study integral functionals of the local time process of the skew Brownian motion. In particular, we determine the distribution of the maximum of the local time process up to a fixed time, which can be seen as the main new result of the paper.
△ Less
Submitted 17 November, 2018;
originally announced November 2018.
-
Optimal stopping of Brownian motion with broken drift
Authors:
Ernesto Mordecki,
Paavo Salminen
Abstract:
We solve an optimal stopping problem where the underlying diffusion is Brownian motion on $\bf R$ with a positive drift changing at zero. It is assumed that the drift $μ_1$ on the negative side is smaller than the drift $μ_2$ on the positive side. The main observation is that if $μ_2-μ_1>1/2$ then there exists values of the discounting parameter for which it is not optimal to stop in the vicinity…
▽ More
We solve an optimal stopping problem where the underlying diffusion is Brownian motion on $\bf R$ with a positive drift changing at zero. It is assumed that the drift $μ_1$ on the negative side is smaller than the drift $μ_2$ on the positive side. The main observation is that if $μ_2-μ_1>1/2$ then there exists values of the discounting parameter for which it is not optimal to stop in the vicinity of zero where the drift changes. However, when the discounting gets bigger the stopping region becomes connected and contains zero. This is in contrast with results concerning optimal stopping of skew Brownian motion where the skew point is for all values of the discounting parameter in the continuation region.
△ Less
Submitted 14 November, 2018;
originally announced November 2018.
-
On moments of integral exponential functionals of additive processes
Authors:
Paavo Salminen,
Lioudmila Vostrikova
Abstract:
For real-valued additive process $(X\_t)\_{t\geq 0}$ a recursive equation is derived for the entire positive moments of functionals $$I\_{s,t}= \int \_s^t\exp(-X\_u)du, \quad 0\leq s<t\leq\infty, $$ in case the Laplace exponent of $X\_t$ exists for positive values of the parameter. From the equation emergesan easy-to-apply sufficient condition for the finiteness of the moments. As an applicati…
▽ More
For real-valued additive process $(X\_t)\_{t\geq 0}$ a recursive equation is derived for the entire positive moments of functionals $$I\_{s,t}= \int \_s^t\exp(-X\_u)du, \quad 0\leq s<t\leq\infty, $$ in case the Laplace exponent of $X\_t$ exists for positive values of the parameter. From the equation emergesan easy-to-apply sufficient condition for the finiteness of the moments. As an application we study first hitprocesses of diffusions.
△ Less
Submitted 16 October, 2018; v1 submitted 13 March, 2018;
originally announced March 2018.
-
On first exit times and their means for Brownian bridges
Authors:
Christel Geiss,
Antti Luoto,
Paavo Salminen
Abstract:
For a Brownian bridge from $0$ to $y$ we prove that the mean of the first exit time from interval $(-h,h), \,\, h>0,$ behaves as $O(h^2)$ when $h \downarrow 0.$ Similar behavior is seen to hold also for the 3-dimensional Bessel bridge. For Brownian bridge and 3-dimensional Bessel bridge this mean of the first exit time has a puzzling representation in terms of the Kolmogorov distribution. The resu…
▽ More
For a Brownian bridge from $0$ to $y$ we prove that the mean of the first exit time from interval $(-h,h), \,\, h>0,$ behaves as $O(h^2)$ when $h \downarrow 0.$ Similar behavior is seen to hold also for the 3-dimensional Bessel bridge. For Brownian bridge and 3-dimensional Bessel bridge this mean of the first exit time has a puzzling representation in terms of the Kolmogorov distribution. The result regarding the Brownian bridge is applied to prove in detail an estimate needed by Walsh to determine the convergence of the binomial tree scheme for European options.
△ Less
Submitted 16 November, 2017;
originally announced November 2017.
-
On optimal stopping of multidimensional diffusions
Authors:
Sören Christensen,
Fabián Crocce,
Ernesto Mordecki,
Paavo Salminen
Abstract:
This paper develops an approach for solving perpetual discounted optimal stopping problems for multidimensional diffusions, with special emphasis on the $d$-dimensional Wiener process. We first obtain some verification theorems for diffusions, based on the Green kernel representation of the value function associated with the problem. Specializing to the multidimensional Wiener process, we apply th…
▽ More
This paper develops an approach for solving perpetual discounted optimal stopping problems for multidimensional diffusions, with special emphasis on the $d$-dimensional Wiener process. We first obtain some verification theorems for diffusions, based on the Green kernel representation of the value function associated with the problem. Specializing to the multidimensional Wiener process, we apply the Martin boundary theory to obtain a set of tractable integral equations involving only harmonic functions that characterize the stopping region of the problem. These equations allow to formulate a discretization scheme to obtain an approximate solution. The approach is illustrated through the optimal stopping problem of a $d$-dimensional Wiener process with a positive definite quadratic form reward function.
△ Less
Submitted 3 November, 2016;
originally announced November 2016.
-
On exponential functionals of processes with independent increments
Authors:
P. Salminen,
L. Vostrikova
Abstract:
In this paper we study the exponential functionals of the processes $X$ with independent increments , namely $$I_t= \int _0^t\exp(-X_s)ds, _,\,\, t\geq 0,$$ and also $$I_{\infty}= \int _0^{\infty}\exp(-X_s)ds.$$ When $X$ is a semi-martingale with absolutely continuous characteristics, we derive recurrent integral equations for Mellin transform ${\bf E}( I_t^α)$, $α\in\mathbb{R}$, of the integral f…
▽ More
In this paper we study the exponential functionals of the processes $X$ with independent increments , namely $$I_t= \int _0^t\exp(-X_s)ds, _,\,\, t\geq 0,$$ and also $$I_{\infty}= \int _0^{\infty}\exp(-X_s)ds.$$ When $X$ is a semi-martingale with absolutely continuous characteristics, we derive recurrent integral equations for Mellin transform ${\bf E}( I_t^α)$, $α\in\mathbb{R}$, of the integral functional $I_t$. Then we apply these recurrent formulas to calculate the moments. We present also the corresponding results for the exponential functionals of Levy processes, which hold under less restrictive conditions then in the paper of Bertoin, Yor (2005). In particular, we obtain an explicit formula for the moments of $I_t$ and $I_{\infty}$, and we precise the exact number of finite moments of $I_{\infty}$.
△ Less
Submitted 8 March, 2018; v1 submitted 27 October, 2016;
originally announced October 2016.
-
Timing in the Presence of Directional Predictability: Optimal Stopping of Skew Brownian Motion
Authors:
Luis H. R. Alvarez E.,
Paavo Salminen
Abstract:
We investigate a class of optimal stopping problems arising in, for example, studies considering the timing of an irreversible investment when the underlying follows a skew Brownian motion. Our results indicate that the local directional predictability modeled by the presence of a skew point for the underlying has a nontrivial and somewhat surprising impact on the timing incentives of the decision…
▽ More
We investigate a class of optimal stopping problems arising in, for example, studies considering the timing of an irreversible investment when the underlying follows a skew Brownian motion. Our results indicate that the local directional predictability modeled by the presence of a skew point for the underlying has a nontrivial and somewhat surprising impact on the timing incentives of the decision maker. We prove that waiting is always optimal at the skew point for a large class of exercise payoffs. An interesting consequence of this finding, which is in sharp contrast with studies relying on ordinary Brownian motion, is that the exercise region for the problem can become unconnected even when the payoff is linear. We also establish that higher skewness increases the incentives to wait and postpones the optimal timing of an investment opportunity. Our general results are explicitly illustrated for a piecewise linear payoff.
△ Less
Submitted 16 August, 2016;
originally announced August 2016.
-
Impulse control and expected suprema
Authors:
Sören Christensen,
Paavo Salminen
Abstract:
We consider a class of impulse control problems for general underlying strong Markov processes on the real line, which allows for an explicit solution. The optimal impulse times are shown to be of threshold type and the optimal threshold is characterized as a solution of a (typically nonlinear) equation. The main ingredient we use is a representation result for excessive functions in terms of expe…
▽ More
We consider a class of impulse control problems for general underlying strong Markov processes on the real line, which allows for an explicit solution. The optimal impulse times are shown to be of threshold type and the optimal threshold is characterized as a solution of a (typically nonlinear) equation. The main ingredient we use is a representation result for excessive functions in terms of expected suprema.
△ Less
Submitted 4 November, 2015; v1 submitted 4 March, 2015;
originally announced March 2015.
-
Irreversible Investment under Lévy Uncertainty: an Equation for the Optimal Boundary
Authors:
Giorgio Ferrari,
Paavo Salminen
Abstract:
We derive a new equation for the optimal investment boundary of a general irreversible investment problem under exponential Lévy uncertainty. The problem is set as an infinite time-horizon, two-dimensional degenerate singular stochastic control problem. In line with the results recently obtained in a diffusive setting, we show that the optimal boundary is intimately linked to the unique optional s…
▽ More
We derive a new equation for the optimal investment boundary of a general irreversible investment problem under exponential Lévy uncertainty. The problem is set as an infinite time-horizon, two-dimensional degenerate singular stochastic control problem. In line with the results recently obtained in a diffusive setting, we show that the optimal boundary is intimately linked to the unique optional solution of an appropriate Bank-El Karoui representation problem. Such a relation and the Wiener Hopf factorization allow us to derive an integral equation for the optimal investment boundary. In case the underlying Lévy process hits any real point with positive probability we show that the integral equation for the investment boundary is uniquely satisfied by the unique solution of another equation which is easier to handle. As a remarkable by-product we prove the continuity of the optimal investment boundary. The paper is concluded with explicit results for profit functions of (i) Cobb-Douglas type and (ii) CES type. In the first case the function is separable and in the second case non-separable.
△ Less
Submitted 10 November, 2014;
originally announced November 2014.
-
Differentiablity of excessive functions of one-dimensional diffusions and the principle of smooth fit
Authors:
Paavo Salminen,
Bao Quoc Ta
Abstract:
The principle of smooth fit is probably the most used tool to find solutions to optimal stopping problems of one-dimensional diffusions. It is important, e.g., in financial mathematical applications to understand in which kind of models and problems smooth fit can fail. In this paper we connect - in case of one-dimensional diffusions - the validity of smooth fit and the differentiability of excess…
▽ More
The principle of smooth fit is probably the most used tool to find solutions to optimal stopping problems of one-dimensional diffusions. It is important, e.g., in financial mathematical applications to understand in which kind of models and problems smooth fit can fail. In this paper we connect - in case of one-dimensional diffusions - the validity of smooth fit and the differentiability of excessive functions. The basic tool to derive the results is the representation theory of excessive functions; in particular, the Riesz and Martin representations. It is seen that the differentiability may not hold in case the speed measure of the diffusion or the representing measure of the excessive function has atoms.
As an example, we study optimal stopping of sticky Brownian motion. It is known that the validity of the smooth fit in this case depends on the value of the discounting parameter (when the other parameters are fixed). We decompose the size of the jump in the derivative of the value function in two factors. The first one is due to the atom of the representing measure and the second one due to the atom of the speed measure.
△ Less
Submitted 23 June, 2014; v1 submitted 7 October, 2013;
originally announced October 2013.
-
Riesz representation and optimal stopping with two case studies
Authors:
Sören Christensen,
Paavo Salminen
Abstract:
In this paper we demonstrate that the Riesz representation of excessive functions is a useful and enlightening tool to study optimal stopping problems. After a short general discussion of the Riesz representation we concretize, firstly, on a d-dimensional and, secondly, a space-time one-dimensional geometric Brownian motion. After this, two classical optimal stopping problems are discussed: 1) the…
▽ More
In this paper we demonstrate that the Riesz representation of excessive functions is a useful and enlightening tool to study optimal stopping problems. After a short general discussion of the Riesz representation we concretize, firstly, on a d-dimensional and, secondly, a space-time one-dimensional geometric Brownian motion. After this, two classical optimal stopping problems are discussed: 1) the optimal investment problem and 2) the valuation of the American put option. It is seen in both of these problems that the boundary of the stopping region can be characterized as a unique solution of an integral equation arising immediately from the Riesz representation of the value function. In Problem 2 the derived equation coincides with the standard well-known equation found in the literature.
△ Less
Submitted 20 October, 2015; v1 submitted 10 September, 2013;
originally announced September 2013.
-
Optimal stopping of strong Markov processes
Authors:
Sören Christensen,
Paavo Salminen,
Bao Quoc Ta
Abstract:
We characterize the value function and the optimal stopping time for a large class of optimal stopping problems where the underlying process to be stopped is a fairly general Markov process. The main result is inspired by recent findings for Lévy processes obtained essentially via the Wiener-Hopf factorization. The main ingredient in our approach is the representation of the $β$-excessive function…
▽ More
We characterize the value function and the optimal stopping time for a large class of optimal stopping problems where the underlying process to be stopped is a fairly general Markov process. The main result is inspired by recent findings for Lévy processes obtained essentially via the Wiener-Hopf factorization. The main ingredient in our approach is the representation of the $β$-excessive functions as expected suprema. A variety of examples is given.
△ Less
Submitted 2 April, 2012; v1 submitted 21 March, 2012;
originally announced March 2012.
-
On hitting times of affine boundaries by reflecting Brownian motion and Bessel processes
Authors:
Paavo Salminen,
Marc Yor
Abstract:
Firstly, we compute the distribution function for the hitting time of a linear time-dependent boundary $t\mapsto a+bt,\ a\geq 0,\,b\in \R,$ by a reflecting Brownian motion. The main tool hereby is Doob's formula which gives the probability that Brownian motion started inside a wedge does not hit this wedge. Other key ingredients are the time inversion property of Brownian motion and the time rever…
▽ More
Firstly, we compute the distribution function for the hitting time of a linear time-dependent boundary $t\mapsto a+bt,\ a\geq 0,\,b\in \R,$ by a reflecting Brownian motion. The main tool hereby is Doob's formula which gives the probability that Brownian motion started inside a wedge does not hit this wedge. Other key ingredients are the time inversion property of Brownian motion and the time reversal property of diffusion bridges. Secondly, this methodology can also be applied for the three dimensional Bessel process. Thirdly, we consider Bessel bridges from 0 to 0 with dimension parameter $δ>0$ and show that the probability that such a Bessel bridge crosses an affine boundary is equal to the probability that this Bessel bridge stays below some fixed value.
△ Less
Submitted 9 December, 2010;
originally announced December 2010.
-
On the excursions of reflected local time processes and stochastic fluid queues
Authors:
Takis Konstantopoulos,
Andreas E. Kyprianou,
Paavo Salminen
Abstract:
This paper extends previous work by the authors. We consider the local time process of a strong Markov process, add negative drift, and reflect it à la Skorokhod. The resulting process is used to model a fluid queue. We derive an expression for the joint law of the duration of an excursion, the maximum value of the process on it, and the time distance between successive excursions. We work with a…
▽ More
This paper extends previous work by the authors. We consider the local time process of a strong Markov process, add negative drift, and reflect it à la Skorokhod. The resulting process is used to model a fluid queue. We derive an expression for the joint law of the duration of an excursion, the maximum value of the process on it, and the time distance between successive excursions. We work with a properly constructed stationary version of the process. Examples are also given in the paper.
△ Less
Submitted 10 June, 2010;
originally announced June 2010.
-
Optimal stopping, Appell polynomials and Wiener-Hopf factorization representations of excessive functions of Lévy processes
Authors:
Paavo Salminen
Abstract:
In this paper we study the optimal stopping problem for Lévy processes studied by Novikov and Shiryayev, Stochastics, 2007 In particular, we are interested in finding the representing measure of the value function. It is seen that that this can be expressed in terms of the Appell polynomials. An important tool in our approach and computations is the Wiener-Hopf factorization.
In this paper we study the optimal stopping problem for Lévy processes studied by Novikov and Shiryayev, Stochastics, 2007 In particular, we are interested in finding the representing measure of the value function. It is seen that that this can be expressed in terms of the Appell polynomials. An important tool in our approach and computations is the Wiener-Hopf factorization.
△ Less
Submitted 19 February, 2010;
originally announced February 2010.
-
On subexponentiality of the Lévy measure of the diffusion inverse local time; with applications to penalizations
Authors:
Paavo Salminen,
Pierre Vallois
Abstract:
For a recurrent linear diffusion on $\R_+$ we study the asymptotics of the distribution of its local time at 0 as the time parameter tends to infinity. Under the assumption that the Lévy measure of the inverse local time is subexponential this distribution behaves asymtotically as a multiple of the Lévy measure. Using spectral representations we find the exact value of the multiple. For this we…
▽ More
For a recurrent linear diffusion on $\R_+$ we study the asymptotics of the distribution of its local time at 0 as the time parameter tends to infinity. Under the assumption that the Lévy measure of the inverse local time is subexponential this distribution behaves asymtotically as a multiple of the Lévy measure. Using spectral representations we find the exact value of the multiple. For this we also need a result on the asymptotic behavior of the convolution of a subexponential distribution and an arbitrary distribution on $\R_+.$ The exact knowledge of the asymptotic behavior of the distribution of the local time allows us to analyze the process derived via a penalization procedure with the local time. This result generalizes the penalizations obtained in Roynette, Vallois and Yor \cite{rvyV} for Bessel processes.
△ Less
Submitted 28 May, 2008;
originally announced May 2008.
-
On fractional Ornstein-Uhlenbeck processes
Authors:
Terhi Kaarakka,
Paavo Salminen
Abstract:
In this paper we study Doob's transform of fractional Brownian motion (FBM). It is well known that Doob's transform of standard Brownian motion is identical in law with the Ornstein-Uhlenbeck diffusion defined as the solution of the (stochastic) Langevin equation where the driving process is a Brownian motion. It is also known that Doob's transform of FBM and the process obtained from the Langev…
▽ More
In this paper we study Doob's transform of fractional Brownian motion (FBM). It is well known that Doob's transform of standard Brownian motion is identical in law with the Ornstein-Uhlenbeck diffusion defined as the solution of the (stochastic) Langevin equation where the driving process is a Brownian motion. It is also known that Doob's transform of FBM and the process obtained from the Langevin equation with FBM as the driving process are different. However, also the first one of these can be described as a solution of a Langevin equation but now with some other driving process than FBM. We are mainly interested in the properties of this new driving process denoted Y^{(1)}. We also study the solution of the Langevin equation with Y^{(1)} as the driving process. Moreover, we show that the covariance of Y^{(1)} grows linearly; hence, in this respect Y^{(1)} is more like a standard Brownian motion than a FBM. In fact, it is proved that a properly scaled version of Y^{(1)} converges weakly to Brownian motion.
△ Less
Submitted 26 October, 2007;
originally announced October 2007.
-
Analysis of stochastic fluid queues driven by local time processes
Authors:
Takis Konstantopoulos,
Andreas Kyprianou,
Marina Sirvio,
Paavo Salminen
Abstract:
We consider a stochastic fluid queue served by a constant rate server and driven by a process which is the local time of a certain Markov process. Such a stochastic system can be used as a model in a priority service system, especially when the time scales involved are fast. The input (local time) in our model is always singular with respect to the Lebesgue measure which in many applications is…
▽ More
We consider a stochastic fluid queue served by a constant rate server and driven by a process which is the local time of a certain Markov process. Such a stochastic system can be used as a model in a priority service system, especially when the time scales involved are fast. The input (local time) in our model is always singular with respect to the Lebesgue measure which in many applications is ``close'' to reality. We first discuss how to rigorously construct the (necessarily) unique stationary version of the system under some natural stability conditions. We then consider the distribution of performance steady-state characteristics, namely, the buffer content, the idle period and the busy period. These derivations are much based on the fact that the inverse of the local time of a Markov process is a Lévy process (a subordinator) hence making the theory of Lévy processes applicable. Another important ingredient in our approach is the Palm calculus coming from the point process point of view.
△ Less
Submitted 10 September, 2007;
originally announced September 2007.
-
On the excursion theory for linear diffusions
Authors:
Paavo Salminen,
Pierre Vallois,
Marc Yor
Abstract:
We present a number of important identities related to the excursion theory of linear diffusions. In particular, excursions straddling an independent exponential time are studied in detail. Letting the parameter of the exponential time tend to zero it is seen that these results connect to the corresponding results for excursions of stationary diffusions (in stationary state). We characterize als…
▽ More
We present a number of important identities related to the excursion theory of linear diffusions. In particular, excursions straddling an independent exponential time are studied in detail. Letting the parameter of the exponential time tend to zero it is seen that these results connect to the corresponding results for excursions of stationary diffusions (in stationary state). We characterize also the laws of the diffusion prior and posterior to the last zero before the exponential time. It is proved using Krein's representations that, e.g., the law of the length of the excursion straddling an exponential time is infinitely divisible. As an illustration of the results we discuss Ornstein-Uhlenbeck processes.
△ Less
Submitted 22 December, 2006;
originally announced December 2006.
-
Optimal stopping of Hunt and Lévy processes
Authors:
Ernesto Mordecki,
Paavo Salminen
Abstract:
The optimal stopping problem for a Hunt processes on $\R$ is considered via the representation theory of excessive functions. In particular, we focus on infinite horizon (or perpetual) problems with one-sided structure, that is, there exists a point $x^*$ such that the stopping region is of the form $[x^*,+\infty)$. Corresponding results for two-sided problems are also indicated. The main result…
▽ More
The optimal stopping problem for a Hunt processes on $\R$ is considered via the representation theory of excessive functions. In particular, we focus on infinite horizon (or perpetual) problems with one-sided structure, that is, there exists a point $x^*$ such that the stopping region is of the form $[x^*,+\infty)$. Corresponding results for two-sided problems are also indicated. The main result is a spectral representation of the value function in terms of the Green kernel of the process. Specializing in Lévy processes, we obtain, by applying the Wiener-Hopf factorization, a general representation of the value function in terms of the maximum of the Lévy process. To illustrate the results, an explicit expression for the Green kernel of Brownian motion with exponential jumps is computed and some optimal stopping problems for Poisson process with positive exponential jumps and negative drift are solved.
△ Less
Submitted 2 May, 2006;
originally announced May 2006.
-
Perpetual integral functionals of diffusions and their numerical computations
Authors:
P. Salminen,
O. Wallin
Abstract:
In this paper we study perpetual integral functionals of diffusions. Our interest is focused on cases where such functionals can be expressed as first hitting times for some other diffusions. In particular, we generalize the result which connects one-sided functionals of Brownian motion with drift with first hitting times of reflecting diffusions.
Interpretating perpetual integral functionals…
▽ More
In this paper we study perpetual integral functionals of diffusions. Our interest is focused on cases where such functionals can be expressed as first hitting times for some other diffusions. In particular, we generalize the result which connects one-sided functionals of Brownian motion with drift with first hitting times of reflecting diffusions.
Interpretating perpetual integral functionals as hitting times allows us to compute numerically their distributions by applying numerical algorithms for hitting times. Hereby, we discuss two approaches: the numerical inversion of the Laplace transform of the first hitting time and the numerical solution of the PDE associated with the distribution function of the first hitting time.
For numerical inversion of Laplace tranforms we have implemented the Euler algorithm developed by Abate and Whitt. However, perpetuities lead often to diffusions for which the explicit forms of the Laplace transforms of first hitting times are not available. In such cases, and also otherwise, algorithms for numerical solutions of PDE's can be evoked. In particular, we analyze the Kolmogorov PDE of some diffusions appearing in our work via the Crank-Nicolson scheme.
△ Less
Submitted 31 January, 2006;
originally announced January 2006.
-
On Maximum Increase and Decrease of Brownian Motion
Authors:
Paavo Salminen,
Pierre Vallois
Abstract:
The joint distribution of maximum increase and decrease for Brownian motion up to an independent exponential time is computed. This is achieved by decomposing the Brownian path at the hitting times of the infimum and the supremum before the exponential time. It is seen that an important element in our formula is the distribution of the maximum decrease for the three dimensional Bessel process wi…
▽ More
The joint distribution of maximum increase and decrease for Brownian motion up to an independent exponential time is computed. This is achieved by decomposing the Brownian path at the hitting times of the infimum and the supremum before the exponential time. It is seen that an important element in our formula is the distribution of the maximum decrease for the three dimensional Bessel process with drift started from 0 and stopped at the first hitting of a given level. From the joint distribution of the maximum increase and decrease it is possible to calculate the correlation coefficient between these at a fixed time and this is seen to be -0.47936... .
△ Less
Submitted 19 December, 2005;
originally announced December 2005.
-
A note on a.s. finiteness of perpetual integral functionals of diffusions
Authors:
Paavo Salminen,
Marc Yor
Abstract:
In this note, with the help of the boundary classification of diffusions, we derive a criterion of the convergence of perpetual integral functionals of transient real-valued diffusions. In the particular case of transient Bessel processes, we note that this criterion agrees with the one obtained via Jeulin's convergence lemma.
In this note, with the help of the boundary classification of diffusions, we derive a criterion of the convergence of perpetual integral functionals of transient real-valued diffusions. In the particular case of transient Bessel processes, we note that this criterion agrees with the one obtained via Jeulin's convergence lemma.
△ Less
Submitted 14 November, 2005;
originally announced November 2005.
-
Tanaka formula for symmetric Lévy processes
Authors:
Paavo Salminen,
Marc Yor
Abstract:
Starting from the potential theoretic definition of the local times of a Markov process - when these exist - we obtain a Tanaka formula for the local times of symmetric Lévy processes. The most interesting case is that of the symmetric $\al$-stable Lévy process (for $\al\in[1,2]$) which is studied in detail. In particular, we determine which powers of such a process are semimartingales. These re…
▽ More
Starting from the potential theoretic definition of the local times of a Markov process - when these exist - we obtain a Tanaka formula for the local times of symmetric Lévy processes. The most interesting case is that of the symmetric $\al$-stable Lévy process (for $\al\in[1,2]$) which is studied in detail. In particular, we determine which powers of such a process are semimartingales. These results complete, in a sense, the works by K. Yamada \cite{yamada02} and Fitzsimmons and Getoor \cite{fitzsimmonsgetoor92a}.
△ Less
Submitted 12 January, 2005;
originally announced January 2005.
-
On some exponential integral functionals of BM($μ$) and BES(3)
Authors:
A. N. Borodin,
Paavo Salminen
Abstract:
In this paper we derive the Laplace transforms of the integral functionals $$ \int_0^\infty (p(\exp(B^{(μ)}_t)+1)^{-1}+ q(\exp(B^{(μ)}_t)+1)^{-2}) dt, $$ $$ \int_0^\infty (p(\exp(R^{(3)}_t)-1)^{-1}+ q(\exp(R^{(3)}_t)-1)^{-2}) dt, $$ where $p$ and $q$ are real numbers, $\{B^{(μ)}_t: t\geq 0\}$ is a Brownian motion with drift $μ>0,$ BM($μ$), and $\{R^{(3)}_t: t\geq 0\}$ is a 3-dimensional Bessel p…
▽ More
In this paper we derive the Laplace transforms of the integral functionals $$ \int_0^\infty (p(\exp(B^{(μ)}_t)+1)^{-1}+ q(\exp(B^{(μ)}_t)+1)^{-2}) dt, $$ $$ \int_0^\infty (p(\exp(R^{(3)}_t)-1)^{-1}+ q(\exp(R^{(3)}_t)-1)^{-2}) dt, $$ where $p$ and $q$ are real numbers, $\{B^{(μ)}_t: t\geq 0\}$ is a Brownian motion with drift $μ>0,$ BM($μ$), and $\{R^{(3)}_t: t\geq 0\}$ is a 3-dimensional Bessel process, BES(3). The transforms are given in terms of Gauss' hypergeometric functions and it is seen that the results are closely related to some functionals of Jacobi diffusions. This work generalizes and completes some results of Donati--Martin and Yor and Salminen and Yor.
△ Less
Submitted 26 August, 2004;
originally announced August 2004.
-
On occupation times of stationary excursions
Authors:
Marina Kozlova,
Paavo Salminen
Abstract:
In this paper excursions of a stationary diffusion in stationary state are studied. In particular, we compute the joint distribution of the occupation times $I^{(+)}_t$ and $I^{(-)}_t$ above and below, respectively, the observed level at time $t$ during an excursion. We consider also the starting time $g_t$ and the ending time $d_t$ of the excursion (straddling $t$) and discuss their relations t…
▽ More
In this paper excursions of a stationary diffusion in stationary state are studied. In particular, we compute the joint distribution of the occupation times $I^{(+)}_t$ and $I^{(-)}_t$ above and below, respectively, the observed level at time $t$ during an excursion. We consider also the starting time $g_t$ and the ending time $d_t$ of the excursion (straddling $t$) and discuss their relations to the Levy measure of the inverse local time. It is seen that the pairs $(I^{(+)}_t, I^{(-)}_t)$ and $(t-g_t, d_t-t)$ are identically distributed. Moreover, conditionally on $I^{(+)}_t + I^{(-)}_t =v$, the variables $I^{(+)}_t$ and $I^{(-)}_t$ are uniformly distributed on $(0,v)$.
Using the theory of the Palm measures, we derive an analoguous result for excursion bridges.
△ Less
Submitted 24 August, 2004; v1 submitted 13 August, 2004;
originally announced August 2004.
-
Diffusion local time storage
Authors:
M. Kozlova,
P. Salminen
Abstract:
In this paper we study a storage process or a liquid queue in which the input process is the local time of a positively recurrent stationary diffusion in stationary state and the potential output takes place with a constant deterministic rate. For this storage process we find its stationary distribution and compute the joint distribution of the starting and ending times of the busy and idle peri…
▽ More
In this paper we study a storage process or a liquid queue in which the input process is the local time of a positively recurrent stationary diffusion in stationary state and the potential output takes place with a constant deterministic rate. For this storage process we find its stationary distribution and compute the joint distribution of the starting and ending times of the busy and idle periods. This work completes and extends to a more general setting the results in Mannersalo, Norros, and Salminen (2003).
△ Less
Submitted 21 June, 2004;
originally announced June 2004.
-
Perpetual integral functionals as hitting and occupation times
Authors:
Paavo Salminen,
Marc Yor
Abstract:
Let $X$ be a linear diffusion and $f$ a non-negative, Borel measurable function. We are interested in finding conditions on $X$ and $f$ which imply that the perpetual integral functional $$ I^X_\infty(f):=\int_0^\infty f(X_t) dt $$ is identical in law with the first hitting time of a point for some other diffusion. This phenomenon may often be explained using random time change. Because of some…
▽ More
Let $X$ be a linear diffusion and $f$ a non-negative, Borel measurable function. We are interested in finding conditions on $X$ and $f$ which imply that the perpetual integral functional $$ I^X_\infty(f):=\int_0^\infty f(X_t) dt $$ is identical in law with the first hitting time of a point for some other diffusion. This phenomenon may often be explained using random time change. Because of some potential applications in mathematical finance, we are considering mainly the case when $X$ is a Brownian motion with drift $μ>0,$ denoted $\{B^{(μ)}_t: t\geq 0\},$ but it is obvious that the method presented is more general. We also review the known examples and give new ones. In particular, results concerning one-sided functionals $$ \int_0^\infty f(B^{(μ)}_t) {\bf 1}_{\{B^{(μ)}_t<0\}} dt\quad {\rm and}\quad \int_0^\infty f(B^{(μ)}_t) {\bf 1}_{\{B^{(μ)}_t>0\}} dt $$ are presented.
This approach generalizes the proof, based on the random time change techniques, of the fact that the Dufresne functional (this corresponds to $f(x)=\exp(-2x)),$ playing quite an important rôle in the study of geometric Brownian motion, is identical in law with the first hitting time for a Bessel process. Another functional arising naturally in this context is %associated to the function $$ \int_0^\infty \big(a+\exp(B^{(μ)}_t)\big)^{-2} dt, $$ which is seen, in the case $μ=1/2,$ to be identical in law with the first hitting time for a Brownian motion with drift $μ=a/2.$
The paper is concluded by discussing how the Feynman-Kac formula can be used to find the distribution of a perpetual integral functional.
△ Less
Submitted 3 March, 2004;
originally announced March 2004.
