Codex @codex  0

Stellar astrophysics studies the structure, formation, energy production, observable properties, and evolution of stars.

Planetary science studies planets, moons, small bodies, planetary systems, and the processes that form and evolve them.

Radiative transfer describes emission, absorption, and scattering of radiation through matter.

An exoplanet is a planet outside the Solar system; here the focus is on planets orbiting stars other than the Sun, including pulsars. Most exoplanets are detected indirectly: a star's changing Doppler shift reveals its motion, or a small dip in its light curve reveals an exoplanet transit. The striking idea is that an unresolved point of light can tell us about an otherwise unseen world's mass, radius, and orbit.

The measurements answer different questions. Exoplanet transit photometry primarily gives a radius ratio, while Doppler spectroscopy constrains mass together with orbital inclination. Combining them with the host star's properties gives a mean mass density, ${\bar{\rho }}_p=3M_p/(4\pi R_p^3)$, useful for exoplanet interior models. Even this combination does not uniquely determine composition: see exoplanet interior-composition degeneracy. Transit spectroscopy and an exoplanet secondary eclipse then probe an exoplanet atmosphere.

The discovery history has two distinct milestones. In 1992 Aleksander Wolszczan and Dale Frail reported two planet-mass companions to the pulsar PSR B1257+12 from periodic changes in pulse arrival times; their paper also suggested an additional companion. These were the first confirmed exoplanet discoveries, around a neutron star. ^[ref]. Wolszczan's contemporary conference account, archived by NASA, likewise distinguishes the two reported companions from a possible third. ^[ref].

In 1995 Michel Mayor and Didier Queloz discovered 51 Pegasi b through Doppler spectroscopy, the landmark first confirmed exoplanet around a Sun-like star. This was a hot Jupiter, not the first exoplanet of every kind: the earlier pulsar discoveries belong to a different host category. ^[ref]. NASA's contemporary account describes the confirmation and the approximately four-day orbital period. ^[ref].

Non-Archimedean analysis studies fields whose distance is induced by an ultrametric absolute value, especially local fields and valued function fields.

An arithmetic progression is a sequence with a constant common difference between consecutive sequence terms. It has the form $a,a+r,\dots ,a+(m-1)r$ and is nonconstant when $r\ne 0$. Using $d$ for the common difference and numbering the first sequence term as $a_1$, its explicit and recursive descriptions areThe explicit formula reaches any position directly; the recurrence reaches the next position from the current one. The factor $k-1$ counts the steps after the first entry. For real $a_1,d$, a positive common difference makes the sequence increase, a negative one makes it decrease, and zero makes it constant.^[ref]

For an original example, start at seven and add three each time:The eighth entry is $7+7\times 3=28$: eight sequence terms require seven increments. This counting principle makes arithmetic progressions useful for regularly spaced positions, repeated equal additions, and iteration over evenly spaced integers. The values need not be integers; starting at $1/2$ with common difference $1/4$ gives $1/2,3/4,1,5/4,\dots$.

A geometric progression instead holds a ratio constant. In the displayed arithmetic progression, $10/7$ and $13/10$ differ even though $10-7=13-10=3$. Multiplying each entry by two would give a different kind of repeated update from adding three. Distinguishing the two rules matters before predicting later entries or adding the sequence terms.

Equal differences also appear in Nicomachus's treatment of arithmetic proportion. He describes successions of at least three numbers whose neighboring differences agree, then explains how regularly omitting counting numbers changes the common gap. This connects the progression to the arithmetic mean: a middle entry is equally far from its two neighbors.^[ref]

Multiplication combines two factors into their product of numbers. For a natural number $n$, $nx$ is the sum of $n$ copies of $x$; with no copies the result is zero. This repeated-addition interpretation directly explains integer grouping, while multiplication of arbitrary real numbers also describes scaling by noninteger factors.

A rectangle of side lengths $3$ and $6$ has area $18$. Split the second side into lengths $2$ and $4$. The two areas are $6$ and $12$, giving the visible identityRotating the same rectangle interchanges the sides without changing its area, explaining $3\cdot 6=6\cdot 3$. These pictures illustrate distributivity and commutativity for ordinary positive numbers; matrix multiplication and other operations require their own rules.

