« first day (821 days earlier)      last day (4203 days later) » 

2:00 PM
...
 
@ガベージコレクタ Only lost puppies look for hugs.
 
hi anon
 
user19161
This simple question I devised has befuddled many students and teachers alike. It is important to be precise in mathematics.
 
@skullpatrol oh my ghost!
 
GOSS
Gowse
 
2:02 PM
@ガベージコレクタ Remember it is not possible to divide by 0, so the functions are different at those points, right?
 
@skullpatrol Yes.
 
4 mins ago, by skullpatrol
@ガベージコレクタ Yes, very good job.
 
@JasperLoy I should have a precise husband :-)
3
 
@ガベージコレクタ are you a girl?????
 
@Charlie I cannot declare it :-)
 
2:04 PM
@ガベージコレクタ you just did
 
@Charlie not really its 2012
 
@JohanLarsson ?
 
@ガベージコレクタ Boy or girl you are clever :-D
 
@skullpatrol Thank you so much. :-)
 
2:06 PM
it's algebraic number theory
time
 
@Charlie Two men can marry
 
@ガベージコレクタ it's ok if you're not.we're open arms here
@JohanLarsson yes, of course.
 
I was trying to be precise :)
 
OK everybody, lets take about mathematics.
 
@JohanLarsson yes, yes.
 
2:06 PM
in the set of all partners...
 
@ガベージコレクタ We just did.
 
hehe
 
2
A: Compute $\sum_{i,j=1}^{\infty} \frac{(-1)^{i+j}}{i^2+j^2}$

user8268Let us compute $$\lim_{s\to 1}\sum_{(m,n)\neq(0,0)}\frac{(-1)^{m+n}}{(m^2+n^2)^s}$$ since that's what you want to know anyway. It's mostly about arithmetics in $\mathbb{Z}[i]$, as $m^2+n^2=(m+in)(m-in)=:N(m+in)$. Also $(-1)^{m+n}=(-1)^{m^2+n^2}$, so we're after $$f(s)=\sum_{\alpha\in\mathbb{Z}[i]...

that's cute
Look at the end of his answer
 
@ガベージコレクタ Can you tell me why can we not divide by zero?
 
@jdoe oh dear!
@jdoe sincerity
 
2:08 PM
I have a function defined as f(x)=(ax^3+bx^2+cx+d)/(ex^4+fx^3+gx^2+hx+i), can you find the function range without calculus?
 
@ガベージコレクタ, I don't think I could even WITH calculus..
 
@jdoe hahahahha
 
@skullpatrol division by zero has some possible values.
 
@ガベージコレクタ What are those values?
 
±infinity + nan?
 
2:11 PM
@skullpatrol depends on how we approach to zero.
 
@JohanLarsson infinity is not a value
 
[x] swing, miss again (me that is)
 
@ガベージコレクタ Give me an example please.
 
f(x)=1/abs(x) approaches to plus infinity whenever we approach to zero.
 
Does the following set definition mean that 7 has to divide x?
 
2:13 PM
but g(x)=1/x has 2 possible values depending on how we approach to zero.
 
@soandos No. It is a set notation.
 
@ガベージコレクタ Are you saying "infinity" is a number?
 
@soandos, no look N is {1,2,3,4,...} so C is {8,9,10,11,...}
3
 
@jdoe, got it, just checking
 
2:15 PM
@skullpatrol it is a huge number:D
 
@ガベージコレクタ I did not ask you about approaching zero, I said why can we never divide by exactly zero?
 
The Hilbert Basis theorem is crazy
how the heck did he think that up
 
@skullpatrol Because intuitively there is no way to divide a pie by 0 person.
 
if $\frac{2}{0}$
 
@JasperLoy: Where are you?
 
2:18 PM
@NickKidman that is an awesome talk. I listen to it whenever I begin to feel that C++ is queer. :-)
 
what number do you multiply by 0 to give 2?
 
@ガベージコレクタ I not asking about your intuition, I'm asking about an arithmetic answer : Why can you never divide by zero?
 
