Concave function second derivative is negative then it is strictly concave, but the opposite is not true, as shown by . 4. If is concave and differentiable, then it is bounded above by its first-order Taylor approximation: 5. A continuous function on is concave if and only if for any and in 6. If a function is concave, and , then is subadditive on formula_21. Proof: 1. A function is concave over a convex set if and only if the function is a convex function over the set. 2. The sum of two concave functions is itself concave and so is the
Luneburg lens one side, and formula_14 only on the other: The parameter formula_19 is a constant for any given ray, but differs between rays passing at different distances from the centre of the lens. For rays passing through the centre, it is zero. In some special cases, such as for Maxwell's fish-eye, this first order equation can be further integrated to give a formula for formula_14 as a function or formula_13. In general it provides the relative rates of change of formula_14 and formula_13, which may be integrated numerically to follow the path of the ray through the lens. Luneburg lens A