skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: A local Hopf lemma and unique continuation for elliptic equations
We prove results on unique continuation at the boundary for the solutions of real analytic elliptic partial differential equations. The work is motivated by and generalizes the main results of X. Huang et al. in [15] and [16], and M.S. Baouendi and L.P. Rothschild in [5].  more » « less
Award ID(s):
1855737
PAR ID:
10330509
Author(s) / Creator(s):
Editor(s):
Yanyan Li
Date Published:
Journal Name:
Advances in mathematics
Volume:
389
Issue:
8
ISSN:
0001-8708
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Data analytics using workflows is an iterative process, in which an analyst makes many iterations of changes, such as additions, deletions, and alterations of operators and their links. In many cases, the analyst wants to compare these workflow versions and their execution results to help in deciding the next iterations of changes. Moreover, the analyst needs to know which versions produced undesired results to avoid refining the workflow in those versions. To enable the analyst to get an overview of the workflow versions and their results, we introduce Drove, a framework that manages the end-to-end lifecycle of constructing, refining, and executing workflows on large data sets and provides a dashboard to monitor these execution results. In many cases, the result of an execution is the same as the result of a prior execution. Identifying such equivalence between the execution results of different workflow versions is important for two reasons. First, it can help us reduce the storage cost of the results by storing equivalent results only once. Second, stored results of early executions can be reused for future executions with the same results. Existing tools that track such executions are geared towards small-scale data and lack the means to reuse existing results in future executions. In Drove, we reason the semantic equivalence of the workflow versions to reduce the storage space and reuse the materialized results. 
    more » « less
  2. In the new era of smart and connected health, new technologies are needed for unobtrusive and seamless monitoring of physiological signals at real life settings. In this grand challenge, we are developing a novel technology called Wireless Resistive Analog Passive (WRAP) sensors. WRAP sensors utilizes printed spiral coil (PSC) inductive link whose sensitivity directly depends on the mutual inductance between primary and secondary coils and it changes due to the physical misalignment. We have previously reported COMSOL simulation results for distance and angular misalignments. In this paper we report experimental results of distance and angular misalignments and compare them to analytical and simulation results for distance. The experimental and analytical results are in good agreement while the simulation results are loosely correlated. For the angular misalignment, the experimental results follow similar trend as simulation results, however analytical results shows disagreement. This work is expected to aid in optimization of PSC for WRAP sensors. 
    more » « less
  3. Reproducibility of results is a cornerstone of the scientific method. Scientific computing encounters two challenges when aiming for this goal. Firstly, reproducibility should not depend on details of the runtime environment, such as the compiler version or computing environment, so results are verifiable by third-parties. Secondly, different versions of software code executed in the same runtime environment should produce consistent numerical results for physical quantities. In this manuscript, we test the feasibility of reproducing scientific results obtained using the IllinoisGRMHD code that is part of an open-source community software for simulation in relativistic astrophysics, the Einstein Toolkit. We verify that numerical results of simulating a single isolated neutron star with IllinoisGRMHD can be reproduced, and compare them to results reported by the code authors in 2015. We use two different supercomputers: Expanse at SDSC, and Stampede2 at TACC. By compiling the source code archived along with the paper on both Expanse and Stampede2, we find that IllinoisGRMHD reproduces results published in its announcement paper up to errors comparable to round-off level changes in initial data parameters. We also verify that a current version of IllinoisGRMHD reproduces these results once we account for bug fixes which have occurred since the original publication. 
    more » « less
  4. Since its inception in 2008, Blockchain has been proposed in different fields of study, and the research results have shown promising prospects in these areas. Despite these study results, blockchain technology has suffered some setbacks in adoption for real-life implementations. The unwillingness to adopt it stems from industries and organizations not being convinced about the proposed solutions' results. The reason is that many of the presented solution results come from simulation. While simulation results are acceptable for research purposes, industries might be skeptical about adopting a new system based only on simulation results. Researchers must present results from real-life implementations to fully convince stakeholders of the usefulness of adopting blockchain technology. However, presenting blockchain results from reallife performance is challenging because of the following significant problems: 1. Blockchain networks are customized to implement a single approach, i.e., no blockchain network can test multiple proposed implementations concurrently, and 2. There is a lack of testbeds (with enough blockchain nodes) to test proposed solutions. This ongoing work presents a Programmable Blockchain Network (PBN), which can implement multiple approaches simultaneously and a global testbed to evaluate proposed solutions in real-life scenarios. The PBN, implemented on Generic Routing Encapsulation (GRE) global testbed, uses a master-slave model for smart contracts calling to implement concurrent blockchain solutions. The preliminary result shows that the proposed solution enhances research results, convincing more industries to adopt blockchain technology. 
    more » « less
  5. Since its inception in 2008, Blockchain has been proposed in different fields of study, and the research results have shown promising prospects in these areas. Despite these study results, blockchain technology has suffered some setbacks in adoption for real-life implementations. The unwillingness to adopt it stems from industries and organizations not being convinced about the proposed solutions' results. The reason is that many of the presented solution results come from simulation. While simulation results are acceptable for research purposes, industries might be skeptical about adopting a new system based only on simulation results. Researchers must present results from real-life implementations to fully convince stakeholders of the usefulness of adopting blockchain technology. However, presenting blockchain results from reallife performance is challenging because of the following significant problems: 1. Blockchain networks are customized to implement a single approach, i.e., no blockchain network can test multiple proposed implementations concurrently, and 2. There is a lack of testbeds (with enough blockchain nodes) to test proposed solutions. This ongoing work presents a Programmable Blockchain Network (PBN), which can implement multiple approaches simultaneously and a global testbed to evaluate proposed solutions in real-life scenarios. The PBN, implemented on Generic Routing Encapsulation (GRE) global testbed, uses a master-slave model for smart contracts calling to implement concurrent blockchain solutions. The preliminary result shows that the proposed solution enhances research results, convincing more industries to adopt blockchain technology. 
    more » « less