Do convex and decreasing functions preserve the semimartingale property? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-18T04:48:49Z http://mathoverflow.net/feeds/question/43319 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/43319/do-convex-and-decreasing-functions-preserve-the-semimartingale-property Do convex and decreasing functions preserve the semimartingale property? George Lowther 2010-10-23T17:25:31Z 2010-11-08T15:24:11Z <p>Some time ago I spent a lot of effort trying to show that the <a href="http://en.wikipedia.org/w/index.php?title=Semimartingale&amp;oldid=369390840" rel="nofollow">semimartingale</a> property is preserved by certain functions. Specifically, that a convex function of a semimartingale and decreasing function of time is itself a semimartingale. This was needed for a result which I was trying to prove (more details below) and eventually managed to work around this issue, but it was not easy. For twice continuously differentiable functions this is an immediate consequence of <a href="http://en.wikipedia.org/w/index.php?title=It%25C5%258D%2527s_lemma&amp;oldid=386471329" rel="nofollow">Ito's lemma</a>, but this cannot be applied in the general case. After failing at this task, I also spent a considerable amount of time trying to construct a counterexample, also with no success. So, my question is as follows.</p> <blockquote> <p>1) Let &fnof;:&nbsp;&#x0211d;<sup>+</sup>&times;&#x0211d;&nbsp;&rarr;&nbsp;&#x0211d; be such that &fnof;(<i>t</i>,<i>x</i>) is convex in <i>x</i> and continuous and decreasing in <i>t</i>. Then, for any semimartingale <i>X</i>, is &fnof;(<i>t</i>,<i>X</i><sub><i>t</i></sub>) necessarily a semimartingale?</p> </blockquote> <p>Actually, it can be assumed here that <em>X</em> is both continuous and a martingale which, with some work, would imply the general case. As it turns out, this can be phrased purely as a real-analysis question.</p> <blockquote> <p>2) Let &fnof;:&nbsp;&#x0211d;<sup>+</sup>&times;&#x0211d;&nbsp;&rarr;&nbsp;&#x0211d; be such that &fnof;(<i>t</i>,<i>x</i>) is convex in <i>x</i> and decreasing in <i>t</i>. Can we write &fnof;&nbsp;=&nbsp;<i>g</i>&nbsp;&minus;&nbsp;<i>h</i> where <i>g</i>(<i>t</i>,<i>x</i>) and <i>h</i>(<i>t</i>,<i>x</i>) are both convex in <i>x</i> and <i>increasing</i> in <i>t</i>&thinsp;?</p> </blockquote> <p>Stated like this, maybe someone with a good knowledge of convex functions would be able to answer the question one way or the other.</p> <p>For &fnof;(<i>t</i>,<i>x</i>) convex in <em>x</em> and increasing in <em>t</em> then approximation by smooth functions and applying Ito's lemma allows us to express &fnof;(<i>t</i>,<i>X</i><sub><i>t</i></sub>) as the sum of a stochastic integral and an increasing process $$f(t,X_t)=\int_0^t\frac{\partial f}{\partial x}(s,X_s)\,dX_s+V_t,\qquad(*)$$ so it is a semimartingale. If, instead, &fnof; is <em>decreasing</em> in <em>t</em>, then an affirmative answer to question 2 will reduce it to the easier case where it is increasing in <em>t</em>, also giving a positive answer to the first question. Explaining why question 1 implies 2 is a bit trickier. If 2 was false, then it would be possible to construct martingales <em>X</em> such that the decomposition (*) holds where the variation of <em>V</em> explodes at some positive time.</p> <p>This problem arose while I was trying to prove the following: is a continuous martingale uniquely determined by its one dimensional marginals? For arbitrary continuous martingales this is false, but is known to be true for diffusions <em>dX</em><sub><em>t</em></sub>&nbsp;=&nbsp;&sigma;(<em>t</em>,<i>X</i><sub><em>t</em></sub>)&thinsp;<em>dW</em> for Brownian motion <em>W</em> and smooth parameter &sigma;. The idea is to back out &sigma; from the <a href="http://en.wikipedia.org/w/index.php?title=Fokker%25E2%2580%2593Planck_equation&amp;oldid=385368370" rel="nofollow">Kolmogorov forward equation</a>. This is well-known in finance as the <a href="http://en.wikipedia.org/w/index.php?title=Local_volatility&amp;oldid=353789880" rel="nofollow">local volatility</a> model. However, I was trying to show rather more than this. All continuous and strong Markov martingales are uniquely determined by the one dimensional marginals. I was able to prove this, and the relation between the marginals and joint distributions of the martingale has many nice properties (I wrote a <a href="http://arxiv.org/abs/0808.2319v1" rel="nofollow">paper</a> on this, submitted to the arXiv, but not published as I am still working on changes asked for by the referees). The method was to reformulate the <a href="http://en.wikipedia.org/w/index.php?title=Kolmogorov_backward_equation&amp;oldid=392014832" rel="nofollow">Kolmogorov backward equation</a> in terms of the marginals. This does use Ito's lemma, requiring twice differentiability, but can be circumvented with a bit of integration by parts as long as &fnof;(<i>t</i>,<i>X</i><sub><i>t</i></sub>) is a semimartingale for the kinds of functions mentioned above. The question above arose from trying, and failing, to prove this. Without an answer to this question, the problem becomes much much harder, as many of the techniques from stochastic calculus can no longer be applied (and, approximating by semimartingales didn't seem to help either). The work around was very involved, part of which I published as a standalone paper <a href="http://dx.doi.org/10.1214/09-AOP476" rel="nofollow">here</a> and the rest forms most of a paper I submitted to the arXiv <a href="http://arxiv.org/abs/0803.3303v2" rel="nofollow">here</a>. Adding together those papers, it comes to maybe 50 pages of maths and a lot of effort to work around the question above.</p> http://mathoverflow.net/questions/43319/do-convex-and-decreasing-functions-preserve-the-semimartingale-property/43389#43389 Answer by The Bridge for Do convex and decreasing functions preserve the semimartingale property? The Bridge 2010-10-24T15:48:28Z 2010-10-24T15:48:28Z <p>Hi, </p> <p>Maybe I haven't fully understood your question but I think there is a counter-example (in a simpler context) given in Protter's book on Stochastic Integration in the form of a theorem. It's theorem 71, chapter IV, section 7 (Local Times). </p> <p>It's claimed there that for any $\alpha \in(0,1/2)$ and any continuous local martingale $X_t$, then $Y_t=|X_t|^\alpha$ is not a semi-martingale unless it is a null process.</p> <p>The proof is based on local time and Tanaka-Meyer's theorem.</p> <p>Hope it helps, (but if not I would appreciate that you explain where I went wrong).</p> <p>Best regards.</p> http://mathoverflow.net/questions/43319/do-convex-and-decreasing-functions-preserve-the-semimartingale-property/44262#44262 Answer by has2 for Do convex and decreasing functions preserve the semimartingale property? has2 2010-10-30T18:37:55Z 2010-10-30T18:44:03Z <p>What follows is too long to fit in a comment.</p> <p>Some thoughts on the second problem. Let us consider the problem for $t$ taking values in the compact interval $[0,T]$. The general case perhaps can be approximated by this case. If the $t$ variable were discrete and finite the problem would be: we have a sequence of functions $f_1 \ge f_2 \ge f_3 \cdots \ge f_n$ (let us make the simplifying assumption that $f_i$ are all positive; otherwise, replace $f_i$ with $f_i +C$ where $C$ is $C = -\min_{i,x} f_i(x)$), can one find convex and increasing ${h_i}$ and ${g_i}$ such that $f_i = h_i - g_i$? The answer to this question is obviously yes. For example, $h_i = \sum_{j\le i} f_i$ and $g_i = \sum_{j &lt; i} f_i$ is one possible solution. The problem with this solution when $t$ is continuous is that the $h_i$ and $g_i$ would explode as the discretization of $t$ is refined. Thus, one needs to choose $h$ and $g$ in a way that they increase slowly. How slowly can this increase be? We can start with $h_1 = f_1$ and $g_1 = 0$. $h_2$ and $g_2$ will be of the following form: $$h_2 = h_1 + S_2 = f_1 + S_2,$$ and $$g_2 = g_1 + R_2 = R_2$$ such that: 1) $S_2, R_2 \ge 0$, 2) $h_2 = f_1 + S_2$, $g_2 = R_2$ are convex and 3) $h_2 - g_2 = f_1 + S_2 - R_2 = f_2$. The last of these is equivalent to $R_2 = f_1 - f_2 + S_2$. Thus, what we are looking for is a function $S_2$ satisfying the above conditions. There will be many such $S_2$, the goal is to choose $S_2$ in a minimal way so that $h_i$ and $g_i$ grow slowly.The best would be: $S_2 = 0$, which is indeed a solution when $f_1 - f_i$ is convex. If $f_0 - f_t$ is convex for all $t \in [0,T]$ then this solution directly generalizes to the original continuous time problem (i.e., if $f_0-f_t$ is convex then $h(t,x) = f(0,x)$ and $g(t,x) = f(0,x) - f(t,x)$ is a solution).</p> <p>Now, let us consider the case when $f(t,x)$ is such that $\frac{\partial^2}{\partial x^2}f(t,x)$ is continuous in $(t,x)$ and $x$ also takes values in a compact set $K$. The following type of argument quickly comes to mind. Define $$\tau \doteq \{t: \exists g, h:[0,t]\times K\rightarrow {\mathbb R}, f = h-g, h,g \text{ convex in } x \text{ and increasing in } t \}.$$ $0$ is clearly a member of this set. One can perhaps argue that $\sup \tau$ must be $T$ as follows. If $t_0 = \sup \tau &lt; T$ then one can slightly modify $h(t_0,x)$ and $g(t_0,x)$ to obtain functions $h(t_0+\delta,x)$ and $g(t_0+\delta,x)$ whose difference will be $f(t_0+\delta,x)$ [the slight modification is made possible by the fact that the second derivative of $f$ with respect to $x$ barely changes between $t_0$ and $t_0 + \delta$].</p> http://mathoverflow.net/questions/43319/do-convex-and-decreasing-functions-preserve-the-semimartingale-property/45314#45314 Answer by George Lowther for Do convex and decreasing functions preserve the semimartingale property? George Lowther 2010-11-08T15:24:11Z 2010-11-08T15:24:11Z <p>I still have no idea what the answer to this question is. However, it is possible to attack the problem in several different ways, and there are various different (but logically equivalent) ways of stating it. I'll post some of these as an answer now, as it seems rather long to fit in the original statement of the question. Maybe one of the reformulations below will help lead to a resolution of the problem.</p> <p>This answer is already very long, and I've been trying to shorten it as much as I can. I can't see any way of giving proper proofs of all the statements below without making it a lot longer. So, I'll only give very few details of he proofs here. I will, however, list each of the equivalent formulations H1-H6 below in the logical order, so that each statement can be proven to be equivalent to the preceding one without too much work. Let's start from statement 2 of the original question, which I will refer to as Hypothesis (H1) for the purposes of this answer.</p> <blockquote> <p>Hypothesis (H1): Let &fnof;:&nbsp;&#x0211d;<sup>+</sup>&times;&#x0211d;&nbsp;&rarr;&nbsp;&#x0211d; be such that &fnof;(<i>t</i>,<i>x</i>) is convex in <i>x</i> and decreasing in <i>t</i>. Then, &fnof;&nbsp;=&nbsp;<i>g</i>&nbsp;&minus;&nbsp;<i>h</i> where <i>g</i>(<i>t</i>,<i>x</i>) and <i>h</i>(<i>t</i>,<i>x</i>) are both convex in <i>x</i> and <i>increasing</i> in <i>t</i>&thinsp;.</p> </blockquote> <p>The decomposition in (H1) exists if and only if it exists locally. Letting <em>I</em>&nbsp;=&nbsp;[0,1] denote the unit interval, we get the following equivalent statement.</p> <blockquote> <p>Hypothesis (H2): Let &fnof;:&nbsp;<em>I</em><sup>2</sup>&nbsp;&rarr;&nbsp;&#x0211d; be such that &fnof;(<em>t</em>,<i>x</i>) is convex and Lipschitz continuous in <em>x</em> and decreasing in <em>t</em>. Then, &fnof;&nbsp;=&nbsp;<em>g</em>&nbsp;&minus;&nbsp;<em>h</em> where <em>g</em>(<i>t</i>,<em>x</em>) and <em>h</em>(<i>t</i>,<em>x</em>) are convex in <em>x</em> and <em>increasing</em> in <em>t</em>.</p> </blockquote> <p>The truth of this statement remains unchanged if it is restricted to functions &fnof; which are zero on the three edges <em>I</em>&nbsp;&times;&nbsp;{0}, <em>I</em>&nbsp;&times;&nbsp;{1}, {0}&nbsp;&times;&nbsp;<em>I</em> of the unit square. I'll use <em>D</em> to denote the set of such functions satisfying the conditions of (H2). Then, whenever the decomposition in (H2) exists, it is always possible to choose <em>g</em>, <em>h</em> to be zero on <em>I</em>&nbsp;&times;&nbsp;{0}, <em>I</em>&nbsp;&times;&nbsp;{1} and {1}&nbsp;&times;&nbsp;<em>I</em>. From now on, whenever the decomposition &fnof;&nbsp;=&nbsp;<em>g</em>&nbsp;&minus;&nbsp;<em>h</em> in (H2) is referred to, it will be assumed that <em>g</em>, <em>h</em> are chosen to satisfy these conditions.</p> <p>We can strengthen (H2) by also placing a uniform bound on the terms <em>g</em>, <em>h</em> in the decomposition. Here, &#x2016;<em>g</em>&#x2016; denotes the supremum norm and &fnof;<sub><em>x</em></sub> denotes the partial derivative.</p> <blockquote> <p>Hypothesis (H3): There is a constant <em>K</em>&nbsp;&gt;&nbsp;0 such that, for all &fnof;&nbsp;&isin;&nbsp;<em>D</em>, the decomposition &fnof;&nbsp;=&nbsp;<em>g</em>&nbsp;&minus;&nbsp;<em>h</em> as in H2 exists and can be chosen such that &#x2016;<em>g</em>&#x2016;,&#x2016;<em>h</em>&#x2016;&nbsp;&le;&nbsp;<em>K</em>&#x2016;&fnof;<sub><em>x</em></sub>&#x2016;.</p> </blockquote> <p>Statement (H3) is particularly convenient because of the following: to prove that (H3) holds, it is enough to look at a dense subset of functions in <em>D</em>. Taking limits of the decompositions would then extend to the result to all of <em>D</em>. So, it is enough to concentrate on, say, smooth functions or piecewise linear functions.</p> <p>Next, it is useful to choose the decomposition in (H2) to minimize &#x2016;<em>g</em>&#x2016; and &#x2016;<em>h</em>&#x2016;.</p> <blockquote> <p>Lemma 1: Suppose that &fnof;&nbsp;&isin;&nbsp;<em>D</em> and that the decomposition &fnof;&nbsp;=&nbsp;<em>g</em>&nbsp;&minus;&nbsp;<em>h</em> as in (H2) exists. Then, there is a unique maximal choice for <em>g</em>, <em>h</em>. That is, if &fnof;&nbsp;=&nbsp;<em>g</em><sub>1</sub>&nbsp;&minus;&nbsp;<em>h</em><sub>1</sub> is any other such decomposition then <em>g</em>&nbsp;&ge;&nbsp;<em>g</em><sub>1</sub> and <em>h</em>&nbsp;&ge;&nbsp;<em>h</em><sub>1</sub>.</p> </blockquote> <p>I'll refer to the decomposition in Lemma 1 as the <em>optimal decomposition</em>. As it not clear that any such decomposition should exist, I'll briefly sketch the argument now. The idea is to discretize time, using a partition of the unit interval 0&nbsp;=&nbsp;<em>t</em><sub>0</sub>&nbsp;&lt;&nbsp;<em>t</em><sub>1</sub>&nbsp;&lt;&nbsp;&hellip;&nbsp;&lt;&nbsp;<em>t</em><sub><em>r</em></sub>&nbsp;=&nbsp;1. Denote the <em>convex hull</em> of a function <em>u</em>:&nbsp;<em>I</em>&nbsp;&rarr;&nbsp;&#x0211d; by <em>v</em>&nbsp;=&nbsp;H(<em>u</em>), which is the maximum convex function <em>v</em>:&nbsp;<em>I</em>&nbsp;&rarr;&nbsp;&#x0211d; bounding <em>u</em> from below, \begin{align} v(x) &amp;= \sup\{w(x)\colon w\le u{\rm\ is\ convex}\}\\ &amp;=\inf\{\left((b-x)u(a)+(x-a)u(b)\right)/(b-a)\colon a\le x\le b\}. \end{align} The optimal decomposition in discrete time can be constructed as functions <em>h</em><sub><em>k</em></sub>:&nbsp;<em>I</em>&nbsp;&rarr;&nbsp;&#x0211d;, starting at the final time <em>k</em>&nbsp;=&nbsp;<em>r</em> and working backwards to <em>k</em>&nbsp;=&nbsp;0, $$h_r(x) = 0,\ h_{k-1}={\rm H}\left(h_k+f(t_k,\cdot)-f(t_{k-1},\cdot)\right).$$ Interpolate this to be piecewise constant in time, defining <em>h</em>(<i>t</i>,<em>x</em>)&nbsp;=&nbsp;<em>h</em><sub>k</sub>(<em>x</em>) for <em>t</em><sub><em>k</em>&minus;1</sub>&nbsp;&lt;&nbsp;<em>t</em>&nbsp;&le;&nbsp;<em>t</em><sub><em>k</em></sub>. Then, <em>h</em>(<i>t</i>,<i>x</i>) and <em>g</em>&nbsp;&equiv;&nbsp;&fnof;&nbsp;+&nbsp;<em>h</em> are convex in <em>x</em> and increasing in time <em>t</em>, restricting to times in the partition.</p> <blockquote> <p>Lemma 2: Suppose that &fnof;&nbsp;&isin;&nbsp;<em>D</em> and let 0&nbsp;=&nbsp;<em>t</em><sub><em>n</em>,0</sub>&nbsp;&lt;&nbsp;<em>t</em><sub><em>n</em>,1</sub>&nbsp;&lt;&hellip;&lt;&nbsp;<em>t</em><sub><em>n,r<sub>n</sub></em></sub>&nbsp;=&nbsp;1 be a sequence of partitions of the unit interval. For each <em>n</em> let <em>h</em><sup><em>n</em></sup>(<i>t</i>,<em>x</em>) be the function corresponding to the partition and piecewise constant in <em>t</em>, as constructed above. We also suppose that the partitions have mesh going to zero and eventually include all times at which &fnof; is discontinuous. Then one of the following holds.</p> <ul> <li>&fnof; decomposes as in (H2) and <em>h</em><sup><em>n</em></sup>(<em>t</em>,<i>x</i>)&nbsp;&rarr;&nbsp;<em>h</em>(<i>t</i>,<em>x</em>) pointwise on <em>I</em><sup>2</sup>, where &fnof;&nbsp;=&nbsp;<em>g</em>&nbsp;&minus;&nbsp;<em>h</em> is the optimal decomposition.</li> <li>&fnof; does not have a decomposition as in (H2) and <em>h</em><sup><em>n</em></sup>(0,<em>x</em>)&nbsp;&rarr;&nbsp;-&infin; for all 0&nbsp;&lt;&nbsp;<em>x</em>&nbsp;&lt;&nbsp;1.</li> </ul> </blockquote> <p>The idea is that, if <em>h</em><sup><em>n</em></sup> has any limit point <em>h</em>, then <em>h</em>(<i>t</i>,<em>x</em>) and <em>g</em>&nbsp;=&nbsp;&fnof;&nbsp;+&nbsp;<em>h</em> will be convex in <em>x</em> and increasing in <em>t</em>, giving the decomposition required by (H2). Furthermore, by construction, if &fnof;&nbsp;=&nbsp;<em>g</em>'&nbsp;&minus;&nbsp;<em>h</em>' is any other such decomposition, then <em>h</em><sup><em>n</em></sup>&nbsp;&ge;&nbsp;<em>h</em>' at times in the partition, so <em>h</em>&nbsp;&ge;&nbsp;<em>h</em>'. This shows that the decomposition is optimal and, as the optimal decomposition is unique, all limit limit points of <em>h</em><sup><em>n</em></sup> are the same, so <em>h</em><sup><em>n</em></sup>&nbsp;&rarr;&nbsp;<em>h</em>. The only alternative is that <em>h</em><sup><em>n</em></sup> has no limit points, in which case the second statement of the Lemma holds. Using this construction of the optimal decomposition, (H3) can be shown to be equivalent to the following.</p> <blockquote> <p>Hypothesis (H4): There is a constant <em>K</em>&nbsp;&gt;&nbsp;0 such that, for all smooth functions &fnof;,<em>g</em>:&nbsp;<em>I</em><sup>2</sup>&nbsp;&rarr;&nbsp;&#x0211d; with &#x2016;&fnof;&#x2016;, &#x2016;<em>g</em>&#x2016;, &#x2016;&fnof;<sub><em>x</em></sub>&#x2016;, &#x2016;<em>g</em><sub><em>x</em></sub>&#x2016; bounded by 1 and &fnof;(<em>t</em>,<i>x</i>), <em>g</em>(<i>t</i>,<em>x</em>) convex in <em>x</em> and respectively decreasing and increasing in <em>t</em>, then, $$\int_0^1\int_0^1 f_{xx}g_t\,dxdt \le K.$$</p> </blockquote> <p>As this statement is quite different from the preceding ones, I'd better give some explanation now. The idea is to use integration by parts, \begin{align} \int_0^1\int_0^1(f_{xx}g_t+g_{xx}f_t)\,dxdt &amp;= \left[\int_0^1(f_xg_t+g_xf_t)\,dt\right]_{x=0}^1-\left[\int_0^1f_xg_x\,dx\right]_{t=0}^1\\ &amp;\le 6(\Vert f_x\Vert \Vert g\Vert + \Vert g_x\Vert \Vert f\Vert). \end{align} If &fnof; and <em>g</em> are increasing in time then the terms on the left hand side are both positive, so we get bounds for the integrals of &fnof;<sub><em>xx</em></sub><em>g</em><sub><em>t</em></sub> and <em>g</em><sub><em>xx</em></sub>&fnof;<sub><em>t</em></sub> individually. Hypothesis (H3) extends this to the case where &fnof; is decreasing in time, implying (H4).</p> <p>Conversely, suppose that (H4) holds. Letting <em>f</em>&nbsp;=&nbsp;<em>g</em>&nbsp;&minus;&nbsp;<em>h</em> be the decomposition computed along a partition as described above, we can use the fact that the convex hull <em>v</em>&nbsp;=&nbsp;H(<em>u</em>) of a function <em>u</em> satisfies <em>v</em><sub><em>xx</em></sub>(<em>u</em>&nbsp;&minus;<em>v</em>)&nbsp;=&nbsp;0 to get the equality (<em>h</em><sub><em>k</em>&minus;1</sub>)<sub><em>xx</em></sub>(<em>h</em><sub><em>k</em></sub>&nbsp;&minus;&nbsp;<em>h</em><sub><em>k</em>&minus;1</sub>&nbsp;+&nbsp;&fnof;(<em>t</em><sub><em>k</em></sub>,.)&nbsp;&minus;&nbsp;&fnof;(<em>t</em><sub><em>k</em>&minus;1</sub>,.))&nbsp;=&nbsp;0. This leads to the following inequalities,</p> <p>\begin{align} \frac12\Vert h\Vert^2&amp;\le\frac12\int_0^1 h_x(0,x)^2\,dx\le\sum_{k=1}^r \int_0^1(h_{k-1})_{xx}(h_{k-1}-h_k)\,dx\\ &amp;=-\sum_{k=1}^r\int_0^1 (h_{k-1})_{xx}(f_k-f_{k-1})\,dx. \end{align} Hypothesis (H4) can be used to bound the final term, showing that <em>h</em> cannot diverge as the mesh of the partition goes to zero, so we get convergence to an optimal decomposition satisfying a bound as in (H3).</p> <p>The hypothesis can now be formulated as a statement about martingales.</p> <blockquote> <p>Hypothesis (H5): There is a constant <em>K</em>&nbsp;&gt;&nbsp;0 such that, for all &fnof;&nbsp;&isin;&nbsp;<em>D</em> and martingales 0&nbsp;&le;&nbsp;<em>X</em><sub><em>t</em></sub>&nbsp;&le;&nbsp;1, &fnof;(<em>t</em>,<i>X<sub>t</sub></i>) decomposes as <em>M</em>&nbsp;+&nbsp;<em>V</em> where <em>M</em> is a martingale and <em>V</em> has variation $$\mathbb{E}\left[\int_0^1\,\vert dV\vert\right]\le K\Vert f_x\Vert.$$</p> </blockquote> <p>The idea is that <em>g</em>(<i>t</i>,<em>x</em>)&nbsp;&equiv;&nbsp;E[(<em>X</em><sub><em>t</em></sub>&nbsp;&minus;&nbsp;<em>x</em>)<sub>+</sub>] is convex in <em>x</em> and increasing in <em>t</em>. In the case where &fnof;, <em>g</em> are smooth and <em>X</em> is a continuous martingale, Ito's formula can be used to split &fnof;(<em>t</em>,<i>X</i><sub><em>t</em></sub>) into a martingale term plus the sum of the increasing process &frac12;&int;&fnof;<sub><em>xx</em></sub>(<em>t</em>,<i>X</i>)d[<em>X</em>] and the decreasing process &int;&fnof;<sub><em>t</em></sub>(<em>t</em>,<i>X</i>)d<i>t</i>, which have expectations &int;&int;&fnof;<sub><em>xx</em></sub><em>g</em><sub><em>t</em></sub>d<i>x</i>d<i>t</i> and &int;&int;&fnof;<sub><em>t</em></sub><em>g</em><sub><em>xx</em></sub>d<i>x</i>d<i>t</i> respectively.</p> <p>Finally, by adding a randomly occurring jump term to any semimartingale, and with a bit more work, it is possible to reduce this to the martingale case. This gives the statement asked in the original question.</p> <blockquote> <p>Hypothesis (H6): Let &fnof;:&#x0211d;<sup>+</sup>&times;&#x0211d;&nbsp;&rarr;&nbsp;&#x0211d; be such that &fnof;(<em>t</em>,<i>x</i>) is convex in <em>x</em> and continuous and decreasing in <em>t</em>. Then, for any semimartingale <em>X</em>, &fnof;(<em>t</em>,<i>X<sub>t</sub></i>) is a semimartingale.</p> </blockquote>