Computing the Sound of the Sea in a Seashell

by   Jonathan Ben-Artzi, et al.

The question of whether there exists an approximation procedure to compute the resonances of any Helmholtz resonator, regardless of its particular shape, is addressed. A positive answer is given, and it is shown that all that one has to assume is that the resonator chamber is bounded and that its boundary is π’ž^2. The proof is constructive, providing a universal algorithm which only needs to access the values of the characteristic function of the chamber at any requested point.


page 18

page 20

βˆ™ 04/26/2018

First-order answer set programming as constructive proof search

We propose an interpretation of the first-order answer set programming (...
βˆ™ 05/17/2023

A constructive proof of Skolem theorem for constructive logic

If the sequent (Gamma entails forall x exists y A) is provable in first ...
βˆ™ 07/26/2019

Two-hidden-layer Feedforward Neural Networks are Universal Approximators: A Constructive Approach

It is well known that Artificial Neural Networks are universal approxima...
βˆ™ 10/08/2022

A Finite Algorithm for the Realizabilty of a Delaunay Triangulation

The Delaunay graph of a point set P βŠ†β„^2 is the plane graph with the ver...
βˆ™ 12/03/2019

A simple proof of the characteristic function of Student's t-distribution

This note presents a simple proof of the characteristic function of Stud...
βˆ™ 08/07/2021

Nonexistence of a Universal Algorithm for Traveling Salesman Problems in Constructive Mathematics

Proposed initially from a practical circumstance, the traveling salesman...

Please sign up or login with your details

Forgot password? Click here to reset