You can use the PHP search shortcode in theme files: https://wpdreams.gitbooks.io/ajax-search-pro-documentation/content/getting_started/search_shortcode_in_themes.html
Please consult the theme developer first and make sure to have a back-up before editing the theme files.