« first day (4284 days earlier)      last day (1032 days later) » 

01:19
learning: induction. use the relation that defines the sequence and use (or prove) the fact that a_n >= 0 for all n
01:42
Induction is so boring!
Yeah, for questions like this i just spam inductions
without understanding what is going on in the question
So I was wondering what the actual intended approach will most likely be
the boring one
Induction, albeit boring, is powerful!
making things boring is one of the triumphs of mathematics
3
My goal has always been to be optimally boring.
01:52
if you can prove something that makes a whole family of problems boring, you have done some really good mathematics
 
3 hours later…
04:49
Hi!
Why $b$ in $f(x)=\dfrac{3x+b}{4x+5}$ can't be $\dfrac{15}4$ ?
Context:
> Let f(x) = (ax+b) / (4x+c) for real a b and c with a≠0. if the vertical asymptote of y=f(x) is x=-5/4 and the vertical asymptote of y = f^-1(x) is x=3/4 . What are the value(s) that b can take on?
I am unable to understand from here.
 
2 hours later…
07:16
@Wolgwang If $b=\frac{15}4$, then $f(x)=\frac34$ for all $x$ except $x=-\frac54$. There is no vertical asymptote, there is simply a hole at $x=-\frac54$.
Notice also that $f$ has no inverse except at the point $\frac34$ and then it has an infinite number of values that could be the inverse.
07:55
Got it! Thanks :)
 
5 hours later…
13:13
What is the difference between the local and global Picard Lindelof theorem
Is it that its possible for multiple solutions on the same time interval but in different neighbourhoods of the initial point?
@Govind75 what's your formulation of the global version?
this is not my field but i am not sure that 'picard lindelof' is one set of hypotheses. it might be that different books refer to different, but related, results by that name. sometimes a problem is that a solution defined on some interval 'blows up' and cannot be extended outside of the interval.
but i don't know if this is consistent with whatever your hypotheses are, or ruled out by them.
If I have $\dot{x} = f(t,x)$ such that $f$ satisfies global Lipschitz continuity with Lipschitz constant $K > 0$. Setting $h = \frac{1}{2K}$, then every IVP with $x(t_0) = x_0$ admits a unique solution $\lambda : [t_0 -h, t_0+h] \rightarrow \mathbb{R}^d$
my guess is that the 'global' version has stuff that prevents this from happening. it would surprise me if hypotheses that don't give local uniqueness went by the name of picard-lindelof. but anything is possible.
The local version satisfies the local lipschitz continuity, i.e. Lipschitz continuity on a $U$ neighbourhood of $(t_0,x_0)$
13:24
Oh, it's about the Lipschitz condition.
0
Q: Picard-Lindelöf global or local L continuity

thalia nouniIf we have a function in an unbounded interval, can we apply the Picard-Lindelöf theorem and show Lipschitz continuity locally? Or Picard-Lindelöf is applied only for global Lipschitz continuity?

@leslietownes I kinda understand, I know the global version allows for the solution to be extended, I guess if we only have lipschitz continuity on a neighbourhood then it cannot be extended.
yeah. the issue seems to be more about that you might need different 'K's on different intervals, not so much that any given 'K' might be assumed only to work on an interval.
13:45
True, cheers for clearing it up tho :)
 
