Let $X$ be a hadamard space and $\gamma_1, \gamma_2 \colon \mathbb{R}\rightarrow X$ be two geodesics. Part 2 of Coroallary 2.5 in http://www.iam.uni-bonn.de/fileadmin/WT/Inhalt/people/Karl-Theodor_Sturm/papers/paper41.pdf states that $f(t):=d(\gamma_1(t),\gamma_2(t))$ is convex. I wonder under what conditions $f$ is even strictly convex. My conjecture is that if $f>0$ then $f$ is strictly convex or constant. However I dont know how to prove nor where to find such a result. My motivation is that I want to prove uniqueness of a minimizer of a functional $J\colon X^n\rightarrow \mathbb{R}$ of the following form $$J(u)=\sum_{i=1}^m d^2(a_i,u_i)+\sum_{(i,j)\in E} d(u_i,u_j),$$ where $1\leq m<n$, $a_1,\dots,a_m \in X$, , $E\subset \{1,\dots,n\}^2$. I want to prove that if the graph corresponding to $E$ is connected and $a_1,\dots,a_m$ do not lie on the same geodesic then there exist a unique minimizer.

Let $X$ be a hadamard space and $\gamma_1, \gamma_2 \colon \mathbb{R}\rightarrow X$ be two geodesics. Part 2 of Coroallary 2.5 in http://www.iam.uni-bonn.de/fileadmin/WT/Inhalt/people/Karl-Theodor_Sturm/papers/paper41.pdf states that $f(t):=d(\gamma_1(t),\gamma_2(t))$ is convex. I wonder under what conditions $f$ is even strictly convex. My conjecture is that if $f>0$ then $f$ is strictly convex or constant. However I dont know how to prove nor where to find such a result. My motivation is that I want to prove uniqueness of a minimizer of a functional $J\colon X^n\rightarrow \mathbb{R}$ of the following form $$J(u)=\sum_{i=1}^m d^2(a_i,u_i)+\sum_{(i,j)\in E} d(u_i,u_j),$$ where $1\leq m<n$, $a_1,\dots,a_m \in X$, , $E\subset \{1,\dots,n\}^2$. I want to prove that if the graph corresponding to $E$ is connected and $a_1,\dots,a_m$ do not lie on the same geodesic then there exist a unique minimizer.

Edit::The conjecture about $J$ is wrong, just assume that $i$ is a node with exactly two neighbours $j_1$, $j_2$. Then $u_i$ can be choosen anywhere on the geodesic between $u_{j_1}$ and $u_{j_2}$ without changing the value of $J$.

Let $X$ be a hadamard space and $\gamma_1, \gamma_2 \colon \mathbb{R}\rightarrow X$ be two geodesics. Part 2 of Coroallary 2.5 in http://www.iam.uni-bonn.de/fileadmin/WT/Inhalt/people/Karl-Theodor_Sturm/papers/paper41.pdf states that $f(t):=d(\gamma_1(t),\gamma_2(t))$ is convex. I wonder under what conditions $f$ is even strictly convex. My conjecture is that if

1. $\gamma_1(\mathbb{R})\neq \gamma_2(\mathbb{R})$
2. $\gamma_1(t)\neq \gamma_2(t) \text{ for all } t\in \mathbb{R}$

then $f$ is strictly convex or constant. However I dont know how to prove nor where to find such a result. My motivation is that I want to prove uniqueness of a minimizer of a functional $J\colon X^n\rightarrow \mathbb{R}$ of the following form $$J(u)=\sum_{i=1}^m d^2(a_i,u_i)+\sum_{(i,j)\in E} d(u_i,u_j),$$ where $1\leq m<n$, $a_1,\dots,a_m \in X$, , $E\subset \{1,\dots,n\}^2$. I want to prove that if the graph corresponding to $E$ is connected and $a_1,\dots,a_m$ do not lie on the same geodesic then there exist a unique minimizer.

Let $X$ be a hadamard space and $\gamma_1, \gamma_2 \colon \mathbb{R}\rightarrow X$ be two geodesics. Part 2 of Coroallary 2.5 in http://www.iam.uni-bonn.de/fileadmin/WT/Inhalt/people/Karl-Theodor_Sturm/papers/paper41.pdf states that $f(t):=d(\gamma_1(t),\gamma_2(t))$ is convex. I wonder under what conditions $f$ is even strictly convex. My conjecture is that if $f>0$ then $f$ is strictly convex or constant. However I dont know how to prove nor where to find such a result. My motivation is that I want to prove uniqueness of a minimizer of a functional $J\colon X^n\rightarrow \mathbb{R}$ of the following form $$J(u)=\sum_{i=1}^m d^2(a_i,u_i)+\sum_{(i,j)\in E} d(u_i,u_j),$$ where $1\leq m<n$, $a_1,\dots,a_m \in X$, , $E\subset \{1,\dots,n\}^2$. I want to prove that if the graph corresponding to $E$ is connected and $a_1,\dots,a_m$ do not lie on the same geodesic then there exist a unique minimizer.