Wiener process equality
$begingroup$
I came across such a problem that I can't solve
Prove that with probability $=1$ the equality
$$W_{t}^{4} = W_{t}^{3} - 3W_{t}^{2} +1$$ holds for infinite number of $t ge 0$ but it doesn't hold for any $t in mathbb{Q}_{+}$. $W_{t}$ is a standard Wiener process.
What I did:
I computed expected value of both sides and end up with $$3t^2 = -3t+1$$ which has two solutions $notin mathbb{Q}$, one of which is positive. It makes me think that there may exist one $t$ satisfying conditions but no more than one.
Is there a mistake in my attempt?
If so, what is the solution of the problem?
stochastic-processes brownian-motion
$endgroup$
add a comment |
$begingroup$
I came across such a problem that I can't solve
Prove that with probability $=1$ the equality
$$W_{t}^{4} = W_{t}^{3} - 3W_{t}^{2} +1$$ holds for infinite number of $t ge 0$ but it doesn't hold for any $t in mathbb{Q}_{+}$. $W_{t}$ is a standard Wiener process.
What I did:
I computed expected value of both sides and end up with $$3t^2 = -3t+1$$ which has two solutions $notin mathbb{Q}$, one of which is positive. It makes me think that there may exist one $t$ satisfying conditions but no more than one.
Is there a mistake in my attempt?
If so, what is the solution of the problem?
stochastic-processes brownian-motion
$endgroup$
add a comment |
$begingroup$
I came across such a problem that I can't solve
Prove that with probability $=1$ the equality
$$W_{t}^{4} = W_{t}^{3} - 3W_{t}^{2} +1$$ holds for infinite number of $t ge 0$ but it doesn't hold for any $t in mathbb{Q}_{+}$. $W_{t}$ is a standard Wiener process.
What I did:
I computed expected value of both sides and end up with $$3t^2 = -3t+1$$ which has two solutions $notin mathbb{Q}$, one of which is positive. It makes me think that there may exist one $t$ satisfying conditions but no more than one.
Is there a mistake in my attempt?
If so, what is the solution of the problem?
stochastic-processes brownian-motion
$endgroup$
I came across such a problem that I can't solve
Prove that with probability $=1$ the equality
$$W_{t}^{4} = W_{t}^{3} - 3W_{t}^{2} +1$$ holds for infinite number of $t ge 0$ but it doesn't hold for any $t in mathbb{Q}_{+}$. $W_{t}$ is a standard Wiener process.
What I did:
I computed expected value of both sides and end up with $$3t^2 = -3t+1$$ which has two solutions $notin mathbb{Q}$, one of which is positive. It makes me think that there may exist one $t$ satisfying conditions but no more than one.
Is there a mistake in my attempt?
If so, what is the solution of the problem?
stochastic-processes brownian-motion
stochastic-processes brownian-motion
edited Jan 6 at 22:11
Guesttt
asked Jan 6 at 21:37
GuestttGuesttt
538
538
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Your paragraph "What I did" is way off base.
First, consider any real number $x$ solving $x^4=x^3-3x^2+1$, then the process $(W_t)$ is recurrent hence the (random) set ${tgeqslant0mid W_t=x}$ is almost surely unbounded. This solves the first part of your question. However...
Consider $X$ the (non random) set of real numbers $x$ such that $x^4=x^3-3x^2+1$, then $X$ is finite hence, for every fixed $t$, $P(W_tin X)=0$. By countable union, $P(exists tinmathbb Q_+,,W_tin X)=0$, qed.
$endgroup$
$begingroup$
Sorry I understood the question that $t$ is fixed, and we measure probability that $P(W_t in X)$, but it's obviously $0$ like you said. Is $W_t$ self recurrent for the same reason why a discrete Markov process on the integers line comes back to origin in finite steps with probability $1$?
$endgroup$
– Jakobian
Jan 7 at 15:49
$begingroup$
@Jakobian Delete comment on main, then? Anyway, not every discrete Markov process on the integers line is recurrent but the simple random walk is, and indeed this can be used to show the linear Brownian motion is.
$endgroup$
– Did
Jan 7 at 16:05
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3064412%2fwiener-process-equality%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Your paragraph "What I did" is way off base.
First, consider any real number $x$ solving $x^4=x^3-3x^2+1$, then the process $(W_t)$ is recurrent hence the (random) set ${tgeqslant0mid W_t=x}$ is almost surely unbounded. This solves the first part of your question. However...
Consider $X$ the (non random) set of real numbers $x$ such that $x^4=x^3-3x^2+1$, then $X$ is finite hence, for every fixed $t$, $P(W_tin X)=0$. By countable union, $P(exists tinmathbb Q_+,,W_tin X)=0$, qed.
$endgroup$
$begingroup$
Sorry I understood the question that $t$ is fixed, and we measure probability that $P(W_t in X)$, but it's obviously $0$ like you said. Is $W_t$ self recurrent for the same reason why a discrete Markov process on the integers line comes back to origin in finite steps with probability $1$?
$endgroup$
– Jakobian
Jan 7 at 15:49
$begingroup$
@Jakobian Delete comment on main, then? Anyway, not every discrete Markov process on the integers line is recurrent but the simple random walk is, and indeed this can be used to show the linear Brownian motion is.
$endgroup$
– Did
Jan 7 at 16:05
add a comment |
$begingroup$
Your paragraph "What I did" is way off base.
First, consider any real number $x$ solving $x^4=x^3-3x^2+1$, then the process $(W_t)$ is recurrent hence the (random) set ${tgeqslant0mid W_t=x}$ is almost surely unbounded. This solves the first part of your question. However...
Consider $X$ the (non random) set of real numbers $x$ such that $x^4=x^3-3x^2+1$, then $X$ is finite hence, for every fixed $t$, $P(W_tin X)=0$. By countable union, $P(exists tinmathbb Q_+,,W_tin X)=0$, qed.
$endgroup$
$begingroup$
Sorry I understood the question that $t$ is fixed, and we measure probability that $P(W_t in X)$, but it's obviously $0$ like you said. Is $W_t$ self recurrent for the same reason why a discrete Markov process on the integers line comes back to origin in finite steps with probability $1$?
$endgroup$
– Jakobian
Jan 7 at 15:49
$begingroup$
@Jakobian Delete comment on main, then? Anyway, not every discrete Markov process on the integers line is recurrent but the simple random walk is, and indeed this can be used to show the linear Brownian motion is.
$endgroup$
– Did
Jan 7 at 16:05
add a comment |
$begingroup$
Your paragraph "What I did" is way off base.
First, consider any real number $x$ solving $x^4=x^3-3x^2+1$, then the process $(W_t)$ is recurrent hence the (random) set ${tgeqslant0mid W_t=x}$ is almost surely unbounded. This solves the first part of your question. However...
Consider $X$ the (non random) set of real numbers $x$ such that $x^4=x^3-3x^2+1$, then $X$ is finite hence, for every fixed $t$, $P(W_tin X)=0$. By countable union, $P(exists tinmathbb Q_+,,W_tin X)=0$, qed.
$endgroup$
Your paragraph "What I did" is way off base.
First, consider any real number $x$ solving $x^4=x^3-3x^2+1$, then the process $(W_t)$ is recurrent hence the (random) set ${tgeqslant0mid W_t=x}$ is almost surely unbounded. This solves the first part of your question. However...
Consider $X$ the (non random) set of real numbers $x$ such that $x^4=x^3-3x^2+1$, then $X$ is finite hence, for every fixed $t$, $P(W_tin X)=0$. By countable union, $P(exists tinmathbb Q_+,,W_tin X)=0$, qed.
edited Jan 8 at 9:54
answered Jan 6 at 22:40
DidDid
247k23223459
247k23223459
$begingroup$
Sorry I understood the question that $t$ is fixed, and we measure probability that $P(W_t in X)$, but it's obviously $0$ like you said. Is $W_t$ self recurrent for the same reason why a discrete Markov process on the integers line comes back to origin in finite steps with probability $1$?
$endgroup$
– Jakobian
Jan 7 at 15:49
$begingroup$
@Jakobian Delete comment on main, then? Anyway, not every discrete Markov process on the integers line is recurrent but the simple random walk is, and indeed this can be used to show the linear Brownian motion is.
$endgroup$
– Did
Jan 7 at 16:05
add a comment |
$begingroup$
Sorry I understood the question that $t$ is fixed, and we measure probability that $P(W_t in X)$, but it's obviously $0$ like you said. Is $W_t$ self recurrent for the same reason why a discrete Markov process on the integers line comes back to origin in finite steps with probability $1$?
$endgroup$
– Jakobian
Jan 7 at 15:49
$begingroup$
@Jakobian Delete comment on main, then? Anyway, not every discrete Markov process on the integers line is recurrent but the simple random walk is, and indeed this can be used to show the linear Brownian motion is.
$endgroup$
– Did
Jan 7 at 16:05
$begingroup$
Sorry I understood the question that $t$ is fixed, and we measure probability that $P(W_t in X)$, but it's obviously $0$ like you said. Is $W_t$ self recurrent for the same reason why a discrete Markov process on the integers line comes back to origin in finite steps with probability $1$?
$endgroup$
– Jakobian
Jan 7 at 15:49
$begingroup$
Sorry I understood the question that $t$ is fixed, and we measure probability that $P(W_t in X)$, but it's obviously $0$ like you said. Is $W_t$ self recurrent for the same reason why a discrete Markov process on the integers line comes back to origin in finite steps with probability $1$?
$endgroup$
– Jakobian
Jan 7 at 15:49
$begingroup$
@Jakobian Delete comment on main, then? Anyway, not every discrete Markov process on the integers line is recurrent but the simple random walk is, and indeed this can be used to show the linear Brownian motion is.
$endgroup$
– Did
Jan 7 at 16:05
$begingroup$
@Jakobian Delete comment on main, then? Anyway, not every discrete Markov process on the integers line is recurrent but the simple random walk is, and indeed this can be used to show the linear Brownian motion is.
$endgroup$
– Did
Jan 7 at 16:05
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3064412%2fwiener-process-equality%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown