User:Titus III

From Wikipedia, the free encyclopedia
Jump to: navigation, search

yo mama

Update, 11/5/2012[edit]

This is similar to the 11/3/2012 update. Let,

be a positive integer for some odd number n. Thus, there are only 4 possibilities: . Given the standard Ramanujan theta functions , then,

For example, for n = 5, hence m = 3, we have,

and so on for the other three n.


Update, 11/4/2012[edit]


(Note, as usual, that the even-index h_k have a negative sign.) It turns out that appropriate pairs of h_k are roots of a polynomial whose coefficients are in , analogous to the case for n = 13 discovered by Ramanujan. Since one pair is a constant, , then the remaining five are the roots of a quintic (naturally enough) given by,

with j as the eta quotient given above. The roots are then,

(Note: The quintic looks vaguely familiar to me, it seems I've come across it before, or something similar in the course of my research into the Rogers-Ramanujan continued fraction, but I cannot recall precisely in what context.)


Update, 11/3/2012[edit]

Here is a generalization of one identity described by Berndt as "...fascinating, but with no direct proof" (Ramanujan's Notebooks III, p.322). Let,

be a positive integer for some odd number n. Of course, there are only 6 possibilities: . Given the standard Ramanujan theta functions , then it is proposed that,

and, as suggested by Michael Somos, by using a Fricke involution,

Thus, for n = 3, we have,


and so on for the other five n, with the case n = 7 given in page 322 which was the inspiration for this generalization. I have no rigorous proof for this "family", but one can easily see via Mathematica that the proposed equality indeed holds true for hundreds of decimal places.


Update, 11/2/2012[edit]

It seems Ramanujan missed certain aspects of theta quotients at p = 13.

I. Case p = 7

To illustrate, define the quotients for p = 7 as,


(Kindly note that the even-index are negative.) Given the Dedekind eta function , let,

then Ramanujan found that the 3 roots of the cubic,


It turns out that for p = 13, then the 13th power of the analogous theta quotients are the 6 roots of a sextic.

II. Case p = 13



(As before, the even-index are negative.) Let,

Ramanujan discovered that the 3 roots of the cubic,


However, if a modular equation can be found between, say, , then we can eliminate , and have an equation solely in and . After some effort using Mathematica's integer relations algorithm, I found that, let,


(The same relation exists between the other pairs.) Eliminating , one gets the sextic in ,

where the are polynomials in the eta quotient of degrees 7, 13, 18, 20, 15, respectively. Explicitly, the first one is,

though the others are too tedious to write down. One can then ascertain that the 6 roots of the sextic are in fact .

(P.S. I do not see this sextic, nor the modular relation between the , in Ramanujan's Notebooks III, Entry 8, page 372, which discusses the theta quotients for p = 13. But I find it satisfying that the results for p = 7 can be extended to the next "lacunary" prime p = 13.)

----------- End -----------

Update, 9/23/2012[edit]

In Ramanujan's Notebook IV, (entries 51-72, p.207-237), there are 23 of Ramanujan's P-Q modular equations. However, it seems he missed the prime orders p = 11,13. Since the Dedekind eta function is , for convenience I'll use instead.

I. p = 2

For comparison, Ramanujan found modular relations between and for n = 3, 5, 7, 9, 13, 25. For example, he found,

1. Define , then,

II. p = 11

But there are also relations between and for n = 2, 3, (and 5, 7, 13?) with the first two as,

1. Define , then,

2. Define , then,

3. For comparison, define , then,

No.3 is equivalent to Somos' level 33 identity.

- - - - - - - - - - - - - - - - - - - - -

III. p = 13

Likewise, there are modular relations between and for n = 2, 3, 5, 7, with the first two being,

1. Define , then,

2. Define , then,

I do not know if there is a p = 17 identity similar to the ones above.


Update, 9/16/2012[edit]

Given the Dedekind eta function . Let p be a prime and define ,

1. Let p be a prime of form . Then for :

2. Let p be a prime of form . Then for :

Are these two multi-grade identities true?


Update, 9/11/2012[edit]

In "An Identity for the Dedekind eta function involving two independent complex variables", given two complex numbers with imaginary part > 0, Berndt and Hart gave the identity,

and remarked that they, "...know of no other examples of a similar type." However, it seems the above is just the smallest member of an infinite family of cubes of the Dedekind eta function,

where p is ANY PRIME of form , with the Hart-Berndt identity simply the case . It is easy to test the family using Mathematica and see that it holds for hundreds of decimal digits, but I have no proof that it is generally true.


Update, 4/10/2009[edit]

Conjecture 1. Based on Simon Plouffe's work on pi.[1] (April 10, 2009)

Let q = eπ and k be of the form 4m+3. Then it is true that,

where a,b are integral. (The denominator b turns out to be a highly factorable number.)

For the first few k, we have:

k a b
3 1
7 13
11 32072
15 219824

and so on. Anyone knows how to prove this conjecture?

UPDATE (May 18, 2009)

Turns out there is a closed-form formula for (a/b). This is based on Theorem 6.7 (page 11) of Linas Vepstas' On Plouffe's Ramanujan Identities.[2]

Let q = eπ and k = 4m-1 (note this minor change), then

Where r is a rational number defined by,

and B[w] is a Bernoulli number.

Conjecture 2. Still based on Plouffe's work on pi but now involves powers k = 4m+1. (May 19, 2009)

Let q = eπ and k be of the form 4m+1. Then it is true that,

where r is a rational number.

For the first few k = {1,5,9,13,...} we have:

r = {1/24, 1/63, 164/13365, 76192/9823275,...}

and so on. Is there a closed-form formula for r when k = 4m+1?


  1. ^ Plouffe, Simon. "Indentities inspired by Ramanujan's Notebooks (part 2)" (PDF). Retrieved 2009-4-10.  Check date values in: |access-date= (help)
  2. ^ Vepstas, Linas. "On Plouffe's Ramanujan Identities" (PDF). Retrieved 2009-5-18.  Check date values in: |access-date= (help)