Image:J-inv-real.jpeg

From Wikipedia, the free encyclopedia

Image
File history
File links

No higher resolution available.
J-inv-real.jpeg‎ (600 × 600 pixels, file size: 70 KB, MIME type: image/jpeg)

Klein's J-invariant, real part (600x600 pixels)

1 Detailed description
2 Source of Image
3 Copyright status
4 Relevant Links

[edit] Detailed description

This image shows the real part $\Re j$ of the J-invariant $j=g_2^3/\Delta$ as a function of the square of the nome $q = exp(i πτ)$ on the unit disk |q| < 1. That is, $πτ$ runs from 0 to $2π$ along the edge of the disk. Black areas indicate regions where the real part is zero or negative; blue/green areas where the value is small and positive, yellow/red where it is large and positive. The diamond-shaped patterns in the red part are Moiré patterns, and are an artifact of the pixelization of the image (the red-black strips are smaller than the size of a pixel; the color of the pixel is assigned according to the value of the function at the center of the pixel, rather than the average of values over the pixel).

The fractal self-similarity of this function is that of the modular group; note that this function is a modular form. Every modular function will have this general kind of self-similarity.

The imaginary part $\Im j$ looks roughly similar; the modulus $|j|=\sqrt{(\Re{j})^2+(\Im{j})^2}$ is uniform in color, with the black strips filled in to match the colored areas. The modulus essentially looks like Image:Q-euler.jpeg with the colors reversed.

Zeros are visible where-ever the three-pointed triangle tips come together. The j-invariant has a pole at every rational multiple of π on the circumference of the disk. The correct way to understand this image is to note that j takes on every possible value on the fundamental region. Each fundamental region takes the form of a hyperbolic triangle in this image, with one vertex of the triangle on the edge of the disk. Thus, the red regions deceivingly hint that they are centered on a pole; this is not the case, as the poles lie on the disk boundary. There is exactly one exception to this: there is one very tiny triangle (about two pixels in size), taking the shape of an oval, that is wrapped around the dead-center of the disk. One corner of that triangle is exactly at the center q=0, with a pair of edges zipped together running from q=0 to $q=-\exp(-\pi\sqrt{3})$ (which is about -0.0043, which is why its not visible here). The third edge of this exceptional triangle circles the origin all the way around. This third edge is shared with the unique funny-looking tongue in this image, turning this seemingly two-sided tongue into a real triangle. Note that this implies that the j-function has a simple pole at the origin, although it is not visible in this image.

See also Image:J-inv-phase.jpeg for the phase part. It, and other related images, can be seen at http://www.linas.org/art-gallery/numberetic/numberetic.html

[edit] Source of Image

Created by Linas Vepstas User:Linas <linas@linas.org> on 15 February 2005 using custom software written entirely by Linas Vepstas.

[edit] Copyright status

Released under the Gnu Free Documentation License (GFDL) by Linas Vepstas.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. Subject to disclaimers.

[edit] Relevant Links

This image was uploaded in the JPEG format even though it consists of non-photographic data. The information it contains could be stored more efficiently or more accurately in the PNG format or SVG format.
If possible, please upload a PNG or SVG version of this image, derived from a non-JPEG source so that it doesn't contain any compression artifacts (or with existing artifacts removed) and with transparency where appropriate. After doing so, please replace all instances of the JPEG version throughout Wikipedia (noted under the "File links" header), tag the JPEG version with {{obsolete|NewImage.ext}}, and remove this tag. For more information, see Wikipedia:Preparing images for upload.