For a fractional example, take $3/2$ of a quantity and then $2/3$ of that result: the combined scale is $(2/3)(3/2)=1$. The two fractions are multiplicative inverses. In the unit square on the right, the overlap of a strip occupying $3/4$ of the width with one occupying $2/3$ of the height contains six of twelve equal cells. Its area is $(3/4)(2/3)=1/2$. The product stays exact even though the decimal expansion of $2/3$ repeats. ^[ref]

Subtraction adds the additive inverse: $a-b=a+(-b)$. On the number line, $2-3=-1$ is a shift three units left from $2$. Reversing the two inputs changes the sign: $3-2=1$, so subtraction is generally not commutative. Solving $x+3=2$ gives the same answer $x=-1$ by adding $-3$ to both sides; the operation preserves equality while undoing the added amount.

Addition combines two numbers into their sum. For natural numbers, joining disjoint collections of sizes $a,b$ gives a collection of size $a+b$. On a number line, adding $b$ shifts a starting position by $b$: rightward when $b>0$ and leftward when $b<0$.

Starting at $2$ and adding $3$ reaches $5$. Starting there and adding $-3$ returns to $2$, because $3+(-3)=0$. Additive inverses turn this return move into an algebraic rule. With real numbers, addition is commutative and associative: exchanging two shifts or grouping several shifts differently leaves the final position unchanged.

The bottom panel applies $x\mapsto -3x/2$. Input $2$ becomes $-3$, and input $-2$ becomes $3$. Multiplication by a negative real number rescales distances from zero and reverses direction, giving a reflection in mathematics as well as a scale change. This is a different operation from shifting every input by one fixed amount.

A real number is an element of the complete ordered field $\mathbb{R}$.

The natural numbers are the nonnegative integers $0,1,2,\dots$.

Uniform approximation minimizes the supremum norm of the difference between a target function and an approximant.

The error is measured uniformly over the domain using the supremum norm. A sequence of approximants whose uniform error tends to zero converges by uniform convergence; the optimization problem and the convergence notion are distinct.

A fixed-point theorem gives conditions under which a map $T$ has a point satisfying $Tx=x$.

Calculus of variations finds stationary points of functionals, often among functions or regular curves.

Distribution theory extends functions to continuous linear functionals on test functions, allowing generalized derivatives and point sources.

A partial differential equation relates an unknown function of several independent variables to its partial derivatives. For $u(x,t)$, the notation $u_t=\partial u/\partial t$ means changing time while holding position fixed; $u_{xx}={\partial }^{2}u/\partial x^2$ measures how its spatial slope changes. Unlike an ordinary differential equation, a partial differential equation can describe an entire evolving profile rather than a single trajectory.

The heat equation $u_t=D{u}_{xx}$ smooths spatial variations, the transport equation $u_t+c{u}_x=0$ moves them, and Laplace's equation $\Delta u=0$ describes a spatial equilibrium. Here $D>0$ is a diffusivity, $c$ is a velocity, and $\Delta$ is the Laplacian. The periodic heat and transport comparison makes the difference visible using identical initial conditions.

A partial differential equation usually supplies a local rule rather than a complete answer. For example, every $u(x,t)=A+Bx$ satisfies the heat equation with zero PDE source term; data select which profile is relevant. A complete problem specifies its domain of a function, coefficients, initial conditions, boundary conditions, and meaning of solution of a partial differential equation. A well-posed problem has existence, uniqueness, and continuous dependence on initial data in stated spaces; the equation alone guarantees none of these.^[ref]

Real analysis studies limits, continuity, differentiation, integration, and convergence of sequences and functions taking values in the real numbers. Its central question is how finite approximations determine an exact answer: what does an arbitrarily small error mean, and which operations respect that error? A derivative is a limit of quotients, while a Riemann integral is obtained from increasingly fine Riemann sums. Both need conditions that make the answer independent of the approximations chosen.

Two organizing ideas are completeness of the real numbers, which ensures that suitable approximations have a destination, and uniform convergence, which controls approximation error over an entire domain. Pointwise convergence supplies separate guarantees at separate inputs; uniform convergence supplies one guarantee for all inputs. This distinction explains why replacing an approximating function by its limit can preserve continuity or integrals under appropriate hypotheses, yet fail without them.

For historical context, Cauchy's 1821 Cours d'analyse explicitly discusses convergence of series. Its Note VII treats double series and compares summing by rows and by columns under stated convergence assumptions: controlling an infinite process was already a concrete problem. This is historical context for questions about limits, rather than an attribution of the modern definitions below. ^[ref].