-
Compactness via monotonicity in nonsmooth critical point theory, with application to Born-Infeld type equations
Authors:
Jaeyoung Byeon,
Norihisa Ikoma,
Andrea Malchiodi,
Luciano Mari
Abstract:
In this paper, we prove new existence and multiplicity results for critical points of lower semicontinuous functionals in Banach spaces, complementing the nonsmooth critical point theory set forth by Szulkin. In particular, we get general deformation lemmas avoiding the Palais-Smale condition, and we adapt a monotonicity trick suited to our problems. We apply our results to study entire solutions…
▽ More
In this paper, we prove new existence and multiplicity results for critical points of lower semicontinuous functionals in Banach spaces, complementing the nonsmooth critical point theory set forth by Szulkin. In particular, we get general deformation lemmas avoiding the Palais-Smale condition, and we adapt a monotonicity trick suited to our problems. We apply our results to study entire solutions with finite energy to Born-Infeld type autonomous equations with continuous nonlinearity $f$. Under nearly optimal conditions on $f$, we construct solutions including for the first time, nonradial ones. A companion nonexistence theorem shows the sharpness of our assumptions.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
Discrete Consensus-Based Optimization
Authors:
Junhyeok Byeon,
Seung-Yeal Ha,
Joong-Ho Won
Abstract:
We propose Discrete Consensus-Based Optimization (DCBO), a fully discrete version of the Consensus-Based Optimization (CBO) framework. DCBO is a multi-agent method for the global optimization of possibly non-convex and non-differentiable functions. It aligns with the CBO paradigm, which promotes a consensus among agents towards a global optimum through simple stochastic dynamics amenable to rigoro…
▽ More
We propose Discrete Consensus-Based Optimization (DCBO), a fully discrete version of the Consensus-Based Optimization (CBO) framework. DCBO is a multi-agent method for the global optimization of possibly non-convex and non-differentiable functions. It aligns with the CBO paradigm, which promotes a consensus among agents towards a global optimum through simple stochastic dynamics amenable to rigorous mathematical analysis. Despite the promises, there has been a gap between the analysis of CBO and the actual behavior of the agents from its time-discrete implementation, as the former has focused on the system of continuous stochastic differential equations defining the model or its mean-field approximation. In particular, direct analysis of CBO-type algorithms with heterogeneous stochasticity is very challenging. DCBO distinguishes itself from these approaches in the sense that it has no continuous counterpart, thanks to the replacement of the "softmin" operator with the "hardmin" one, which is inherently discrete. Yet, it maintains the operational principles of CBO and allows for rich mathematical analysis. We present conditions, independent of the number of agents, for achieving a consensus or convergence and study the circumstances under which global optimization occurs. We test DCBO on a large number of benchmark functions to show its merits. We also demonstrate that DCBO is applicable to a diverse range of real-world problems, including neural network training, compressed sensing, and portfolio optimization, with competitive performance.
△ Less
Submitted 16 April, 2024; v1 submitted 5 March, 2024;
originally announced March 2024.
-
Thermodynamic Cucker-Smale ensemble with unit speed and its sufficient framework for collision avoidance
Authors:
Hyun** Ahn,
Junhyeok Byeon,
Seung-Yeal Ha
Abstract:
We investigate a Cucker-Smale-type flocking model for multi-agent systems that move with constant speed. The model incorporates both kinematic observables and internal energy (temperatures) in the agents' interactions. Traditionally, collision avoidance in the absence of speed limitation is achieved by introducing singularities into the communication rule. However, when a unit speed constraint is…
▽ More
We investigate a Cucker-Smale-type flocking model for multi-agent systems that move with constant speed. The model incorporates both kinematic observables and internal energy (temperatures) in the agents' interactions. Traditionally, collision avoidance in the absence of speed limitation is achieved by introducing singularities into the communication rule. However, when a unit speed constraint is applied, the mechanism of collision avoidance can differ, and the singularity may not necessarily prevent collisions. In this paper, we propose a framework that generates collision avoidance, asymptotic flocking, thermal equilibrium, and strict spacing between agents, subject to sufficient conditions expressed by the initial condition, system parameters, and degree of singularity.
△ Less
Submitted 3 April, 2023;
originally announced April 2023.
-
Asymptotic dynamics for the Cucker-Smale model with velocity control
Authors:
Junhyeok Byeon
Abstract:
We study the Cucker-Smale model with a velocity control function. The Cucker-Smale model design the emergence of consensus in terms of flocking. A proposed model encompasses several Cucker-Smale models, such as a speed limit model, a relativistic model, and an almost unit speed model. We provide collective behaviors of the proposed model, like mono or bi-cluster flocking, sticking, and collision a…
▽ More
We study the Cucker-Smale model with a velocity control function. The Cucker-Smale model design the emergence of consensus in terms of flocking. A proposed model encompasses several Cucker-Smale models, such as a speed limit model, a relativistic model, and an almost unit speed model. We provide collective behaviors of the proposed model, like mono or bi-cluster flocking, sticking, and collision avoidance, depending on the regularity and singularity of communication weight at the origin. In particular, we provide a sufficient framework to guarantee a positive lower bound of the distance between agents under strongly singular communications.
△ Less
Submitted 7 February, 2023;
originally announced February 2023.
-
Interplay of geometric constraint and bonding force in the emergent behaviors of relativistic Cucker-Smale flocks
Authors:
Hyun** Ahn,
Junhyeok Byeon,
Seung-Yeal Ha,
Jaeyoung Yoon
Abstract:
We present the relativistic analogue of the Cucker-Smale model with a bonding force on Riemannian manifold, and study its emergent dynamics. The Cucker-Smale model serves a prototype example of mechanical flocking models, and it has been extensively studied from various points of view. Recently, the authors studied collision avoidance and asymptotic flocking of the Cucker-Smale model with a bondin…
▽ More
We present the relativistic analogue of the Cucker-Smale model with a bonding force on Riemannian manifold, and study its emergent dynamics. The Cucker-Smale model serves a prototype example of mechanical flocking models, and it has been extensively studied from various points of view. Recently, the authors studied collision avoidance and asymptotic flocking of the Cucker-Smale model with a bonding force on the Euclidean space. In this paper, we provide an analytical framework for collision avoidance and asymptotic flocking of the proposed model on Riemannian manifolds. Our analytical framework is explicitly formulated in terms of system parameters, initial data and the injectivity radius of the ambient manifold, and we study how the geometric information of an ambient manifold can affect the flocking dynamics.
△ Less
Submitted 18 January, 2023;
originally announced January 2023.
-
Collective behaviors of second-order nonlinear consensus models with a bonding force
Authors:
Hyun** Ahn,
Junhyeok Byeon,
Seung-Yeal Ha,
Jaeyoung Yoon
Abstract:
We study the collective behaviors of two second-order nonlinear consensus models with a bonding force, namely the Kuramoto model and the Cucker-Smale model with inter-particle bonding force. The proposed models contain feedback control terms which induce collision avoidance and emergent consensus dynamics in a suitable framework. Through the cooperative interplays between feedback controls, initia…
▽ More
We study the collective behaviors of two second-order nonlinear consensus models with a bonding force, namely the Kuramoto model and the Cucker-Smale model with inter-particle bonding force. The proposed models contain feedback control terms which induce collision avoidance and emergent consensus dynamics in a suitable framework. Through the cooperative interplays between feedback controls, initial state configuration tends to an ordered configuration asymptotically under suitable frameworks which are formulated in terms of system parameters and initial configurations. For a two-particle system on the real line, we show that the relative state tends to the preassigned value asymptotically, and we also provide several numerical examples to analyze the possible nonlinear dynamics of the proposed models, and compare them with analytical results.
△ Less
Submitted 6 May, 2022; v1 submitted 29 December, 2021;
originally announced December 2021.
-
Existence and regularity for prescribed Lorentzian mean curvature hypersurfaces, and the Born-Infeld model
Authors:
Jaeyoung Byeon,
Norihisa Ikoma,
Andrea Malchiodi,
Luciano Mari
Abstract:
Given a measure $ρ$ on a domain $Ω\subset \mathbb{R}^m$, we study spacelike graphs over $Ω$ in Minkowski space with Lorentzian mean curvature $ρ$ and Dirichlet boundary condition on $\partial Ω$. The graph function $u_ρ: Ω\rightarrow \mathbb{R}$ also represents the electric potential generated by a charge $ρ$ in electrostatic Born-Infeld theory. While $u_ρ$ minimizes the action…
▽ More
Given a measure $ρ$ on a domain $Ω\subset \mathbb{R}^m$, we study spacelike graphs over $Ω$ in Minkowski space with Lorentzian mean curvature $ρ$ and Dirichlet boundary condition on $\partial Ω$. The graph function $u_ρ: Ω\rightarrow \mathbb{R}$ also represents the electric potential generated by a charge $ρ$ in electrostatic Born-Infeld theory. While $u_ρ$ minimizes the action
$$
I_ρ(ψ) = \int_Ω \Big( 1 - \sqrt{1-|Dψ|^2} \Big) \mathrm{d} x - \langle ρ, ψ\rangle
$$ among competitors with $|Dψ| \le 1$, because of a lack of smoothness of the Lagrangian density when $|Dψ| = 1$ a direct approach via minimization may not produce a solution to the Euler-Lagrange equation (BI). In this paper, we study existence and regularity of $u_ρ$ for general $ρ$, in a bounded domain and in the entire $\mathbb{R}^m$. In particular, we find sufficient conditions to guarantee that $u_ρ$ solves (BI) and enjoys log-improved $W^{2,2}_{\mathrm{loc}}$ estimates, and we construct examples hel** to identify sharp thresholds for the regularity of $ρ$ to ensure the validity of (BI). One of the main difficulties is the possible presence of light segments in the graph of $u_ρ$, which will be discussed in detail.
△ Less
Submitted 17 December, 2023; v1 submitted 21 December, 2021;
originally announced December 2021.
-
Interpolation inequalities in function spaces of Sobolev-Lorentz type
Authors:
Jaeseong Byeon,
Hyunseok Kim,
Jisu Oh
Abstract:
Interpolation inequalities in Triebel-Lizorkin-Lorentz spaces and Besov-Lorentz spaces are studied for both inhomogeneous and homogeneous cases. First we establish interpolation inequalities under quite general assumptions on the parameters of the function spaces. Several results on necessary conditions are also provided. Next, utilizing the interpolation inequalities together with some embedding…
▽ More
Interpolation inequalities in Triebel-Lizorkin-Lorentz spaces and Besov-Lorentz spaces are studied for both inhomogeneous and homogeneous cases. First we establish interpolation inequalities under quite general assumptions on the parameters of the function spaces. Several results on necessary conditions are also provided. Next, utilizing the interpolation inequalities together with some embedding results, we prove Gagliardo-Nirenberg inequalities for fractional derivatives in Lorentz spaces, which do hold even for the limiting case when one of the parameters is equal to 1 or $\infty$.
△ Less
Submitted 15 September, 2021;
originally announced September 2021.
-
Emergent behaviors of the kinetic Lohe Hermitian sphere model
Authors:
Junhyeok Byeon,
Seung-Yeal Ha,
Gyuyoung Hwang,
Hansol Park
Abstract:
We study a global well-posedness of measure-valued solutions to the kinetic Lohe Hermitian sphere(LHS) model derived from the Lohe tensor(LT) model on the set of rank-1 complex tensors(i.e. complex vectors) with the same size and investigate emergent behaviors. The kinetic LHS model corresponds to a complex analogue of the kinetic LS model which has been extensively studied in the literature on th…
▽ More
We study a global well-posedness of measure-valued solutions to the kinetic Lohe Hermitian sphere(LHS) model derived from the Lohe tensor(LT) model on the set of rank-1 complex tensors(i.e. complex vectors) with the same size and investigate emergent behaviors. The kinetic LHS model corresponds to a complex analogue of the kinetic LS model which has been extensively studied in the literature on the aggregation modeling of Lohe particles on the unit sphere in Euclidean space. In this paper, we provide several frameworks in terms of system parameters and initial data leading to the local and global well-posedness of measure-valued solutions. In particular, we show emergent behaviors of the kinetic LHS model with the same free flows by analyzing the temporal evolution of the order parameter.
△ Less
Submitted 27 April, 2021;
originally announced April 2021.
-
Asymptotic interplay of states and adapted coupling gains in the Lohe hermitian sphere model
Authors:
Junhyeok Byeon,
Seung-Yeal Ha,
Hansol Park
Abstract:
We study emergent dynamics of the Lohe hermitian sphere (LHS) model with the same free flows under the dynamic interplay between state evolution and adaptive couplings. The LHS model is a complex counterpart of the Lohe sphere (LS) model on the unit sphere in Euclidean space, and when particles lie in the Euclidean unit sphere embedded in $\bbc^{d+1}$, it reduces to the Lohe sphere model. In the a…
▽ More
We study emergent dynamics of the Lohe hermitian sphere (LHS) model with the same free flows under the dynamic interplay between state evolution and adaptive couplings. The LHS model is a complex counterpart of the Lohe sphere (LS) model on the unit sphere in Euclidean space, and when particles lie in the Euclidean unit sphere embedded in $\bbc^{d+1}$, it reduces to the Lohe sphere model. In the absence of interactions between states and coupling gains, emergent dynamics have been addressed in [22]. In this paper, we further extend earlier results in the aforementioned work to the setting in which the state and coupling gains are dynamically interrelated via two types of coupling laws, namely anti-Hebbian and Hebbian coupling laws. In each case, we present two sufficient frameworks leading to complete aggregation depending on the coupling laws, when the corresponding free flow is the same for all particles.
△ Less
Submitted 9 January, 2021;
originally announced January 2021.
-
Pulsatile therapy for perovskite solar cells
Authors:
Kiwan Jeong,
Junseop Byeon,
Jihun Jang,
Namyoung Ahn,
Mansoo Choi
Abstract:
The current utmost challenge for commercialization of perovskite solar cells is to ensure long-term operation stability. Here, we developed the pulsatile therapy which can prolong device lifetime by addressing accumulation of both charges and ions in the middle of maximum power point tracking (MPPT). In the technique, reverse biases are repeatedly applied for a very short time without any pause of…
▽ More
The current utmost challenge for commercialization of perovskite solar cells is to ensure long-term operation stability. Here, we developed the pulsatile therapy which can prolong device lifetime by addressing accumulation of both charges and ions in the middle of maximum power point tracking (MPPT). In the technique, reverse biases are repeatedly applied for a very short time without any pause of operation, leading to stabilization of the working device. The observed efficacies of our pulsatile therapy are delaying irreversible degradation as well as restoring degraded photocurrent during MPPT operation. We suggest an integrated mechanism underlying the therapy, in which harmful deep-level defects can be prevented to form and already formed defects can be cured by driving charge-state transition. We demonstrated the therapy to maintain defect-tolerance continuously, leading to outstanding improvement of lifetime and harvesting power. The unique technique will open up new possibility to commercialize perovskite materials into a real market.
△ Less
Submitted 13 July, 2020;
originally announced July 2020.
-
Charge transport layer dependent electronic band bending in perovskite solar cells and its correlation to device degradation
Authors:
Junseop Byeon,
Jutae Kim,
Ji-Young Kim,
Gunhee Lee,
Kijoon Bang,
Namyoung Ahn,
Mansoo Choi
Abstract:
Perovskite solar cells (PSCs) have shown remarkably improved power-conversion efficiency of around 25%. However, their working principle remains arguable and the stability issue has not been solved yet. In this report, we revealed that the working mechanism of PSCs is explained by a dominant pn junction occurring at the different interface depending on electron transport layer, and charges are acc…
▽ More
Perovskite solar cells (PSCs) have shown remarkably improved power-conversion efficiency of around 25%. However, their working principle remains arguable and the stability issue has not been solved yet. In this report, we revealed that the working mechanism of PSCs is explained by a dominant pn junction occurring at the different interface depending on electron transport layer, and charges are accumulated at the corresponding dominant junction initiating device degradation. Locations of a dominant pn junction, the electric field, and carrier-density distribution with respect to electron-transport layers in the PCS devices were investigated by using the electron-beam-induced current measurement and Kelvin probe force microscopy. The amount of accumulated charges in the devices was analyzed using the charge-extraction method and the degradation process of devices was confirmed by SEM measurements. From these observations, we identified that the dominant pn junction appears at the interface where the degree of band bending is higher compared to the other interface, and charges are accumulated at the corresponding junction where the device degradation is initiated, which suggests that there exists a strong correlation between PSC working principle and device degradation. We highlight that an ideal pin PSC that can minimize the degree of band bending should be designed for ensuring long-term stability, via using proper selective contacts
△ Less
Submitted 28 October, 2019;
originally announced October 2019.
-
Hardy's inequality in a limiting case on general bounded domains
Authors:
Jaeyoung Byeon,
Futoshi Takahashi
Abstract:
In this paper, we study Hardy's inequality in a limiting case: $$
\int_Ω |\nabla u |^N dx \ge C_N(Ω) \int_Ω \frac{|u(x)|^N}{|x|^N \left(\log \frac{R}{|x|} \right)^N} dx $$ for functions $u \in W^{1,N}_0(Ω)$, where $Ω$ is a bounded domain in $\mathbb{R}^N$ with $R = \sup_{x \in Ω} |x|$. We study the (non-)attainability of the best constant $C_N(Ω)$ in several cases. We provide sufficient conditio…
▽ More
In this paper, we study Hardy's inequality in a limiting case: $$
\int_Ω |\nabla u |^N dx \ge C_N(Ω) \int_Ω \frac{|u(x)|^N}{|x|^N \left(\log \frac{R}{|x|} \right)^N} dx $$ for functions $u \in W^{1,N}_0(Ω)$, where $Ω$ is a bounded domain in $\mathbb{R}^N$ with $R = \sup_{x \in Ω} |x|$. We study the (non-)attainability of the best constant $C_N(Ω)$ in several cases. We provide sufficient conditions that assure $C_N(Ω) > C_N(B_R)$ and $C_N(Ω)$ is attained, here $B_R$ is the $N$-dimensional ball with center the origin and radius $R$. Also we provide an example of $Ω\subset \mathbb{R}^2$ such that $C_2(Ω) > C_2(B_R) = 1/4$ and $C_2(Ω)$ is not attained.
△ Less
Submitted 8 March, 2018; v1 submitted 13 July, 2017;
originally announced July 2017.
-
Symmetry and monotonicity of least energy solutions
Authors:
Jaeyoung Byeon,
Louis Jeanjean,
Mihai Mariş
Abstract:
We give a simple proof of the fact that for a large class of quasilinear elliptic equations and systems the solutions that minimize the corresponding energy in the set of all solutions are radially symmetric. We require just continuous nonlinearities and no cooperative conditions for systems. Thus, in particular, our results cannot be obtained by using the moving planes method. In the case of sc…
▽ More
We give a simple proof of the fact that for a large class of quasilinear elliptic equations and systems the solutions that minimize the corresponding energy in the set of all solutions are radially symmetric. We require just continuous nonlinearities and no cooperative conditions for systems. Thus, in particular, our results cannot be obtained by using the moving planes method. In the case of scalar equations, we also prove that any least energy solution has a constant sign and is monotone with respect to the radial variable.
△ Less
Submitted 2 June, 2008;
originally announced June 2008.