in TeX, LaTeX and Friends, 1 min ago, by ガベージコレクタ
Why don't we get a compilation error whenever we write $\frac{1}{0}$?
 
@Charlie I am back.
 
MATH ERROR
 
2:22 PM
${}{}$
 
@skullpatrol let a be not 0. a/0=b then a = 0 x b. It implies a = 0 that is contradictory to our assumption. :D
 
@ガベージコレクタ This expression: a/0 means nothing to me so you can not use it, sorry.
 
@Charlie multiply with 2/0?
 
@ガベージコレクタ You are assuming division by 0 is possible at the beginning and it is not.
a/0 is meaningless for any value of a.
@ガベージコレクタ Why can you never divide by zero?
 
@skullpatrol I am thinking....
 
2:29 PM
Good... tick tock...
 
@JayeshBadwaik Hi again!!!!!
 
This chat is >> tv, sadly I'm better @ tv
 
hi @robjohn
 
@skullpatrol Hey
 
@skullpatrol: Why cannot we assume division by zero is possible?
 
2:32 PM
@Charlie $\frac20$ is not a logical value. It is not even a numerical value.
 
@robjohn yes, bob, that's our point.we can't even say that
 
@Charlie who's bob?
 
@robjohn i'm sorry...rob
 
:6739899 it's morning here... no beer for a while
 
>8(
 
2:34 PM
@skullpatrol: I give you a task too.. Can you express sin 1 degree in radical form?
I have tried but I can proceed up to 3 degrees.
For those with an idle brain: Can you express sin 1 degree in a radical form?
 
@ガベージコレクタ What do you mean by "radical form"?
 
yes you can
 
@skullpatrol With radics such as nested square root of square root of something plus something..... No trigonometry functions involved.
 
Am I allowed to use $\pi$ ?
 
@skullpatrol Of course no. :-)
 
2:40 PM
$\sin(24^\circ)=\frac18\left(\sqrt{3}+\sqrt{15}-\sqrt{10-2\sqrt{5}}\right)$
That can be divided by 8 to get $3^\circ$
 
@robjohn I can find up to 3 degrees when we consider integer angles only.
 
@ガベージコレクタ I think to get $\sin(1^\circ)$ we have to use cube roots of complex numbers to get a radical form
 
@anon nice find!
 
@anon That deals with constructibility not expressibility in radicals, right?
 
2:47 PM
if you restrict radicals to square roots, those mean the same thing no?
otherwise as you mention cube roots of complex numbers will be necessary
 
@anon yes, but the question on the table simply says radical form.
 
so that includes nth roots?
 
11 mins ago, by ガベージコレクタ
@skullpatrol With radics such as nested square root of square root of something plus something..... No trigonometry functions involved.
 
k
 
That was what I was thinking. We'd need to ask ガベージコレクタ
@ガベージコレクタ higher roots, such as cube roots?
 
2:50 PM
@ガベージコレクタ <---He asked the question.
 
@skullpatrol thanks, the question has been redirected.
 
@robjohn You can use any roots as long as there are no pi, e, trigonometry functions involved.
 
@ガベージコレクタ Are you thinking about "why can you never divide by zero"?
 
@skullpatrol Yes. I am thinking... while posting a new question to the main site.
 
2:59 PM
Good.
hi @espen180
 
Hello.
 
$$
\cos(x/3)=\frac{\sqrt[\Large3]{\cos(x)+\sqrt{\cos^2(x)-1}}+\sqrt[\Large3]{\cos(x)-\sqrt{\cos^2(x)-1}}}2
$$
 
I think I would find it useful to have a mathjax page on my own computer to take notes into
that would be easier than LaTeX
 
@jdoe on the Mac, BBEdit has an HTML interpreter and so you can do MathJax there.
@jdoe You just put the right header on the HTML page
 
cool
 
3:06 PM
@jdoe That is actually how I did the thing about $\cos(x/3)$
 
By the way how does valuation ring relate to ring of integers?
 
@jdoe there must be other editors that allow HTML markup previews.
 
2
Q: Can we express $\sin 1^\circ$ in a closed, not repetitive, radical forms?