3 hours later…
16:47
While studying the convergence of a series $\sum_{n=0}^{\infty} \frac{1}{1+|x|^n}$, in the case $|x|>1$ my textbook says that for $n \in \mathbb{N}$ big enough it is $|x|^n>=2$ and this implies $\frac{1}{|x|^n-1}\le \frac{2}{|x|^n}$. I can prove this by solving the latter inequality, but I would like to understand how my textbook found that estimation.
I think it is something like this: he wants to find a generic real b such that $\frac{1}{|x|^n-1}\le\frac{b}{|x|^n}$, and, assuming $b\ge1$, proceeds obtaining $|x|^n\le \frac{b}{b-1}$. Now, since we know that $|x|^n\ge2$, to obtain a valid estimation it is enough to impose that $2\ge\frac{b}{b-1}$, that is $b\ge2$. So the optimal $b$ for the inequality is $b=2$. Is this reasoning correct?
17:01
@Gwyn Why not just use that $\frac1{1+|x|^n}\lt\frac1{|x|^n}$?
Since $|x|^n\ge0$, we don't need to use the triangle inequality to say that $1+|x|^n\ge|x|^n-1$
yeah, i wouldn't dig too deep into someone else's epsilonology. just find something that works for you.
Thank you for the help. That's what I did, but I was curious to learn other techniques that may be useful in other situations.
If $x$ is only known to be a complex number, then $|1+x|\ge|x|-1$ follows from the triangle inequality.
the trouble with other people's epsilonology is that it's almost never useful in other situations. i'm overstating it. but it's rare to see new or useful ideas in proofs that a series converges. sometimes a quantitative estimate of a rate of convergence/divergence can contain a good idea.
a lot of books don't go too beyond eventual comparison to geometric series since that is mostly what you need to get the basic properties of nice power series worked out.
Ok, thanks for the suggestion!
17:18
robjohn's epsilonology is useful in all situations.
18:15
What is known about $x$ in
$$1-x^{\log (2)}+x^{\log (3)}-x^{\log (4)}+x^{\log (5)}-x^{\log (6)}+x^{\log (7)}-x^{\log (8)}+x^{\log (9)}-x^{\log (10)}+\text{...}(-1)^{n+1}x^{\log (n)}=0$$ as $n \rightarrow \infty$?
Do the roots in $x$ sit on a circle?
I tried getting familiar with this text: https://kconrad.math.uconn.edu/blurbs/galoistheory/numbersoncircle.pdf
by Keith Conrad.
I also tried a variant:
$$1-x^{6931471805599453094172321214581765680755001343602552541206800094933936219696947156058633269964186875}-x^{23025850929940456840179914546843642076011014886287729760333279009675726096773524802359972050895982983}+x^{21972245773362193827904904738450514092949811156454989034693886672749885864372179337472315096274641776}-x^{20794415416798359282516963643745297042265004030807657623620400284801808659090841468175899809892560626}+x^{19459101490553133051053527434431797296370847295818611884593901499375798627520692677876584985878715270}-x^{1791759469228055000812477358380702272
The digits in the polynomials exponents are Log[n] times 10^100.
The zeros in the polynomial is x=Exp[-ZetaZero[1]/10^100]
18:36
The radius of the circle should be Exp[-1/2] = 0.60653065971...oeis.org/A092605
19:06
@MatsGranvik I assume you have looked at the fact that $x^{\log(k)}=k^{\log(x)}$, which changes this to a partial sum of the zeta function?
19:18
that was my one idea
i usually get very nervous when the zeta function appears
@AkivaWeinberger finally someone answered re the circles.
deserved more upvotes, imvho. i like how working out that they're obviously faces still doesn't get you too far
 
1 hour later…
20:35
ted: phbhbthhththt
Munchkin’s fondest regards?
yes. this morning she introduced the novelty of saying (to her mother) that i had authorized her to "not go to school [day care] and just goof off all day" at multiple parks.
it says something that my wife actually asked me later if i'd said that she could do this.
@leslietownes Sounds legit.
@leslietownes You said "yes", right?
She’s learning extremely young to play off one parent against the other. Usually a teenage game.
i thought it over, and thought, yeah, that does sound like something i'd say, because i'm really cool, and of the two of us, the one most likely to want to party at numerous local parks.
including the one with the spinning swings.
20:42
hey
Can someone help, I feel like I'm going craxy
crazy*
We’re already crazy.
Just been teaching some a-level student and the question said this
@JakeRose Have you tried BetterHelp™?
a-level tells me, UK somewhere. like 'grade 13' means canada. i can spot these foreign spies.
We know Jake is from that part of the world. Old news.
20:44
as long as we're all on high alert.
For high tea?
tally-ho, my chum. lorries and tuppence.
we're still waiting for what the question said. the transatlantic cable may be malfunctioning.
$\lim_{\delta x \to 0} \sum_{x=4}^{9}f(x)\delta x = \int_{4}^{9}f(x)dx$
sorry, had to type it out
You need $$
oops
Haven't need latex since I did part III
20:47
that sigma notation makes me cry. if it's supposed to be a limit of riemann sums, sure, under enough hypotheses about f.
Does anybody else agree that that isn't a definition of an integral?
Very sloppy formula for Riemann sums
my hand is up. i agree that that is not a definition of an integral.
That is wrong.
But most elementary texts make a total hash of Riemann integration, so one could see how a student might get to the point where they are writing that.
As in that equation suggest $\lim_{\delta x \to 0} ()f(4) + f(5) +f(6) +f(7) f(8) + f(9))\delta x = \int_{4}^{9}f(x)dx$ ?
Which is wrong
20:49
there isn't actually standardized notation for sums over a partition of an interval. i remember my HS calc book being very bad at this, and me realizing that being one of the first inklings that i knew more math than other people.
Okay so it's just a MASSIVE abuse of notation then
Coming from doing qft and relativity I thought I had a stroke
No reason for integers there.
@leslietownes I like $\sum_{P^*} f(x_k^*) \Delta x_k$, where I have defined $P^*$ to be a marked partition.
20:50
let's be clear. you may have had a stroke. there's nothing that rules that out.
It’s just sloppy crap.
xander: better than my high school book by a factor of 1000.
Still crap.
Because to me the summation symbol means integers
You’re summing over intervals of a partition.
20:51
yeah, i don't like "delta x". works maybe for regular partitions, but the whole point of riemann integration sometimes is that you don't have regular partitions.
i remember having all of these feelings simultaneously while looking over my AP calc AB textbook and thinking, "maybe all of these phonies were lying to me."
Put some $i$ subscripts on $x^*$ and $\Delta x$
ted and i need to stop agreeing.
oh yes I Agee @TedShifrin that's the definition I know from uni
And why I was so dumfounded at seeing this in an a-level textbook and EXAM
@TedShifrin Right. Sorry. It has been a long day.
xander's rewritten history looks OK.
20:52
Fixed.
And the largest $\Delta x_i$ needs to go to $0$.
hello
it really has been a long day, i was up at 5am to talk to attorneys in england. which suspiciously enough might be where this jake rose guy [sounds like a pseudonym] is from.
I'm an astrophysicist, we don't worry about different sized partitions...
nor the law
No wonder you wanted to skip school and go play on swings.
20:53
they do have this cool spinning swing at this one park.
there are three or four swings mounted on crossposts that rotate around a plain bearing.
it breaks every few months because they haven't figured out how to make it spin.
but they keep trying.
i am interested in large cardinals
Right. I just wrote down a Riemann sum, not the limit. To define the integral, $$\int_{a}^{b} f(x)\,\mathrm{d}x = \lim_{\|P^*\| \to 0} \sum_{P^*} f(x_k^*) \Delta x_k, $$ where $P = \{ a=x_0 < x_1 < x_2 < \dotsb < x_n = b \}$ is a partition of $[a,b]$, $\Delta x_k = x_k - x_{k-1}$, and for each $k$, $x_k^* \in [x_{k-1}, x_k]$. $P^* = \{x_1^*, x_2^*, \dotsc, x_n^*\}$.
(assuming no typos, that should be more or less correct).
i don't see a definition of $\|P^*\|$. beep beep boop boop.
Yeah, I was just editing that in.
But, since I don't want to rewrite history: $\|P^*\| = \max_k \Delta x_k$.
No, max.
20:57
holmes: good luck. :)
Oi...
I'm so tired.
Writing stupid things.
Thanks.
You’re losing your analysis badge.
i am know checking out indescribable cardinals
Given $n \in \Bbb{N}$ and $1 \le k \le n$, define $f_{n,k} : \{1,...,n\} \to \{1,....,n,n+1\}$ by

$$f_{n,k}(i) = \begin{cases} i, & i \le k \\ i+1, & i > k \end{cases}$$
What exactly does it mean to take the lift of this to $\Bbb{Z}$?
Honestly, a lot more actual English should probably be used to better describe what all of the notation means. It is a complicated definition.
20:59
but i don't know how a great Mahlo cardinal relate to indescribable
i mean greatly Mahlo

« first day (4284 days earlier)      last day (1032 days later) »