Separable functions: symmetry, monotonicity, and applications

TL;DR

This paper introduces the concept of separable functions, investigates their symmetry and monotonicity properties in various domains, and applies these findings to analyze ground states of the Choquard equation.

Contribution

It develops a new method to analyze the symmetry and monotonicity of separable functions, establishing their properties in different geometries and linking these to solutions of the Choquard equation.

Findings

Separable functions in balls are axially symmetric, not necessarily radially symmetric.

Separable functions in the whole space are radially symmetric.

Positive ground states of the Choquard equation inherit symmetry properties.

Abstract

In this paper, we introduce concepts of separable functions in balls and in the whole space, and develop a new method to investigate the qualitative properties of separable functions. We first study the axial symmetry and monotonicity of separable functions in unit circles by geometry analysis, and we prove the uniqueness of the symmetry axis for nontrivial separable functions. Then by using reduction dimension and convex analysis, we get the axial symmetry and monotonicity of separable functions in high dimensional spheres. Based on the above results on unit circles and spheres, we deduce the axial symmetry and monotonicity of separable functions in balls and the radial symmetry and monotonicity of separable functions in the whole space. Conversely, the function with axial symmetry and monotonicity in the ball domain is separable function, and the function with radial symmetry and monotonicity in the whole space is also separable function. These enable us to provide easily some examples that separable functions in balls may be just axially symmetric not radially symmetric. Finally, as applications, we obtain the axial symmetry and monotonicity of all the positive ground states to the Choquard equation in a ball as well as the radial symmetry and monotonicity of all the positive ground states in the whole space.