ガベージコレクタCan we express $\sin 1^\circ$ in a closed, not repetitive radical forms? Any radical forms mean you can use any roots but without constants $\pi$, $e$ or other trigonometry functions.

 
this doesn't make sense... they only defined v : F^* -> V, but we need v : F -> V
I see no way to extend it
oh I guess you could do it if you just declare it to have some value for a uniformizer pi, since every element of F can be written u pi^n
I don't know what the valuation of a unit is
I suppose 0 = v(1) = v(uu') = v(u) + v(u') but I can't use the fact they are units to get anything
 
3:22 PM
Hi all
 
@jdoe Maybe Notepad++ speaks js?
 
hello
 
@jdoe why do we need F->F^*/D^*?
 
@anon, I'm interested thinking about defining a valuation given a valuation ring
 
3:28 PM
@skullpatrol You like Elton? I think hes meh, but your song is possibly the best lyrics ever
 
it seems like you can do it by extending the inclusion map when V is discrete
but surely it's doable in general
 
what does 0 in F get sent to in F^*/D^*? Is the next section about adding infinity not relevant?
 
oops, I should have said F^*
 
@JohanLarsson I did not know that it is "the best-selling single worldwide of all time."
 
not F
oh!!
It doesn't need extended at all! That makes perfect sense
 
3:30 PM
@jdoe but then your statement would be "this doesn't make sense... they only defined v : F^* -> V, but we need v : F^* -> V"
 
@JohanLarsson true dat. (your song lyrics)
 
okay, seems everything is clear now
 
yeah, so this gives us the valuation back!
thank you
now I can make a good note about this theorem and the proof and put it in my notes
 
afternoon
 
@JayeshBadwaik good lyrics are really rare, especially 2012
 
3:35 PM
good afternoon
 
good [current part of day in your timezone] everybody!
4
 
@skullpatrol hi!
 
@JohanLarsson I do not agree with the especially part. But yes, they are really rare.
@Nimza good prevning.
 
3:37 PM
@JayeshBadwaik but the signal to noise ratio in mainstream is really poor now, you agree on that?
 
hi @robjohn, I've disappointed today! I think that I didn't understand a thing with a convolution yesterday, I'll post it on main now
 
What is the Quantum key distribution?
 
@JayeshBadwaik heh, pre-evening? but here it is 19-38 yet!)
 
@JohanLarsson hehe, yup, may be, may be its because now that the threshold for publishing things is so low, everyone and their dogs and cats can publish stuff.
 
@Nimza what about the convolution?
 
3:39 PM
@Nimza Oh crap, I judged you were 4 hours behind. Hmm, will remember it next time.
 
It's true, my cats co-authored a paper last month, entitled "Hegemony and the Privilege of Pooping Outside: The Tyranny of Co-habitation with Canines."
 
@Charlie
Your candle burned out long before
Your legend ever did
 
@JayeshBadwaik i'm a little busy right now...but we talk ,ok?
 
@Charlie okay. solving stuff?
 
@robjohn if $\Phi_{p}(t) = \frac{t^{p-1}}{\Gamma(p)} \chi(t)$ then $\Phi_{p}(t) * \Phi_{q}(t-a) = \Phi_{p+q}(t-a)$. I've done it only for $\Re p >0$, $\Re q > 0$. I have to obtain it for any $p,q$ but I mistaked when I tried to use uniqueness theorem
 
3:42 PM
@JayeshBadwaik boring stuff :P
 
I don't know why I'm having so much struggle with valuation rings, they seem like something I would be ok with
 
@Charlie hehehe. I know, I am slightly upstream. :-)
 
oh this ones fun! Prove v(x+y) >= min(v(x),v(y)) (for v the thing above)
 
@robjohn by the context $\Phi_{p}(t)$ is a generalized function and $\Phi_{q}(t-a)$ is test function but it doesn't decrease at infinity, so I don't know what to do
 
@Nimza The problem with using those is that convolution with $\Phi_p$ is only defined for $p>0$
otherwise the kernel is not locally integrable
 
3:53 PM
I really just posted my question to the site because I thought by typing it out the answer would come to me.. but it didn't
 
