3

A function $f:\mathbb{R}^n \rightarrow [0,\infty)$ is said to be subadditive if $f(x + y) \leq f(x) + f(y), \quad\forall x,y \in \mathbb{R}^n$.

Is there a sufficient condition for subadditivity in this multi-dimensional case?

In one-dimension, for example, if $g:(0,\infty)\rightarrow [0,\infty)$, a sufficient condition is $x \mapsto g(x)/x$ is nonincreasing.

Edit: The question is a little too general. What I am trying to do is check if a function such as eg. $f(x) = |x|^{1/4 + 1/8(2e^{-|x|}-1)},\quad x\in \mathbb{R}^n$ is subadditive without appealing to the definition, as it doesn't look easy to work with in this case.

1 Answers1

2

Your function $f$ is of the form $f(x)=g(|x|)$ where $g$ is increasing. Such a function is subadditive if and only if $g$ is. Necessity is clear; for sufficiency observe
$$f(x+y)=g(|x+y|) \le g(|x|+|y|)\le g(|x|)+g(|y|)=f(x)+f(y)$$ So, the problem reduces to showing that the single-variable function $$x\to x^{-3/4+\exp(-x)/4-1/8}$$ is decreasing on $(0,\infty )$... which is more or less a calculus exercise.