Abstract
In this paper we study the problem of constructing reflector surfaces from the near field data. The light is transmitted as a collinear beam and the reflected rays illuminate a given domain on the fixed receiver surface. We consider two types of weak solutions and prove their equivalence under some convexity assumptions on the target domain. The regularity of weak solutions is a very delicate problem and the positive answer depends on a number of conditions characterizing the geometric positioning of the reflector and receiver. In fact, we show that there is a domain \({\mathcal{D}}\) in the ambient space such that the weak solution is smooth if and only if its graph lies in \({\mathcal{D}}\).
Similar content being viewed by others
Abbreviations
- C, C 0, C n , . . .:
-
Generic constants,
- \({\overline{\mathcal{U}}}\) :
-
Closure of a set \({\mathcal{U}}\),
- \({\partial \mathcal{U}}\) :
-
Boundary of a set \({\mathcal{U}}\) ,
- \({\widehat {X}}\) :
-
\({\widehat X=(x^1,\ldots,x^{n},0)}\) projection of \({X=(x^1,\ldots ,x^{n+1}) \in \mathbb{R}^{n+1}}\) ,
- ⟨·, ·⟩:
-
Inner product in \({\mathbb{R}^{n+1}}\) ,
- B r (x):
-
\({\{y \in \mathbb{R}^n: |y - x| < \}}\) , Open ball centered at y,
- B r :
-
B r (0),
- Γ u :
-
Graph of function u,
- ∂ i u, D i u, Du :
-
\({\partial_iu=D_iu=\frac{\partial{u}}{\partial{x^i}}}\) and Du = (D 1 u, . . . , D n u),
- ψ :
-
Defining function of receiver \({\Sigma=\{Z \in \mathbb{R}^{n+1} : \psi(Z)=0\}}\) ,
- ∇ψ :
-
(n + 1)-Dimensional gradient of receiver \({\psi: \mathbb{R}^{n+1} \longrightarrow \mathbb{R}}\),
- \({\widehat{\nabla}\psi}\) :
-
(ψ 1, . . . ψ n ,0), Projection of ∇ψ,
- Π :
-
Hyperplane \({\{X \in \mathbb{R}^{n+1} : x^{n+1}=0\}}\) ,
- \({\mathbb{S}^{n+1}}\) :
-
Units sphere in \({\mathbb{R}^{n+1}}\) ,
- |E|:
-
n-Dimensional Lebesgue measure of E ⊂ Π,
- \({\mathcal{H}_{\Sigma}^{n}}\) :
-
n-Dimensional Hausdorff measure restricted on Σ
- \({\mathbb{P}_L(\mathcal{U, V})}\) :
-
See (5.5),
- \({\mathbb{W}^+(\mathcal{U}, \mathcal{V}), \mathbb{W}_0^+(\mathcal{U}, \mathcal{V})}\) :
-
See Definitions 5.1 and 5.2,
- \({\mathcal{AS}^+(\mathcal{U},\Sigma)}\) :
-
See Definition 11.1
References
Aleksandrov A.D.: Die innere Geometrie der konvexen Flächen. Akademie, Berlin (1955)
Ash R.B.: Measure, Integration and Functional Analysis. Academic Press, New York (1972)
Bakelman I.: Geometric methods for the solution of elliptic equations. Monograph, Nauka (1965)
Brenier Y.: Polar factorization and monotone rearrangement of vector-valued functions. Commun. Pure Appl. Math. 44(4), 375–417 (1991)
Caffarelli L.A.: The regularity of mappings with a convex potential. J. Am. Math. Soc. 5(1), 99–104 (1992)
Caffarelli L., Nirenberg L., Spruck J.: The Dirichlet problem for nonlinear second order elliptic equations, I: Monge–Ampère equations. Commun. Pure Appl. Math. 37, 369–402 (1984)
Cheng S.Y., Yau S.T.: On the regularity of the Monge–Ampère equation det(∂ 2 u/∂ x i ∂x j ) = F(x, u). Comm. Pure Appl. Math. 30(1), 41–68 (1977)
Karakhanyan, A.L.: The analysis and design of reflector antennae, preprint (2010)
Karakhanyan A.L., Wang X.-J.: On the reflector shape design. J. Differ. Geometry 84(3), 561–610 (2010)
Karakhanyan, A.L., Wang, X.-J.: The reflector design problem. Proceedings of Inter. Congress of Chinese Mathematicians 2, 1–4, 1–24 (2007)
Kochengin S., Oliker V.: Determining of reflector surfaces from near-field scattering data. Inverse Problems 13, 363–373 (1997)
Liu J.: Light reflection is nonlinear optimization. Calc. Var. Partial Differ. Equ. 46(3–4), 861–878 (2013)
Loeper G.: On the regularity of solutions of optimal transportation problems. Acta Mathematica 202(2), 241–283 (2009)
Ma X.N., Trudinger N., Wang X.-J.: regularity of potential functions of the optimap transportation problem. Arch. Rational Mech. Anal. 177, 151–183 (2005)
Pogorelov A.V.: Monge–Ampère equations of elliptic type. Noordhoff, Stockholm (1964)
Pogorelov A.V.: The Minkowski multidimensional problem. Wiley, New York (1978)
Pogorelov A.V.: Extrinsic geometry of convex surfaces. Translations of Mathematical Monographs. Vol. 35. AMS, Providence (1973)
Rauch J., Taylor B.A.: The Dirichlet problem for the multidimensional Monge–Ampère equation. Rocky Mt. J. Math. 7(2), 345–364 (1977)
Trudinger, N.S.: Lectures on nonlinear elliptic equations of second order. Lectures in Mathematical Sciences. The University of Tokyo,Tokyo (1995)
Urbas, J.: Mass transfer problems. Lecture Notes. Univ. of Bonn, Bonn (1998)
Wang X.-J.: On the design of a reflector antenna. Inverse Prob. 12, 351–375 (1996)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by F. Lin
Rights and permissions
About this article
Cite this article
Karakhanyan, A.L. Existence and Regularity of the Reflector Surfaces in \({\mathbb{R}^{n+1}}\) . Arch Rational Mech Anal 213, 833–885 (2014). https://doi.org/10.1007/s00205-014-0743-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00205-014-0743-z