@robjohn are you speaking about convolution with $\Phi_{q}(t-a)$?
@robjohn because if $f(t)$ decreases sufficiently fast at infinity convolution $\Phi_{p}(t) * f(t)$ is defined well via analytical continuation for any $p \in \mathbb{C}$, for $p = -3$ for example it is $f^{(3)}(t)$
 
@Nimza I am talking about the local integrability of $t^{p-1}$
 
Will anyone help me with local fields question?:S
 
@robjohn aha, but integrating by parts we can reduce it to $t^{p+k}$ for any $k$
 
@Nimza only if your function is $0$ to a specified degree at each point of your domain
 
4:03 PM
by the way can you have mutiple different archimedian valuations on a number field?
 
@Nimza You can integrate $t^{-7/2}$ against $t^3$, but you cannot convolve them
 
I'veonly ever seen one
 
@robjohn $\int\limits_{0}^{\infty} t^{p-1} f(t) dt = - \frac{1}{p}\int\limits_{0}^{\infty} t^{p} f'(t) dt$ if $f$ decreases sufficiently fast e.t.c., so $\langle t^{p-1} \chi(t), f(t) \rangle$ is defined for any noninteger $p$, right? Only if $f$ decreases sufficiently fast (I mean it analytical continuation)
 
@Nimza but look near $0$... you have the boundary term there. That can disappear if $f$ vanishes, but that is a problem when convolving
@Nimza forget about $\infty$, look near $0$
 
@robjohn hm, for $\Re p > 0$ this is ok (term is killed by $t^p$), for general $p$ we define $\langle t^{p-1} \chi(t), f(t) \rangle$ as this integral on the right, forgetting about terms, isn't true?
 
4:15 PM
@Nimza yes, but then the convolution with anything is not integrable (even though your functions decay at $\infty$, their convolutions do not)
 
If there is anybody who is familiar with so-called "schatten norms" please take a look on my question math.stackexchange.com/questions/227001/trace-norm-properties
 
@robjohn $ t^{p-1}\chi(t) * f(t) = \int\limits_{0}^{\infty} \tau^{p-1} f(t - \tau) d\tau$ It is sufficient to say that $\mathrm{supp}\; f \subseteq [a,+\infty)$ in order to solve problems, right?
 
@Nimza that is what I was saying. $f$ needs to decay fast on the domain you are looking at, so to define the convolution on $[0,a]$ you'd need $f(x)=0$ on $[0,a]$
 
if a monic integer polynomial P(x) has a root in Q_p (e.g. by hensel lemma) must it's p-ary expansion be periodic?
 
if the p-ary expansion were periodic then the root would be rational
simply by breaking the expansion into a finite sum of geometric series
also I've never seen p-ary used in place of p-adic
n-ary usually refers to the number of arguments a function or operation takes in
 
user19161
4:26 PM
Neither have I.
 
@robjohn oh, why we are interested in behavior of $f$ at it's support if integral is taken only over finite segment (when $f(x) = 0$ for any $x<a$, where $a$ is a fixed const) and replacing $\tau^{p-1}$ by $\tau^{p+k}$ we can reduce it to integral of continuous function?
 
ooh that answers an earlier question of mine
 
@robjohn I think that $\mathrm{supp} \; f \subseteq [a,\infty)$ is a sufficient condition for convolution to exist for any $t$
 
@Nimza that is what I just said, but then you can only look at the convolution over a finite segment
 
by the way the only rational roots of monic irreducibles are the usual integers
 
4:28 PM
@anon, I added a comment based on what you said here math.stackexchange.com/questions/227563/… !!
 
for suppose otherwise, homogenize, then take modulo the denominator's value and you get (not-zero)=zero
 
ah yes, this is coming back to me :D
 
$o_n$ will be bounded in the p-adics however
 
oh yes! I better point that out, because that's quite subtle. I am thinking of it as an integer
 
and indeed $f(a_n)/p^n\in\Bbb Q_p$ is sort of a measure of the rate of covergence
 
