Chapter 25: Problem 2
Show that if \(X=\left(X_{n}\right)_{n \geq 0}\) is both a submartingale and a supermartingale, then \(X\) is a martingale.
Short Answer
Expert verified
If a process is both a submartingale and a supermartingale, it is a martingale because the expected value becomes equal.
Step by step solution
01
Understand the definitions
A process \(X = (X_n)_{n \geq 0}\) is a submartingale if for all \( n \), \( E[X_{n+1} | \mathcal{F}_n] \geq X_n \) holds, where \( \mathcal{F}_n \) is the information available up to step \( n \).
02
Supermartingale Definition
A process \(X\) is a supermartingale if for all \( n \), \( E[X_{n+1} | \mathcal{F}_n] \leq X_n \). This reflects a downward expectation with the given information.
03
Combine both definitions
Since \(X\) is both a submartingale and a supermartingale, we know that for all \(n\), \( E[X_{n+1} | \mathcal{F}_n] \geq X_n \) and \( E[X_{n+1} | \mathcal{F}_n] \leq X_n \) hold simultaneously.
04
Conclude the equality
Having both \( E[X_{n+1} | \mathcal{F}_n] \geq X_n \) and \( E[X_{n+1} | \mathcal{F}_n] \leq X_n \) implies that \( E[X_{n+1} | \mathcal{F}_n] = X_n \). This condition satisfies the definition of a martingale.
Unlock Step-by-Step Solutions & Ace Your Exams!
-
Full Textbook Solutions
Get detailed explanations and key concepts
-
Unlimited Al creation
Al flashcards, explanations, exams and more...
-
Ads-free access
To over 500 millions flashcards
-
Money-back guarantee
We refund you if you fail your exam.
Over 30 million students worldwide already upgrade their learning with 91Ó°ÊÓ!
Key Concepts
These are the key concepts you need to understand to accurately answer the question.
Submartingale
Submartingales are a fundamental concept in probability theory, especially in the study of stochastic processes. Basically, a submartingale is a sequence of random variables that, on average, does not decrease over time. Below is a more in-depth look at submartingales.
- At each time step, the expected value of the next step's variable is at least as large as the current step's variable, given the current information.
- This can be formally expressed as: if you have a sequence of random variables \(X = (X_n)_{n \geq 0}\), it is a submartingale if for every \(n\), \(E[X_{n+1} | \mathcal{F}_n] \geq X_n\).
Supermartingale
The notion of a supermartingale is quite similar to a submartingale, but with one key difference: it represents a downward trend on average over time. Here's what you need to know about supermartingales.
- For a sequence to be a supermartingale, the expected value of the next step’s random variable should be at most the value of the current step, based on the current knowledge.
- The mathematical representation is: for any \(n\), \(E[X_{n+1} | \mathcal{F}_n] \leq X_n\).
Conditional Expectation
Conditional expectation is a key tool in martingale theory. It provides a way to determine the average value of a random variable given some known information, or 'filtration'. Conditional expectation considers these known data points to narrow down possibilities.
- Mathematically, for random variables \(X\) and \(Y\), the conditional expectation \(E[X | Y]\) is the expected value of \(X\) given \(Y\).
- The idea is similar to updating your expectations with new information, like adjusting weather predictions based on fresh data.
Filtration
Filtration refers to the incremental acquisition of information over time, a cornerstone concept in understanding stochastic processes like martingales. It is akin to a timeline where at each point you have a snapshot of the accumulated information up to that moment.
- A filtration \( \mathcal{F}_n \) is a sequence \( \{\mathcal{F}_0, \mathcal{F}_1, \ldots\} \) where each \( \mathcal{F}_n \) denotes all the information we have collected by time \(n\).
- In essence, as time progresses, the filtration captures the growing set of known data, and this collection is used in calculating submartingales, supermartingales, and martingales.