Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
TPID 4
#1
here i give a ( nonunique short ) proof of TPID 4.

remember that entire taylor series are coo everywhere. ( infinitely differentiable for all finite complex )

let f(z,1) be an entire periodic function with f(0,1)=f(1,1)=1 and period 1.

and f(z,1) is not identically 1 for all z.

we will prove that for complex b with arg(b) <> 0 , the only solution to the equations is f(z,1) * b^z and hence the proof follows.

let k and n be positive integers.

f(0) = 1
f(z+k) = b^k f(z)
f = entire

then

take the derivative of the equation f(z+k) = b^k f(z) on both sides

f ' (z+k) = b^k f ' (z)
again
f '' (z+k) = b^k f '' (z)

and in general

f^(n) (z+k) = b^k f^(n) (z)

hence because of taylors theorem we must conclude

f(z) = f(0) * f(z,1) * b^z in the neighbourhood of 0.

but since f is entire it must be true everywhere and f(0) = 1 hence

f(z) = f(z,1) b^z

for all z.

if arg(b) <> 0 then the period of b^z does not have Re <> 0 and hence b^z is unbounded on the strip.

if f(z) needs to be bounded and b^z is not bounded , this implies that f(z,1) needs to be bounded.

but this is impossible since f(z,1) has a real period and is entire , it must be unbounded on the strip.

( remember f(z,1) =/= 1 everywhere by definition )

the product of two functions unbounded in the same region must be unbounded in that region.



QED

regards

tommy1729

* post has been edited *
Reply


Messages In This Thread
TPID 4 - by tommy1729 - 08/23/2012, 04:26 PM
RE: TPID 4 - by tommy1729 - 08/24/2012, 03:12 PM
RE: TPID 4 - by tommy1729 - 03/28/2014, 12:04 AM
RE: TPID 4 - by sheldonison - 06/15/2014, 06:22 PM
RE: TPID 4 - by tommy1729 - 04/26/2014, 12:24 PM
RE: TPID 4 - by sheldonison - 04/27/2014, 04:37 AM
RE: TPID 4 - by tommy1729 - 04/27/2014, 01:40 PM
RE: TPID 4 - by tommy1729 - 06/15/2014, 06:35 PM
RE: TPID 4 - by sheldonison - 06/15/2014, 06:42 PM
RE: TPID 4 - by tommy1729 - 06/15/2014, 07:09 PM
RE: TPID 4 - by sheldonison - 06/15/2014, 07:35 PM
RE: TPID 4 - by tommy1729 - 06/15/2014, 08:10 PM
RE: TPID 4 - by mike3 - 06/17/2014, 09:30 AM
RE: TPID 4 - by tommy1729 - 06/17/2014, 12:21 PM
RE: TPID 4 - by sheldonison - 06/17/2014, 06:16 PM
RE: TPID 4 - by mike3 - 06/17/2014, 09:48 PM
RE: TPID 4 - by sheldonison - 06/17/2014, 11:43 PM
RE: TPID 4 - by tommy1729 - 06/18/2014, 12:23 PM
RE: TPID 4 - by sheldonison - 06/18/2014, 12:59 PM
RE: TPID 4 - by tommy1729 - 06/18/2014, 10:21 PM
RE: TPID 4 - by sheldonison - 06/18/2014, 10:41 PM
RE: TPID 4 - by tommy1729 - 06/18/2014, 11:15 PM
RE: TPID 4 - by tommy1729 - 06/17/2014, 10:46 PM
RE: TPID 4 - by tommy1729 - 06/16/2014, 09:21 PM
RE: TPID 4 - by tommy1729 - 06/16/2014, 10:45 PM
RE: TPID 4 - by tommy1729 - 06/16/2014, 10:49 PM
RE: TPID 4 - by tommy1729 - 06/16/2014, 10:57 PM
RE: TPID 4 - by tommy1729 - 06/17/2014, 10:48 PM
RE: TPID 4 - by tommy1729 - 06/18/2014, 10:38 PM
RE: TPID 4 - by tommy1729 - 07/07/2014, 11:56 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Sexp redefined ? Exp^[a]( - 00 ). + question ( TPID 19 ??) tommy1729 0 2,036 09/06/2016, 04:23 PM
Last Post: tommy1729
  Flexible etas and eulers ? TPID 10 tommy1729 0 1,823 08/19/2016, 12:09 PM
Last Post: tommy1729
  (almost) proof of TPID 13 fivexthethird 1 2,953 05/06/2016, 04:12 PM
Last Post: JmsNxn
  introducing TPID 16 tommy1729 4 6,248 06/18/2014, 11:46 PM
Last Post: tommy1729
  TPID 8 tommy1729 0 2,263 04/04/2011, 10:45 PM
Last Post: tommy1729
  Discussion of TPID 6 JJacquelin 3 7,160 10/24/2010, 07:44 AM
Last Post: bo198214
  Another proof of TPID 6 tommy1729 0 2,465 07/25/2010, 11:51 PM
Last Post: tommy1729
  proof: Limit of self-super-roots is e^1/e. TPID 6 bo198214 3 8,126 07/10/2010, 09:13 AM
Last Post: bo198214



Users browsing this thread: 1 Guest(s)