4:31 PM
@Nimza So if you completely avoid the singularity, by having your function be zero over a certain range and only looking at the convolution over a certain range, the integration by parts works.
 
interesting!
I was using hensels lemma to build numbers b given a, (a,10)=1 such that ab = 1111111..111111
and looking at f(a_n)/p^n was very interesting but I didn't get any theorems about it
 
@robjohn nice, thank you :)
 
but now I have one! :)
 
@robjohn hence convolution $\frac{t^{p-1}}{\Gamma(p)} \chi(t) * f(t)$ is defined for any smooth function $f$ with support in some inverval $[a,\infty)$ for any complex $p$ and for any real $t$
 
4:46 PM
Is there any function that locally injection implies global injection?
 
@Nimza not for any real t, but for a restricted region so that the convolution never hits the singularity
 
@Charlie, what does locally injective mean?
something like if f is injective on any ball then it's injective everywhere?
 
@robjohn but why? we have inregration of continuous function over compact for any $t$
 
We say that F is locally injective (or locally one-to-one) at a if there exists a
neighborhood U of a such that F|U is injective
 
@robjohn $\int\limits_{0}^{a-t} \tau^{p+k-1} f^{(k)}(t - \tau) d\tau$
 
4:51 PM
@OldJohn hi, john!
 
ah
 
@Charlie Hi there!
 
@OldJohn wassup?
 
@Charlie Nothing going on here - just woke up :)
and you?
 
@OldJohn hmm the same of always
 
user19161
4:54 PM
@Charlie My XXX.
 
@JasperLoy hmm can i ask you something?
 
user19161
@Charlie Yes?
 
@Nimza because of the singularity being locally non-integrable, the convolution is only defined where the function itself is identically 0
 
@JasperLoy could PLEASE back to that old blue????
 
user19161
@Charlie Hmm, I will consider. I might do it if someone more important asks me to. =)
 
4:56 PM
@robjohn $f$ is smooth, any it's derivative is continuous, I think there are no singularities
 
@JasperLoy okay jasper, okay....OKAAAAAAAAAAAYYYYYYYYYYYYYYYYYY
 
user19161
Hey @peter! See my new blue!
 
@Nimza $f$ is smooth, but $t^{p-1}\chi$ is not
 
@JasperLoy France
 
user19161
@PeterTamaroff Ah, my second favourite country.
 
4:57 PM
@robjohn aha! but we don't integrate it, we integrate $t^{p+k-1}$
 
@Nimza and the integration by parts is only going to work when evaluating the convolution at points where $f=0$
@Nimza you can only do that when integration by parts works
 
@robjohn Have you heard about Bernstein's theorem for Taylor Polynomials?
 
@JasperLoy son of a....
 
@robjohn but we consider $t^{p-1}\chi(t)\frac{1}{\Gamma(p)}$ as an analytic continuation, so from the start we have an integral of $t^{p+k-1}$
 
@PeterTamaroff I don' think so. Do you have a reference?
 
5:00 PM
@robjohn What does "reference" mean?
 
@PeterTamaroff a link or something that talks about it, you know, a reference.
 
@robjohn here @PeterTamaroff I think this is the one you meant?
 
@Nimza as an analytic continuation of what? Perhaps if I knew that, this might make more sense.
 
@robjohn Well, it says that if there is an interval $[0,r]$ for which $f^{(k)}(x)\geq 0$ for $k=0,1,\dots$ then $f$ is analytic on $[0,r]$.
@JayeshBadwaik Yes.
Seems an open interval works just as well.
 
@robjohn I'll be back in some minutes, i'm going to eat now
 
5:03 PM
@JayeshBadwaik The formula in Theorem 2.75 has $n$ where it should have $n!$
 
@robjohn I wanted to ask you something.
@robjohn Oh no! =)
 
@robjohn Yeah! Did not notice that. :-) Nice catch.
 
@PeterTamaroff since you could put as large a closed interval inside the open interval, I would guess so.
 
@robjohn I have a question.
 
@PeterTamaroff When are you going to ask your question?
 
5:15 PM
@robjohn Hehe OK, now.
 
hello
 
@jdoe hola!
 
