Author Archives: KKK

An inequality for functions on the plane

I accidentally came across a curious inequality for functions of two variables. I would like to know if this inequality is a special case of a more general result but I was unable to find a reference. It would also … Continue reading

Posted in Analysis, Geometry, Inequalities | Leave a comment

Weighted isoperimetric inequalities in warped product manifolds

1. Introduction The classical isoperimetric inequality on the plane states that for a simple closed curve on , we have , where is the length of the curve and is the area of the region enclosed by it. The equality … Continue reading

Posted in Analysis, Calculus, Differential equations, Functional analysis, Geometry, Inequalities | Leave a comment

Faber-Krahn inequality

I record a proof of the Faber-Krahn inequality here, mainly for my own benefit. Let be one of the standard space forms: the Euclidean space , the unit sphere , or the hyperbolic space . Suppose is a bounded domain … Continue reading

Posted in Analysis, Differential equations, Functional analysis, Geometry, Inequalities | Leave a comment

Why is a² + b² ≥ 2ab ?

This post can be regarded as a sequel to my previous (and very ancient) post on 1+2+3+…. Though these two posts are not quite logically related, they share the same spirit (I’m asking a dumb question again). How can one … Continue reading

Posted in Calculus, Discrete Mathematics, Geometry, Inequalities, Linear Algebra, Probability | 1 Comment

A remark on the divergence theorem

The divergence theorem states that for a compact domain in with piecewise smooth boundary , then for a smooth vector field on , we have where is the unit outward normal and is the divergence of . In most textbooks, … Continue reading

Posted in Calculus | Leave a comment

The Cauchy-Schwarz inequality and the Lagrange identity

The classical Lagrange identity is the following: This can be proven by expanding and separating the terms into the cross-terms part and the non cross-terms part. The Lagrange identity implies the Cauchy-Schwarz inequality in . And when , this can … Continue reading

Posted in Algebra, Group theory, Inequalities, Linear Algebra | Leave a comment

On the existence of a metric compatible with a given connection

Question: Suppose we are given a torsion-free (i.e. the torsion tensor vanishes) affine connection on a smooth connected manifold . Does there exist a Riemannian metric such that its Levi-Civita connection is ? If so, is it unique if we … Continue reading

Posted in Differential equations, Geometry | 2 Comments