I know that if $\{a_n x^n\}$ is summable for $x=x_0$ then it is uniformly and absolutely summable for $|x|<|x_0|$.
 
:)
 
Thus I can manipulate quite freely.
 
5:16 PM
@PeterTamaroff sure
 
hey how did you know it's absolutely summable?
 
Integrate termwise, diff. termwise, multiply with Cauchy's prod. &c
@jdoe Cf. Later on.
 
??
 
@jdoe Just wait a while, I'll tell youi
@robjohn Now.
Consider the usual proof that $$\Gamma(s)\zeta(s)=\int_0^\infty \frac{x^{s-1}}{e^x-1}dx$$
where we integrate termwise.
How do we justify termwise integration over $\Bbb R$?
 
@jdoe if $a_nx_0^n$ is summable, we must have $a_nx_0^n\to0$ and therefore, $|a_nx_0^n|<M$. Therefore, $a_nx^n<M(x/x_0)^n$ is a geometric series
 
5:19 PM
I know this is true for closed intervals $[a,b]$
But I don't know if this is true whenever convergence is uniform over some domain $D\subset \Bbb R$.
 
very nice! thanks
 
@PeterTamaroff You mean why can we write $\frac1{e^x-1}=e^{-x}+e^{-2x}+e^{-x}+\dots$ and integrate?
 
@JasperLoy: hi!!!!!
 
@PeterTamaroff think monotone convergence
 
@robjohn Sorry?
 
5:23 PM
@PeterTamaroff the partial sums of $e^{-x}+e^{-2x}+e^{-x}+\dots$ converge monotonically to $\frac1{e^x-1}$
 
@robjohn Dini's Theorem?
 
@robjohn I mean that $h(p,t) = \int\limits_{0}^{\infty} \Phi_{p}(\tau) f(t-\tau) d\tau$ is originally defined for any real $t$ for $\Re p > 0$ right? Here $f$ is with support in $[a,\infty)$
 
@PeterTamaroff monotone convergence... why does that not work for you?
 
@robjohn Just monotone converge of a sequence?
 
@PeterTamaroff Lebesgue Monotone Convergence
 
5:25 PM
@robjohn I don't know what that is =/
 
@robjohn then it's analytic continuation to $\Re p > -1$ is defined by formal integration by parts without terminal term
 
@PeterTamaroff look here: en.wikipedia.org/wiki/…
 
@robjohn Oh, man. I don't know about measure spaces.
 
@Nimza usually one shows some contour integral that equals this convolution and then you can use integration by parts on that. But I am not sure how you are defining this for general $f$.
 
5:31 PM
@robjohn that's defined for general smooth $f$ with support in some $[a,\infty)$. Then $\Phi_{p}(t)*f(t)$ is just $f$'s fractional derivative of order $-p$ in sense of distributions (by definition in a paper i'm reading)
 
@Nimza if you have $\mathrm{Re}(p)>0$, you don't need to limit the support of $f$, for $\mathrm{Re}(p)\le0$, we need to restrict the support of $f$ and then $\Phi_p*f$ is only defined where $f\equiv0$
@Nimza I have not figured out how to analytically continue it yet. I need to think on that.
 
@robjohn ok :( thanks
 
It's November. How is it November.
 
5:48 PM
sup
I badly need help with local fields but I don't know who I can ask
this is the first time "office hours" would be AMAZINGLY HELPFUL but they don't do them
 
If you are tired because of solving math, lets eat an omelet i.stack.imgur.com/l5zqY.gif
 
hehe
 
are omlets with chicken a reasonable thing?
 
@ガベージコレクタ, I am having rice & miso and then I will do more math
 
I have 10 eggs and 1kg of chicken breast
 
6:02 PM
it's fine NICK
 
going to workout now
 
user19161
I have 2 breasts and no eggs, lol.
 
everybody has eggs
depends on your semantics of course
but then again, reading the word "but", or "then", or "again", or "reading", or "the", or "word", or "or", or "does", or "too", does too.
 
I made the omelet sophisticatedly without an egg and frying pan.
31
A: How can I draw an egg using TikZ?

ガベージコレクタA broken egg with PSTricks. \documentclass[pstricks,border=12pt]{standalone} \begin{document} \begin{pspicture}(4.5,4.5) \pscircle*[linecolor=orange](2,2){1} \pscurve(0.5,0.5)(0.25,2)(1,3)(2,4)(4,4)(4.5,3)(4,1)(0.8,0.2)(0.5,0.5) \end{pspicture} \end{document} Animated version: on th...

 
that's cool!
 
6:09 PM
there are also threads on how to generate xkcd style graphs. One is on MathematicaSE and on on LaTeXSE.
 
does anyone know local fields? I am so stuck on my proof
 
For those whose an idle brain, could you evaluate $$
\frac{y(x)}{3}=e^{-x}\sin(2x)+\int_0^x\left[e^{-\lambda}\sin(2\lambda) e^{-(x-\lambda)}\sin(x-\lambda)\right]\textrm{d}\lambda
$$
Why don't MathJax work in chat room?
 
It works, check the first starred message.
 
Click your MathJax bookmark.
 
@JayeshBadwaik: Where is the starred message?
 
6:14 PM
Here Don't star this.
 
@JasperLoy: HI!
 
user19161
I just got the suffrage badge for using 30 votes in a day.
 
I think there is a small mistake in my final result for the question number e here math.stackexchange.com/a/227583/26975
 
somebody help
0
Q: limit of convergent series

pourjourWhat is the limit of U_n = \frac{2U_n + 3}{U_n + 2} and U_0 = 1? I need a the detail, and another way than using the solution of f(x)=x, as f(x) = (2x+3)/(x+2) because I can't found that f(I) C I as I = ]-infini; -2[U]-2; +infini[

 
@pourjour, $s first
 
6:23 PM
@jdoe what ??
 
@pourjour, you need to put $ for the equations to show up nicely
 
@jdoe ah I didn't know about this !
 
6:36 PM
@pourjour, I prove existence of the limit then solve it
 
@jdoe I know that there is a limit but how can I found it
 
how do you know?
@pourjour, how
 
I prove that Un is incremental and has a maxima
 
oh that is fine, I used banach fixed point theorem
 
@jdoe isn't it
@jdoe what is banach fixed theorem
 
6:43 PM
see my answer to your question
 
@jdoe you solved the equation f(x)=x
 
and?
 
@jdoe but to to that have to that f(x) is continuous and f(I) C I also U_0 is in I also you have to prove that Un is convergent
 
no I used banach fixed point theorem
 
@jdoe yeah but before that you have to check all this requirements
 
6:46 PM
no
continuity is a consequence of the fact it's a contraction (which I proved)
but I don't even use continuity
 
@jdoe I looked here and I didn't understand anything
 
@ガベージコレクタ did you get the ChatJax working?
 
@pourjour, I can explain it if you like
 
@jdoe ok
 
@pourjour, so what is not clear?
 
6:50 PM
@robjohn I don't know how to do.
 
@jdoe sorry, but I didn't understand this theorem you know I'm just in high school
 
@ガベージコレクタ did you go to this page?
 
Where Beta function may be meromorphically continued? From $B(x,y) = \frac{\Gamma(x)\Gamma(y)}{\Gamma(x+y)}$ I see that it has problems at $x + y = -k$. So if the maximal domain is $\mathbb{C}^2$ without $x+y = -k$, $k=0,1,2,\ldots$?
 
@pourjour, oh this theorem is a bit too advanced then
 
@jdoe can u please simplify it so I can understand it or just show me another way
 
6:52 PM
no
 
@robjohn I dont understand
 
@ガベージコレクタ on that page, do you see the link "start ChatJax"?
 
@jdoe so there is no other way
 
there might be, I don't know it
 
I dont understand what is that.
 
6:59 PM
@ガベージコレクタ you don't understand what a link is? what a page is? what is it you don't understand?
 
@jdoe so how did u found it using this theorem I will try to understand your solution than the theorem
 
@robjohn I don't understand what the page explains.
 

« first day (821 days earlier)      last day (4203 days later) »